Mathml-logic
提供：Dev Guides
MathML-論理記号
以下は、MathMLで使用可能なロジックシンボルのリストです。
| MathML Symbol | HTML Entity | Hex Code | Description |
|---|---|---|---|
| ¬ | ¬ | ¬ | To specify negation |
| ∧ | AND | ∧ | To specify logical conjunction |
| ∨ | OR | ∨ | To specify logical disjunction |
| ⊻ | VEEBAR | ⊻ | To specify exclusive disjunction |
| ∀ | FORALL | ∀ | To specify universal quantification |
| ∃ | EXIST | ∃ | To specify existential quantification |
| ⇒ | RARR | ⇒ | To specify material implication |
| ⇔ | HARR | ⇔ | To specify material equivalence |
| ◻ | EMPTYSMALLSQUARE | ◻ | To specify necessarily |
| ◊ | LOZ | ◊ | To specify possibly |
| ⊢ | VDASH | ⊢ | To specify provable |
| ⊨ | VDASH | ⊨ | To specify entails |
| ∴ | THERE4 | ∴ | To specify therefore |
