MathML – Logic Symbols
”;
Following is a list of logic symbols available in 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 |
Advertisements
”;