Mathematics for Computer Science

“mcs” — 2017/3/3 — 11:21 — page 968 — #976
968
Glossary of Symbols
Glossary of Symbols
symbol meaning
WWD is defined to be
end of proof symbol
¤ not equal
^ and, AND
_ or, OR
! implies, if . . . , then , IMPLIES
! state transition
:P; P not P , NOT.p/
! iff, equivalent, IFF
˚ xor, exclusive-or, XOR
9 exists
8 for all
2 is a member of, is in
is a (possibly =) subset of
6 is not a (possibly =) subset of
is a proper (not =) subset of
6 is not a proper (not =) subset of
[
S
set union
i2I S i union of sets S i where i ranges over set I of indices
\
T
set intersection
i2I S i intersection of sets S i where i ranges over set I of indices
; the empty set, f g
A complement of set A
set difference
pow.A/ powerset of set, A
A B Cartesian product of sets A and B
S n Cartesian product of n copies of set S
Z integers
N; Z 0 nonnegative integers
Z C ; N C positive integers
Z negative integers
Q rational numbers
R real numbers
C complex numbers
brc the floor of r: the greatest integer r
dre the ceiling of r: the least integer r
jrj the absolute value of a real number r