Operace
Příklad
Typy objektů
rovná se
≟ nebo ==
a ≟ b nebo a == b
čísla, body, přímky, kuželosečky a, b
nerovná se
≠ nebo !=
a ≠ b nebo a != b
čísla, body, přímky, kuželosečky a, b
menší než
<
a < b
čísla a, b
větší než
>
a > b
čísla a, b
menší nebo rovno
nebo <=
a b nebo a <= b
čísla a, b
větší nebo rovno
nebo >=
a b nebo a >= b
čísla a, b
a
∧
a ∧ b
logické a, b
nebo
∨
a ∨ b
logické a, b
negace
¬ nebo !
¬a nebo !a
logické a
rovnoběžnost
∥
a ∥ b
přímky a, b
kolmost
⊥
a ⊥ b
přímky a, b