x ∈ y – x is an element of y, 6.

¬ϕ – the negation of formula ϕ, 6.

ϕ&ψ – the conjunction of formulas ϕ and ψ, 6.

ϕ ∨ ψ – the disjunction of formulas ϕ and ψ, 6.

ϕ→ψ – the implication, 6.

ϕ⇔ψ – the equivalence of formulas ϕ and ψ 6.

∃xϕ – the existential quantifier, 6.

∀xϕ – the universal quantifier, 6.

∃x ∈ Aϕ – bounded existential quantifier, 6.

∀x ∈ Aϕ – a bounded universal quantifier, 6.

x ⊂ y – x is a subset of y, 6.

ø – the empty set, 7.

∪ℱ – the union of a family ℱ of sets, 8.

P(X) – the power set of a set X, 8.

x ∪ y – the union of sets x and y, 8.

x \ y – the difference of sets x and y, 8.

∩ℱ – the intersection of a family ℱ of sets, 8.

x ∩ y – the intersection of sets x and y, 9.

xΔy – the symmetric difference of sets x and y, 9.

〈a, b〉 – the ordered pair {{a}, {a, b}}, 9.

〈a1, a2, …, an-1, an〉 – the ordered n-tuple, 10.

X × Y – the Cartesian product of sets X and Y, 10.

[…]