MathML 符号 | HTML 实体 | 十六进制代码 | 说明 |
¬ | ¬ | ¬ | 指定否定 |
∧ | ∧ | ∧ | 指定逻辑合取 |
∨ | ∨ | ∨ | 指定逻辑分离 |
⊻ | ⊻ | ⊻ | 指定互斥析取 |
∀ | ∀ | ∀ | 指定通用量化 |
∃ | ∃ | ∃ | 指定存在量化 |
⇒ | → | ⇒ | 指定物质含义 |
⇔ | ↔ | ⇔ | 指定材料等效性 |
◻ | &emptysmallsquare; | ◻ | 必须指定 |
◊ | ◊ | ◊ | 指定可能 |
⊢ | ⊢ | ⊢ | 指定可证明 |
⊨ | ⊢ | ⊨ | 指定需要 |
∴ | ∴ | ∴ | 因此指定 |