:=

:=

≡

:⇔ 定义 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)

定义为

所有领域