| text entry: | & | | | ~ | => | <=> | xor | example input: | a xor ~b <=> (a | c => b) |
Notes | |
|---|---|---|---|---|---|---|---|---|---|---|
| meaning: | and, ∧ | or, ∨ | not, ¬ | implies, ⇒ | equivalent, ⇔ | xor, ⊕ | example meaning: | a⊕¬b⇔(a∨c⇒b) |
Comments: a # sign indicates the start of a comment, which extends to the rest of the line |