Unicode: Logic Symbols ∀ ∃

Commonly used symbols in logic

∀ ∃ ∄ • ∴ ∵ ∎

¬

and or ∧ ∨ • ⊼ ⊻

true ⊨ ⊭

Type theory, model theory

• ⊥ → empty type
• ⊤ → unit type , also used for “any type” in programing languages.
• ⊢ → assumption to judgement
• ⊦ → ASSERTION
• ⊬ → DOES NOT PROVE

models, forces ⊧ ⊩ ⊮

• Unicode: Tacks ⊢ ⊥ ⊤ Turnstiles ⊨

• 𝔹 → Boolean (type theory)

• Unicode: Math Letters 𝕬𝕭𝕮 𝒜ℬ𝒞 𝔸𝔹ℂ