Use in text mode:
\Sort | sort |
\Sorts | sorts |
\Op | op |
\Ops | ops |
\Pred | pred |
\Preds | preds |
\Var | var |
\Vars | vars |
\Type | type |
\Types | types |
\Axiom | axiom |
\Axioms | axioms |
\Free | free |
\Generated | generated |
\. | . |
Use in math mode:
\* | × |
\tfun | -> |
\pfun | ->? | ||
\{ | { |
\} | } |
\| | | | ||
\Assoc | assoc |
\Comm | comm |
\Idem | idem |
\Unit | unit |
\forall | forall |
\exists | exists |
\exists! | exists ! |
\. | . |
\land | /\ |
\lor | \/ |
\imp | => |
\IF | if |
\iff | <=> |
\neg | ¬ |
\eeq | =e= |
\in | e |
\DEF | def |
\TRUE | true |
\FALSE | false | ||
\AS | as |
\WHEN | when |
\ELSE | else | ||
\PRED | pred |
\OP | op |
\VAR | var |