| Formel | valid inputs |
|---|---|
| ¬ y | ~ y (by tilde) or alternatively !y or &n y |
| ( x ∧ y ) | (x /\ y) (by slash and backslash) or alternatively (x && y) or (x &w y ) |
| ( x ∨ y ) | (x \/ y) (by backslash and slash) or alternatively (x || y) or (x &v y ) |
| ( x → y ) | (x -> y) or alternatively (x &r y ) |
| ( x ↔ y ) | (x <-> y) or alternatively (x &l y ) |
| 1 | 1 or alternatively &1 |
| 0 | 0 or alternatively &0 |
* translation not available
