brkmnd.com
Logic Symbols
23.05.2018
Symbol | Connective/Name | Unicode | HTML-char | Latex |
⇒ | Implication | U+21D2 | ⇒ | \\Rightarrow |
→ | U+2192 | → | \\rightarrow |
⊃ | U+2283 | ⊃ | \\supset |
⇔ | Biimplication | U+21D4 | ⇔ | \\Leftrightarrow |
↔ | U+2194 | ↔ | \\leftrightarrow |
¬ | Negation | U+02AC | ¬ | \\neg |
˜ | U+02DC | ˜ | \\sim |
! | U+0021 | ! | \\ |
∧ | Conjunction | U+2227 | ∧ | \\land |
& | U+0026 | & | \\& |
∨ | Disjunction | U+2228 | ∨ | \\lor |
∥ | U+2225 | ∥ | \\parallel |
⊤ | Tautology | U+22A4 | ⊤ | \\top |
⊥ | Contradiction | U+22A5 | ⊥ | \\bot |
⊢ | Provable | U+22A2 | ⊢ | \\vdash |
⊨ | Models | U+22A8 | ⊨ | \\vDash |
≡ | Logic Equivalence | U+2262 | ≡ | \\equiv |
∀ | Forall | U+2200 | ∀ | \\forall |
∃ | Exists | U+2203 | ∃ | \\exists |
∃! | Uniqueness | U+2203 | ∃! | \\exists ! |
[x86] Registers (64bit);;Default.aspx?id=3;;;;[characters] Logic Symbols;;Default.aspx?id=2;;;;[characters] Greek Letters;;Default.aspx?id=1;;;;