Please note, this is a STATIC archive of website www.javatpoint.com from 19 Jul 2022, cach3.com does not collect or store any user information, there is no "phishing" involved.
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

Feedback


Help Others, Please Share

facebook twitter pinterest

Learn Latest Tutorials


Preparation


Trending Technologies


B.Tech / MCA