以下是MathML中可用的逻辑符号列表.
MathML符号 | HTML实体 | Hex代码 | 描述 |
---|---|---|---|
¬ | ¬ | ¬ | 指定否定 |
∧ | ∧ | ∧ | 指定逻辑连接 |
∨ | ∨ | ∨ | 指定逻辑分离 |
⊻ | ⊻ | ⊻ | 指定独占分离 |
∀ | ∀ | ∀ | 指定通用量化 |
∃ | &exists; | ∃ | 指定存在量化 |
⇒ | → | x21d2; | 指定物质含义 |
⇔ | ↔ | ⇔ | 指定材料等价 |
◻ | &emptysmallsquare; | ◻ | 要指定 |
◊ | ◊ | ◊ | 指定可能 |
⊢ | ⊢ | ⊢ | 指定可证明的 |
⊨ | ⊢ | ⊨ | 指定需要 |
∴ | ∴ | ∴ | 因此指定 |