the object x is an element of the set A
x∈A
empty set
ø
A is a subset of B
A⊆B
the object x is NOT an element of A
x∉A
A is not a subset of B
A⊈B
natural numbers
ℕ = {1,2,3,…}
set of integers
ℤ = {…, -3, -2, -1, 0, 1, 2, …}
set of rational numbers
ℚ
set of real numbers
ℝ
set of complex numbers
ℂ
a divides b OR a is a divisor of b OR a is a factor of b OR b is a multiple of a
a | b
negation of a proposition P
~P or ¬P
the conjunction of P and Q
P∧Q
disjunction of P and Q
P∨Q
A and B are equivalent
AΞB
the conditional sentence “if P then Q”
P⇒Q
the biconditional sentence “P if and only if Q” (P iff Q)
P⇔Q
existential quantifier
∃
universal quantifier
∀
unique existential quantifier
∃!