符号 含义
∀x 通用量词：存在 x
∃x 存在量词：存在 x
a:=b a由 b定义
a=:b b由 a定义
a∝b a正比于 b，即 a =常量 ⋅ b 
⇔ 当且仅当
⇒ 暗含