デルタ等号

「これをあれと定義する」という印です。

三角イコール、またはデルタ等号は、式にどんな名前や意味を与えるかを示します。f(x) ≜ x² は「f(x) を x の二乗と定義する」と読みます。別々に決まった二つの値が等しい、というだけの主張ではありません。

Unicode では ≜ に「等角」という読み方も挙げられています。この専門的な読み方になるのは、周囲の記法がそれを示す場合だけです。

定義を示す記号はどう発展した？

定義と通常の等しさを区別するための記号です。

「定義によって等しい」を表す、関連する二重の等号の記号は1920年に確認されています。これは定義を示す別の古い方法であり、この字形そのものの年代を示すものではありません。

数学では :=、=:、=def のような書き方も使われます。役割は似ていますが、正確な使い方は著者の記法に従います。

≜ と := はどう違う？

どちらも定義を導入できますが、使い分けは一定ではありません。

:= は定義や代入を表すことが多く、≜ はその関係が定義によるものだと示します。共通の決まりはないため、論文、教科書、プログラミング言語ごとの記法に従ってください。