Appropriate Notation: $\equiv$ versus $:=$

With respect to assignments/definitions, when is it appropriate to use $\equiv$ as in

$$M \equiv \max\{b_1, b_2, \dots, b_n\}$$

which I encountered in my analysis textbook as opposed to the "colon equals" sign, where this example is taken from Terence Tao's blog :

$$S(x, \alpha):= \sum_{p\le x} e(\alpha p) $$

Is it user-background dependent, or are there certain circumstances in which one is more appropriate than the other?


An "equality by definition" is a directed mental operation, so it is nonsymmetric to begin with. It's only natural to express such an equality by a nonsymmetric symbol such as $:=\, .\ $ Seeing a formula like $e=\lim_{n\to\infty}\left(1+{1\over n}\right)^n$ for the first time a naive reader would look for an $e$ on the foregoing pages in the hope that it would then become immediately clear why such a formula should be true.

On the other hand, symbols like $=$, $\equiv$, $\sim$ and the like stand for symmetric relations between predeclared mathematical objects or variables. The symbol $\equiv$ is used , e.g., in elementary number theory for a "weakened" equality (equality modulo some given $m$), and in analysis for a "universally valid" equality: An "identity" like $\cos^2 x+\sin^2 x\equiv1$ is not meant to define a solution set (like $x^2-5x+6=0$); instead, it is expressing the idea of "equal for all $x$ under discussion".


The notation $x:= y$ is preferred as $\equiv$ has another meaning in modular arithmetic (though it is almost always clear from context as to which is meant). However, there is one big advantage to using the $:=$. That is, it is not graphically symmetric and hence allows for strings such as $$ y:= f(x) \leq g(x) =: L $$ where here we are defining both $y$ and $L$. This statement would be much more cumbersome using $\equiv$, and it would not make sense if one simply wrote $$ y \equiv f(x) \leq g(x) \equiv L. $$


$x:=y$ means $x$ is defined to be $y$.

The notation $\equiv$ is also (sometimes) used to mean that, but it also have other uses such as $4\equiv0$ (mod 2).

I encountered $:=$ a lot more than $\equiv$ , and it is my personal favourite.

There is also the notation $\overset{\Delta}{=}$ to mean "equal by definition"

By the way, some people also use the notaion $x=:y$ to mean $y$ is defined to be $x$


It's entirely up to the whim of the author. Other symbols that can mean the same thing are $\triangleq$ and $=_{def}$. I think that only a minority of authors use any special notation, however; the majority just use a regular equals sign.