| $\forall$ | для всех |
| $\exists$ | существует |
| $\{x: P(x)\}$ | множество таких $x$ для которых $P(x)$ верно |
| $\{P\} A \{Q\}$ | пред- и постусловия алгоритма $A$ |
| $a \in S$ | $a$ элемент множества $S$ |
| $a \notin S$ | |
| $\emptyset$ | пустое множество |
| $\mathbb{N}$ | множество натуральных чисел |
| $\mathbb{Z}$ | множество целых чисел |
| $\mathbb{Q}$ | множество рациональных чисел |
| $\mathbb{R}$ | множество вещественных чисел |
| $\equiv$ | |
| $\oplus$ | |
| $\cap$ | |
| $\cup$ | |
| $\supset$ | |
| $\subset$ |
Wikipedia
