\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.

Examples

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 \}