Input Syntax
Here you can see which connectives we support and how you can enter them.
Operator | Unicode | Alternatives |
---|---|---|
Negation | ¬ | !, ~ |
Conjunction | ∧ | &, && |
NAND | ⊼ | ¬∧, ¬&, ¬&&, !∧, !&, !&&, ~∧, ~&, ~&& |
Disjunction | ∨ | |, || |
NOR | ⊽ | ¬∨, ¬|, ¬||, !∨, !|, !||, ~∨, ~|, ~|| |
Conditional | → | >, ->, => |
Biconditional | ↔ | =, ==, <>, <=>, <-> |
Exclusive Disjunction | ⇹ | !=, <!>, <!=> |