合同記号
左辺を右辺の式で定義するときに使う。これには、「≔」(等号の左にコロン)、「≜」(等号の上に三角形)、「≝」(等号の上に「def」)も使われる。
たとえば:
f ( x ) ≡ x 2 {\displaystyle f(x)\equiv x^{2}}
f ( x ) := x 2 {\displaystyle f(x):=x^{2}}
f ( x ) ≜ x 2 {\displaystyle f(x)\triangleq x^{2}}
f ( x ) = d e f x 2 {\displaystyle f(x){\overset {\underset {def}{}}{=}}x^{2}}
f ( x ) = d e f x 2 {\displaystyle f(x){\overset {\underset {\mathrm {def} }{}}{=}}x^{2}}
はいずれも、「f(x) を x と定義する」あるいは「定義により f(x) = x である」ことを意味する。
△ A B C ≡ △ D E F {\displaystyle \triangle \mathrm {ABC} \equiv \triangle \mathrm {DEF} }
△ A B C ≅ △ D E F {\displaystyle \triangle \mathrm {ABC} \cong \triangle \mathrm {DEF} }
はいずれも、「三角形ABCと三角形DEFが合同である」ことを意味する。なお、これを
△ A B C = △ D E F {\displaystyle \triangle \mathrm {ABC} =\triangle \mathrm {DEF} }
と書くと、「三角形ABCと三角形DEFは面積が等しい」という意味になる。