>>139
∀
∃
∧
∨
⇒
⇔
¬

などなど。
一応記号はある。