English 中文(简体)
MathML - Logic Symbols
  • 时间:2024-12-22

MathML - Logic Symbols


Previous Page Next Page  

Following is a pst 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 imppcation
↔ ⇔ To specify material equivalence
&emptysmallsquare; ◻ To specify necessarily
◊ ◊ To specify possibly
⊢ ⊢ To specify provable
⊢ ⊨ To specify entails
∴ ∴ To specify therefore
Advertisements