| 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 |
For Videos Join Our Youtube Channel: Join Now
