abbrev forall ∀
abbrev exists ∃
abbrev not ¬
abbrev and ∧
abbrev or ∨
abbrev intersect ∩
abbrev union ∪
abbrev in ∈
abbrev notin ∉
abbrev minus ∖
abbrev to →
abbrev != ≠
abbrev <= ≤
abbrev >= ≥
abbrev implies ⟹ 
abbrev iff ⟺ 
abbrev epsilon ε
abbrev powerset ℘

" Do the rest of the greek letters
abbrev @ ∅
abbrev nats ℕ
abbrev ints ℤ
"
"
" Should support subset, subseteq