Operators

Level	Name	Operators
0	TOP
20	EQUIVALENCE
30	IMP	→ ->
40	OR	∨ ⊔ \sqcup ∪ \cup
50	AND	∧ & ⊓ \sqcap ∩ \cap
60	NEGATION	¬ !
60	QUANTIFIER	¬ !
60	MODALITY	¬ !
60	POST_MODALITY	¬ !
70	EQUAL	= = ≠ != ≆ ≇ ≡ ≢ ⊜
80	COMPARISON	⋖ ⋚ ⋘ ⋜ ⋞ ≼ ⋠ ⊑ ⋢ ⋤ ≺ ≾ ⊄ ⊆ \subseteq ⊐ ⊒ ⋗ \gedot ⋙ \gg ⋛ ⋝ ⋟ ⋡ ⋣ ⋥ ≻ ≽ ≿ ⊀ ⊁ ⊃ ⊅ ⊇ ⊏ > ≥ >= ↔ <-> < ≤ <=
90	ARITH_WEAK	∖ \setminus ⊕ ⊖ ⊞ ⊝ ⊟
91	BELOW_ARITH_WEAK
100	ARITH_STRONG	⊗ ⊙ ⊛ ⊠ ⊡ ⊚ ⊘
101	BELOW_ARITH_STRONG
120	CAST
130	ATOM
140	BOTTOM
140	LABEL