| 記号 | latex | 備考 |
|---|---|---|
| $\in$ | \in | 属する、元である、含まれる |
| $\owns$ | \owns | 含む |
| $\Longrightarrow$ | \Longrightarrow | ならば |
| $\implies$ | \implies | ならば |
| $\not \in$ | \not \in | 属すの否定 |
| $\not \owns$ | \not \owns | 含むの否定 |
| $\phi$ | \phi | 空集合 |
| $\emptyset$ | \emptyset | 空集合 |
| $\varnothing$ | \varnothing | 空集合 |
| $\forall$ | \forall | 全称記号、任意のすべての |
| $\exists$ | \exists | 存在記号 |
| $\land$ | \land | かつ |
| $\lor$ | \lor | または |
| $\lnot$ | \lnot | でない |
| $\neg$ | \neg | でない |
| $\iff$ | \iff | 必要十分条件、同値、等価 |
| $\Longleftrightarrow$ | \Longleftrightarrow | 必要十分条件、同値、等価 |
| $\Longleftarrow$ | \Longleftarrow | 逆向きのならば |
| $\overset{\text{def}}{\iff}$ | \overset{\text{def}}{\iff} | 定義 |
| $\subset$ | \subset | 部分集合 |
| $\subseteq$ | \subseteq | 部分集合 |
| $\supset$ | \supset | 部分集合 |
| $\supseteq$ | \supseteq | 部分集合 |
| $\subseteq$ | \subsetneq | 真部分集合 |
| $\supseteq$ | \supsetneq | 真部分集合 |
| $\cup$ | \cup | 和集合 |
| $\cap$ | \cap | 積集合 |
| $\overline A$ | \overline A | 補集合 |
| $A \backslash B$ | a \backslash B | A であって B でないもの |
