Bertrand,
powered by Spock
Shortcuts to the
Lexicon
Σ (prd)
⊤ (ttt)
⊥ (fff)
(---)
∅ (nul)
¬ (not)
∃ (eee)
∀ (all)
∧ (con)
∨ (dis)
→ (imp)
↔ (iff)
≡ (eqv)
⨁ (exd)
↓ (nor)
↑ (nan)
𝔇 (dom)
ℛ (ran)
ℱ (fld)
∈ (set)
⊆ (inc)
⊂ (src)
∩ (int)
∪ (uni)
∆ (sym)
𝒫 (PPP)
× (xxx)
ℐ (idt)
φ (phi)
ϕ (Phi)
ψ (psi)
⚬ (cir)