≡

Equality and ordering comparisons returning bivalens.

Syntax: <expression> ≡ <expression> | <expression> ≠ <expression> | <expression> ≤ <expression> | <expression> ≥ <expression>

Category

comparison

Related

• ≠
• ≤
• ≥
• est
• adfirma

Examples

examples/corpus/operatores/comparatio.fab (canonical · operator-group)

Equality and ordering comparisons returning bivalens.

# operatores/comparatio — ≡ ≠ ≤ ≥
#
# GRAMMAR:
#   cmpExpr :← expr ('≡' | '≠' | '≤' | '≥' | '<' | '>') expr
#
# EXPECTED OUTPUT:
#   verum, verum, verum, verum, verum
#
# BACKEND:
#   Scalar bivalens stdout; chain with et for interval tests.

incipit {
    fixum _ aequalis ← 10 ≡ 10
    nota aequalis

    fixum _ diversus ← 10 ≠ 5
    nota diversus

    fixum _ nonMaior ← 5 ≤ 10
    nota nonMaior

    fixum _ nonMinor ← 10 ≥ 5
    nota nonMinor

    fixum _ intervallum ← 0 < 5 et 5 < 10
    nota intervallum
}

Expected output:

verum
verum
verum
verum
verum