List of logic symbols in LaTeX
In LaTeX, logic symbols are used to represent the various logical operations and mathematical concepts.
These symbols plays a very important role in expressing the logical statements, relationships.
The most commonly used logic symbols in LaTeX are given below.
| Symbol | LaTeX Command | Description |
|---|---|---|
| ∃ | \exists | There exists |
| ∃! | \exists! | There exists one and only one |
| ∄ | \nexists | There does not exists |
| ∀ | \forall | For all |
| ¬ | \neg | Logical not |
| ∨ | \lor | Logical or |
| ∧ | \land | Logical and |
| ⟹ | \Longrightarrow or \implies | Implies |
| ⇒ | \Rightarrow | Right implication |
| ⟸ | \Longleftarrow | is implied by (only if) |
| ⇐ | \Leftarrow | Left Implication |
| ⟺ | \iff | is equivalent to (if and only if, iff) |
| ⇔ | \Leftrightarrow | Equivalent |
| ⊤ | \top | Top |
| ⊥ | \bot | Bottom |