TABLE OF OPERATORS
Operator | Arity | Precedence | Associativity | Regexp Macro |
---|---|---|---|---|
(↔) | 2 | 0 | right | {iff} |
(→) | 2 | 1 | right | {implies} |
(∨) | 2 | 2 | left | {or} |
(∧) | 2 | 3 | left | {and} |
(¬) | 1 | 4 | left | {not} |
(=) | 2 | 5 | right | {equals} |
(<) | 2 | 5 | right | {lessthan} |
(>) | 2 | 5 | right | {greaterthan} |
(≤) | 2 | 5 | right | {lessthanequalto} |
(≥) | 2 | 5 | right | {greaterthanequalto} |
(⊃) | 2 | 5 | right | {superset} |
(⊇) | 2 | 5 | right | {nonstrictsuperset} |
(∈) | 2 | 5 | right | {elementof} |
(≡) | 2 | 5 | right | N/A |
(⊂) | 2 | 5 | right | {subset} |
(⊆) | 2 | 5 | right | {nonstrictsubset} |
(≠) | 2 | 5 | right | {nequals} |
(⊈) | 2 | 5 | right | {nnonstrictsubset} |
(⊉) | 2 | 5 | right | {nnonstrictsuperset} |
(⊄) | 2 | 5 | right | {nsubset} |
(⊅) | 2 | 5 | right | {nsuperset} |
(⋃) | 2 | 6 | left | {union} |
(⋂) | 2 | 7 | left | {intersection} |
(∖) | 2 | 8 | left | {setsubtraction} |
(×) | 2 | 9 | left | {crossproduct} |
(+) | 2 | 10 | left | {plus} |
(*) | 2 | 11 | left | {times} |
(/) | 2 | 11 | left | {div} |
(-) | 1 | 12 | left | {negative} |
(^) | 2 | 13 | right | {exponent} |
(@) | 2 | 14 | right | {at} |