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 | ⇹ | !=, <!>, <!=> |