Symbol |
Description |
Location |
|
is an element of
|
Paragraph |
|
is not an element of
|
Paragraph |
|
in such that has property
|
Paragraph |
|
is a subset of
|
Definition 1.2.2 |
|
is not a subset of
|
Paragraph |
|
the set of real numbers |
Item |
|
the set of integers |
Item |
|
the set of rational numbers |
Item |
|
the set of natural numbers |
Item |
|
the set of positive integers |
Item |
|
the set of nonnegative integers |
Item |
|
the set of positive real numbers |
Item |
|
the set of nonnegative real numbers |
Item |
|
the product of and
|
Definition 1.2.6 |
|
is related to
|
Paragraph |
|
not
|
Item |
|
and
|
Item |
|
or
|
Item |
|
a statement that is always true; tautology |
Paragraph |
|
a statement that is always false; contradiction |
Paragraph |
|
is logically equivalent to
|
Definition 2.1.10 |
|
if then
|
Item |
|
therefore |
Assemblage |
|
for all; universal quantifier |
Item |
|
there exists; existential quantifier |
Item |
|
the set of ratioanl numbers |
Definition 4.2.1 |
|
the set of irratioanl numbers |
Definition 4.2.2 |
|
divides
|
Paragraph |
|
does not divide
|
Paragraph |
|
quotient when is divided by
|
Paragraph |
|
remainder when is divided by
|
Paragraph |
|
the sum of from to
|
Assemblage |
|
|
Paragraph |
|
choose
|
Definition 5.1.6 |
|
union
|
Definition 6.1.4 |
|
intersect
|
Definition 6.1.6 |
|
minus the difference of set and
|
Definition 6.1.8 |
|
the complement of
|
Definition 6.1.10 |
|
the union
|
Paragraph |
|
the intersection
|
Paragraph |
|
the power set of
|
Definition 6.1.13 |
|
if and only if in proofs |
Paragraph |
|
the number of elements in
|
Paragraph |
|
the image of
|
Definition 7.1.6 |
|
the inverse of function
|
Theorem 7.2.13 |
|
is related to
|
Paragraph |
|
is congruent to mod
|
Paragraph |
|
the equivalence class of
|
Paragraph |
|
the number of -permutations from a set of elements |
Definition 9.2.8 |
|
choose
|
Definition 9.5.1 |