| text entry: | & | | | ~ | => | <=> | xor | example input: | a xor ~b <=> a | (c => b) |
Comments | Precedence/Associativity | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 |
strongest: ¬ then ∧ then ∨/⇒/⊕ then ⇔ : weakest all binary operators are left-associative |