Mathematics for Computer Science

INDEX688

Glossary of Symbols

symbol meaning

WWD is defined to be

^ and

_ or

! implies, if... , then




! state transition

:P;P notP

! iff, equivalent

̊ xor, exclusive-or

9 exists

8 for all

2 is a member of, is in

 is a (possibly =) subset of

 is a proper (not =) subset of

[ set union

\ set intersection

A complement of setA

 set difference

P.A/ powerset of set,A

; the empty set,fg

Z integers

N;Z^0 nonnegative integers

ZC positive integers

Z negative integers

Q rational numbers

R real numbers

C complex numbers

R.X/ image of setXunder binary relationR

R^1 inverse of binary relationR

R^1 .X/ inverse image of setXunder relationR