| 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 |
Leave a Reply