Unicode Symbols Useful for Logic/Semantics

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

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

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

Strings: ɛ ⁀ Σ ␣ ⌜ ⌝

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

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

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

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

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