MathML - 逻辑符号
以下是 MathML 中可用的逻辑符号列表。
| MathML 符号 | HTML 实体 | 十六进制代码 | 描述 |
|---|---|---|---|
| ¬ | ¬ | ¬ | 指定否定 |
| ∧ | ∧ | ∧ | 指定逻辑结合 |
| ∨ | ∨ | ∨ | 指定逻辑分离 |
| ⊻ | ⊻ | ⊻ | 指定排他析取 |
| ∀ | ∀ | ∀ | 指定全称量化 |
| ∃ | ∃ | ∃ | 指定存在量化 |
| ⇒ | → | ⇒ | 指定实质性含义 |
| ⇔ | ↔ | ⇔ | 指定实质性等同 |
| ◻ | &emptysmallsquare; | ◻ | 必须指定 |
| ◊ | ◊ | ◊ | 可能指定 |
| ⊢ | ⊢ | ⊢ | 可证明指定 |
| ⊨ | ⊢ | ⊨ | 指定需要 |
| ∴ | ∴ | ∴ | 因此指定 |
