这是伪代码，只是用来说明逻辑的，并不是具体什么编程语言的代码。
当然，这里显然表示赋值
:=
≡
:⇔ 定义 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)
定义为
所有领域
这是伪PASCAL代码，一般，用:=来表示赋值，而用=来表示比较
C语言中没有:=这种语法。这是错误的写法。意思和=相同。
是在嵌入SQL语句中使用的，将：=后面的值赋给前面的变量。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024