MathML - Logic Symbols


Advertisements

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