Here are some symbols commonly used in logic, their Unicode values, HTML entities, and LaTeX commands.
| Symbol | Unicode | HTML | LaTeX |
|---|---|---|---|
| ∧ | U+2227 | ∧ | \wedge |
| ⊼ | U+22BC | \barwedge | |
| ∨ | U+2228 | ∨ | \vee |
| ⊽ | U+22BD | \barvee | |
| ⊻ | U+22BB | ⊻ | \veebar |
| → | U+2192 | → | \rightarrow |
| ⇒ | U+21D2 | ⇒ | \Rightarrow |
| ← | U+2190 | ← | \leftarrow |
| ⇐ | U+21D0 | ⇐ | \Leftarrow |
| ⟷ | U+27F7 | \leftrightarrow | |
| ⇔ | U+21D4 | ⇔ | \iff |
| ¬ | U+00AC | ¬ | \neg |
| ⊤ | U+22A4 | ⊤ | \top |
| ⊥ | U+22A5 | ⊥ | \bot |
| ∀ | U+2200 | ∀ | \forall |
| ∃ | U+2203 | ∃ | \exists |
| ∄ | U+2204 | \nexists | |
| ⊢ | U+22A2 | ⊢ | \vdash |
| ⊫ | U+22AB | ⊨ | \\models |
| □ | U+25A1 | \Box | |
| ◇ | U+25C7 | \Diamond | |
| ○ | U+25CB | \bigcirc | |
| ⟛ | U+27DB | \dashv \vdash | |
| ⊸ | U+22B8 | \multimap |