[Math] What’s the difference between “≡” and “≣”?

notationterminology

What's the difference between "≡" ("identical to") and "≣" ("strictly equivalent to")?

"Strictly equivalent to" ("≣") is UTF character 2263, classified in the Mathematical Operators block.

Best Answer

Let's say you have two expressions $X$ and $Y$. A way of expressing that they are equivalent, or equal to each other by definition, is as follows: $$X\equiv Y.\tag1$$ However, the symbol $\equiv$ also denotes congruence, e.g. $p^2\equiv 1\pmod 6$, so using the symbol for two different circumstances can cause some confusion. Thus, to denote $(1)$, some write that $$X:= Y\quad\text{ or }\quad X\triangleq Y\quad\text{ or }\quad X\stackrel{\text{def}}{=} Y.$$ But, there is also another (but less common) variation, namely, $$X\operatorname*{\equiv}\limits^{\underline{ \ \ \ }}Y\quad\text{ or with a different typeset, }\quad X\,\require{HTML} \style{display: inline-block; transform: rotate(90deg)}{\shortparallel\shortparallel}Y.$$ The "quadruple bar" is not used to denote congruence.


This post might serve useful.