等号
ある記号 A が意味するものを、ある記号 B が意味するものと同じであると定義するには「≔」を用いて
と書く。
この他にも、「=」の上に小さく "def" や "△" などを書いた記号が用いられることもある。
「≕」については、「A ≔ B」と同じ意味で
と書くこともある。
つまりは「コロン“:”のある側の内容を、無い側の内容(こちらはその文脈において既に定義されているものに限る)で定義する」という使い方をする。
例えば、 a , b ∈ R {\displaystyle a,\;b\in \mathbb {R} } に対する区間 [a, b) や、和 ∑ i = 1 5 a i {\displaystyle \textstyle \sum \limits _{i=1}^{5}a_{i}} を定義するときに
または
と書いたりする。
シグマ記号 ∑ の下の i = 1 での等号は、単に等しいことを意味している。