MathML - Logic Symbols

Advertisements

Previous Page
Next Page  

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