¬ (否定符号)：00AC
∧ (合取符号)：2227
∨ (析取符号)：2228
→ (蕴涵符号)：2192
↔ (等值符号)：2194
⊥ (矛盾符号)：22A5
⊤ (恒真符号)：22A4
∀ (全称量词，表示“对于所有的”）： 2200
∃ (存在量词，表示“存在一个”）：2203
例如:输入00AC后按ALT+X,00AC变为"¬"