- MathML - Home
- MathML - Overview
- MathML - All Elements
- MathML - Basic Elements
- MathML - Carries
- MathML - Enclosing
- MathML - Fencing
- MathML - Fractions
- MathML - Long Division
- MathML - Matrices
- MathML - Multiplication
- MathML - Overscript
- MathML - Padding
- MathML - Phantom
- MathML - Radicals
- MathML - Repeating Decimals
- MathML - Style
- MathML - Subscripts
- MathML - Subscript-Superscript
- MathML - Superscripts
- MathML - Underscript
- MathML - Underscript-Overscript
- MathML - Algebra Symbols
- MathML - Calculus Symbols
- MathML - Ellipses Symbols
- MathML - Function Symbols
- MathML - Geometry Symbols
- MathML - Greek Letters
- MathML - Invisible Operators
- MathML - Logic Symbols
- MathML - Set Symbols
- MathML Useful Resources
- MathML - Quick Guide
- MathML - Useful Resources
- MathML - Discussion
Selected Reading
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
8