\Eqqcolon
The symbol \Eqqcolon is used to denote a definition where the expression on the left is defined to be equal to the expression on the right. It is a relational symbol that emphasizes the direction of the definition, indicating that the left-hand side is being defined as the right-hand side.
Defines 'a' as the sum of 'b' and 'c'.
a \Eqqcolon b + c
Defines the function f(x) as a quadratic expression.
f(x) \Eqqcolon x^2 + 2x + 1
Defines the set T as the set of all positive real numbers.
T \Eqqcolon \{ x \in \mathbb{R} \mid x > 0 \}