Special Symbols and ASCII equivalents: ¬ (~) ∨ (|) ∧ (&) → (->) ↔ (<->) ∀ (!) ∃ (?) λ (\) ≠ (!=) ≤ (<=) Grammar Help Page