:=

：=是存儲過程的賦值的意思例如:SQL> DECLARE 2 testvalue VARCHAR2(20); 3 BEGIN 4 testvalue := 'First Test!'; 5 dbms_output.put_line( testvalue ); 6 END; 7 /First Test!PL/SQL procedure successfully completed.

:=

≡

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

定義為

所有領域