Unicode Symbols
| Group | Symbols |
|---|---|
| scala | ⇒ → ← |
| operators | ∷ ⧺ ≡ ≠ ≤ ≥ ≯ ≮ ∧ ∨ × ÷ ∘ ∀ ∃ ▷ ▶ ◀ ◁ • ⋅ ε |
| tacks | ⊢ ⊣ ⊤ ⊥ ⊦ ⊧ ⊨ ⊩ ⊪ ⊫ ⊬ ⊭ ⊮ ⊯ |
| set | ∈ ∉ ∊ ∋ ∌ ∍ ∪ ∩ ⊖ ⊂ ⊃ ⊄ ⊅ ⊆ ⊇ ⊈ ⊉ ∅ |
| musical | 𝄫♭♮♯𝄪 |
| superscript | ⁰¹²³⁴⁵⁶⁷⁸⁹⁻⁺ |
| subscript | ₀₁₂₃₄₅₆₇₈₉₋₊ |
| math | 𝔹 ℕ ℚ ℝ ℤ 𝕊 |
| greek | ΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ |
| greek | αβγδεζηθικλμνξοπρστυφχψω |