📅 最后修改于: 2020-10-22 06:18:34 🧑 作者: Mango
以下是MathML中可用的逻辑符号列表。
| MathML Symbol | HTML Entity | Hex Code | Description |
|---|---|---|---|
| ¬ | ¬ | ¬ | To specify negation |
| ∧ | ∧ | ∧ | To specify logical conjunction |
| ∨ | ∨ | ∨ | To specify logical disjunction |
| ⊻ | ⊻ | ⊻ | To specify exclusive disjunction |
| ∀ | ∀ | ∀ | To specify universal quantification |
| ∃ | ∃ | ∃ | To specify existential quantification |
| ⇒ | → | ⇒ | To specify material implication |
| ⇔ | ↔ | ⇔ | To specify material equivalence |
| ◻ | &emptysmallsquare; | ◻ | To specify necessarily |
| ◊ | ◊ | ◊ | To specify possibly |
| ⊢ | ⊢ | ⊢ | To specify provable |
| ⊨ | ⊢ | ⊨ | To specify entails |
| ∴ | ∴ | ∴ | To specify therefore |