∀ | для всех |
∃ | существует |
{x:P(x)} | множество таких x для которых P(x) верно |
{P}A{Q} | пред- и постусловия алгоритма A |
a∈S | a элемент множества S |
a∉S | |
∅ | пустое множество |
N | множество натуральных чисел |
Z | множество целых чисел |
Q | множество рациональных чисел |
R | множество вещественных чисел |
≡ | |
⊕ | |
∩ | |
∪ | |
⊃ | |
⊂ |
Wikipedia