Operators

Jump to bottom

Alexander Weigl edited this page Jul 30, 2023 · 2 revisions

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