:= := ≡ :⇔ 定义 x := y 或 x ≡ y 表示 x 定义为 y的一个名字(注意:≡ 也可表示其它意思, 例如全等)。 P :⇔ Q 表示 P 定义为 Q 的 逻辑等价。 cosh x := (1/2)(exp x + exp (−x)) A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B) 定义为 所有领域 http://baike.baidu.com/view/460887.htm