Javatpoint Logo
Javatpoint Logo

MathML Logic Symbols

Symbol Entity Hex Description
¬ ¬ ¬ It is used to specify negation
∧ ∧ It is used to specify logical conjunction
∨ ∨ It is used to specify logical disjunction
⊻ ⊻ It is used to specify exclusive disjunction
∀ ∀ It is used to specify universal quantification
∃ ∃ It is used to specify existential quantification
→ ⇒ It is used to specify material implication
↔ ⇔ It is used to specify material equivalence
&emptysmallsquare; ◻ It is used to specify necessarily
◊ ◊ It is used to specify possibly
⊢ ⊢ It is used to specify provable
⊢ ⊨ It is used to specify entails
∴ ∴ It is used to specify therefore




Youtube For Videos Join Our Youtube Channel: Join Now

Help Others, Please Share

facebook twitter pinterest

Learn Latest Tutorials


Preparation


Trending Technologies


B.Tech / MCA