¬ ∧ ∨ ⊃ ≡ ∀ ∃ ( ) ⊢ commas on both sides; p(…) is a predicate, f(…) in the brackets a function; a quantifier reaches over one unit