- Published on
Latex常用逻辑符号
0x01 Latex 常用逻辑符号
| 命令 | 符号 | 主要含义 |
|---|---|---|
\forall | ∀ | 任意，全称量化 |
\exists | ∃ | 存在，存在量化 |
\nexists | ∄ | 不存在 |
\exists! | ∃! | 只有一个存在，只有一个存在量化 |
\neg, \lnot | ¬ | 否认 |
\land, \wedge | ∧ | 并且，逻辑积（and） |
\cdot | ⋅ | 并且，逻辑积（and） |
\& | & | 并且，逻辑积（and） |
\lor, \vee | ∨ | 或者，逻辑或 |
+ | + | 或者，逻辑或 |
\parallel | 或者，逻辑或 | |
\oplus | ⊕ | 异或 |
\veebar | ⊻ | 异或 |
\vdash | ⊢ | 证明 |
\vDash | ⊨ | 表示 |
\to | → | 那么，实质含义 |
\rightarrow | → | 那么，实质含义 |
\Rightarrow | ⇒ | 那么，实质含义 |
\implies | ⟹ | 那么，实质含义 |
\gets | ← | 那么，实质含义（反之） |
\leftarrow | ← | 那么，实质含义（反之） |
\Leftarrow | ⇐ | 那么，实质含义（反之） |
\impliedby | ⟸ | 那么，实质含义（反之） |
\leftrightarrow | ↔ | 等值、实质等值 |
\Leftrightarrow | ⇔ | 等值、实质等值 |
\iff | ⟺ | 等值、实质等值 |
\equiv | ≡ | 等价、实际等价、定义 |
\coloneqq | := | 定义 |
:\Leftrightarrow | :⇔ | 定义 |
\therefore | ∴ | 因此，因此 |
\because | ∵ | 因为如果 |
\top | ⊤ | 托特罗西（无条件真实） |
\bot | ⊥ | 矛盾 |
\complement | ∁ | 补集 |
\cap | ∩ | 交集 |
\cup | ∪ | 并集 |