Unicode Symbols Useful for Logic/Semantics

Sentential Logic:
    Negation: ¬ or ~, Falsum is ⊥
    Disjunction: ∨
    Conjunction: ∧ or &
    Material conditional: ⊃ ⊅ or → ↛ ⇒
    Biconditional: ⊂⊃ [two chars] or ≡ ≢ ↔ ⇔

Predicate Logic: ∀ ∃ = ≠
Logical Extensions: □ ◊ ⥽ ℩

Semantics: ⫤ ⊨ ⊭ ⟦ ⟧
Provability: ⊣ ⊢ ⊬

Strings: ɛ ^ ⁀ Σ ␣ ⌜ ⌝

Sets: ∅ ℘ ℕ ℤ ℚ ℝ ℵ ℶ 𝟘 𝟙 𝟚
Set Operations/Relations: ∈ ∉ ∪ ∩ ∖ – ⊕ ⊂ ⊃ ⊄ ⊅ ⊆ ⊇ ⊈ ⊉ ⊊
Functions: λ × ↦ ∘ →
Orders: ≲ ≳ ⊏ ⊐ ⊑ ⊒ ⋢ ⋣ ≈ ≉ ∼ ≁ ≺ ≻ ⊀ ⊁ ≼ ≽ ⋠ ⋡

Miscellaneous: ← ⟨ ⟩ ⊻ ⊼ * ∙ ★ ⊕ ⊖ ⊝ ⊗ ⊙ ⊛

Primes/Superscripts: ′ ″ ‴ ⁰ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ ⁿ ⁺ ⁻¹ (two chars)  ⁽ ⁾
Subscripts: ₀ ₁ ₂ ₃ ₄ ₅ ₆ ₇ ₈ ₉ ᵢ ⱼ ₍ ₎

Greek capitals:  Α Β Γ Δ Ε Ζ Η Θ ϴ Ι Κ Λ Μ Ν Ξ Ο Π Ρ   Σ   Τ Υ Φ Χ Ψ Ω
Greek lowercase: α β γ δ ε ζ η θ   ι κ λ μ ν ξ ο π ρ ϱ σ ς τ υ φ χ ψ ω

Fraktur:      𝔄  𝔅     𝔇  𝔈  𝔉  𝔊      𝔍     𝔎  𝔏  𝔐  𝔑  𝔒  𝔓  𝔔  ℜ  𝔖  𝔗  𝔘  𝔙  𝔚  𝔛  𝔜
Fraktur bold: 𝕬  𝕭  𝕮  𝕯  𝕰  𝕱  𝕲  𝕳  𝕴  𝕵  𝕶  𝕷  𝕸  𝕹  𝕺  𝕻  𝕼  𝕽  𝕾  𝕿  𝖀  𝖁  𝖂  𝖃  𝖄  𝖅

Script: 𝒜  𝒞  𝒟  𝒢  𝒥  𝒦  𝒩  𝒪  𝒫  𝒬  𝒮  𝒯  𝒰  𝒱  𝒲  𝒳  𝒴  𝒵  𝒶  𝒷  𝒸  𝒹  𝒻  𝒽  𝒾  𝒿  𝓀  𝓁  𝓂  𝓃  𝓅  𝓆  𝓇  𝓈  𝓉  𝓊  𝓋  𝓌  𝓍  𝓎  𝓏
Script bold: 𝓐  𝓑  𝓒  𝓓  𝓔  𝓕  𝓖  𝓗  𝓘  𝓙  𝓚  𝓛  𝓜  𝓝  𝓞  𝓟  𝓠  𝓡  𝓢  𝓣  𝓤  𝓥  𝓦  𝓧  𝓨  𝓩  𝓪  𝓫  𝓬  𝓭  𝓮  𝓯  𝓰  𝓱  𝓲  𝓳  𝓴  𝓵  𝓶  𝓷  𝓸  𝓹  𝓺  𝓻  𝓼  𝓽  𝓾  𝓿  𝔀  𝔁  𝔂  𝔃