Add logic + set theory symbols to your keyboard
Press control+l, type in the desired symbol name, and press enter in order to type it out.
forall: ∀
exists: ∃
implies: →
iff: ↔
not: ¬
and: ∧
or: ∨
xor: ⊕
top: ⊤
bottom: ⊥
def: ≡
proves: ⊢
models: ⊨
int: ⋂
union: ⋃
subset: ⊆
psubset: ⊂
nsubset: ⊄
superset: ⊇
psuperset: ⊃
nsuperset: ⊅
elem: ∈
nelem: ∉
prod: ×
empty: Ø