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 |