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

---