|-	⊢
True	⊤
False	⊥
->	→
-->	⟶
<-	←
<--	⟵
<->	↔
<-->	⟷
=>	⇒
==>	⟹
<== ⟸
++>	⟿
<++	⬳
fun	λ
forall	∀
exists	∃
/\	∧
\/	∨
~	¬
+-	±
<=	≤
>=	≥
<>	≠
*	×
++	⧺
nat	𝓝
Z	ℤ
N	ℕ
Q	ℚ
Real	ℝ
bool	𝔹
Prop	𝓟
