Useful Tools:
- Shapecatcher: Draw the Unicode character you want!
- Detexify LaTeX handwritten symbol recognition
- Unicode / LaTeX Converter
Semantics symbols
- ∧ – Logical And: U+2227 and – Unicode Character Table
- ∨ – Logical Or: U+2228 or – Unicode Character Table
- ∃ – There Exists: U+2203 exist – Unicode Character Table
- ∀ – For All: U+2200 forall – Unicode Character Table
- ¬ – Not Sign: U+00AC not – Unicode Character Table
- ∼ – Tilde Operator: U+223C sim – Unicode Character Table
- ⟦ – Mathematical Left White Square Bracket: U+27E6 – Unicode Character Table
- ⟧ – Mathematical Right White Square Bracket: U+27E7 – Unicode Character Table
- ‖ – Double Vertical Line: U+2016 Vert – Unicode Character Table
- ⟶ – Long Rightwards Arrow: U+27F6 xrarr – Unicode Character Table
- → – Rightwards Arrow: U+2192 – Unicode Character Table
- ↛ – Rightwards Arrow with Stroke: U+219B – Unicode Character Table
- ⟹ – Long Rightwards Double Arrow: U+27F9 xrArr – Unicode Character Table
- ⇒ – Rightwards Double Arrow: U+21D2 rArr – Unicode Character Table
- ⇏ – Rightwards Double Arrow with Stroke: U+21CF nrArr – Unicode Character Table
- ⟵ – Long Leftwards Arrow: U+27F5 xlarr – Unicode Character Table
- ← – Leftwards Arrow: U+2190 – Unicode Character Table
- ↚ – Leftwards Arrow with Stroke: U+219A – Unicode Character Table
- ⟸ – Long Leftwards Double Arrow: U+27F8 xlArr – Unicode Character Table
- ⇐ – Leftwards Double Arrow: U+21D0 lArr – Unicode Character Table
- ⇍ – Leftwards Double Arrow with Stroke: U+21CD nlArr – Unicode Character Table
- ⟷ – Long Left Right Arrow: U+27F7 xharr – Unicode Character Table
- ⟺ – Long Left Right Double Arrow: U+27FA xhArr – Unicode Character Table
- □ – White Square: U+25A1 – Unicode Character Table
- ◇ – White Diamond: U+25C7 – Unicode Character Table
- ≠ – Not Equal To: U+2260 ne – Unicode Character Table
- ≉ – Not Almost Equal To: U+2249 nap – Unicode Character Table
- λ – Greek Small Letter Lamda: U+03BB lambda – Unicode Character Table
- ̅ – Combining Overline: U+0305 – Unicode Character Table
- ∩ – Intersection: U+2229 cap – Unicode Character Table
- ∪ – Union: U+222A cup – Unicode Character Table
- ⊃ – Superset Of: U+2283 sup – Unicode Character Table
- ⊄ – Not a Subset Of: U+2284 nsub – Unicode Character Table
- ⊅ – Not a Superset Of: U+2285 nsup – Unicode Character Table
- ⊆ – Subset of or Equal To: U+2286 sube – Unicode Character Table
- ⊇ – Superset of or Equal To: U+2287 supe – Unicode Character Table
- ⊈ – Neither a Subset of nor Equal To: U+2288 nsube – Unicode Character Table
- ⊉ – Neither a Superset of nor Equal To: U+2289 nsupe – Unicode Character Table
- ∈ – Element Of: U+2208 isin – Unicode Character Table
- ∋ – Contains As Member: U+220B ni – Unicode Character Table
- ∉ – Not an Element Of: U+2209 notin – Unicode Character Table
- ∌ – Does Not Contain As Member: U+220C notni – Unicode Character Table
- ⟨ – Mathematical Left Angle Bracket: U+27E8 – Unicode Character Table
- ⟩ – Mathematical Right Angle Bracket: U+27E9 – Unicode Character Table
- ∅ – Empty Set: U+2205 empty – Unicode Character Table
- ✓ – Check Mark: U+2713 check – Unicode Character Table
- ✔ – Heavy Check Mark Emoji: U+2714 – Unicode Character Table
- 🗸 – Light Check Mark: U+1F5F8 – Unicode Character Table
- ↑ – Upwards Arrow: U+2191 – Unicode Character Table
- ↓ – Downwards Arrow: U+2193 – Unicode Character Table
- “•” U+2022 Bullet Unicode Character
- ⊂ – Subset Of: U+2282 sub – Unicode Character Table