\Coloneqq - LaTeX Symbol

Back to Symbols

: : =

\Coloneqq

The symbol \Coloneqq is used to denote a definition or an assignment in mathematical expressions. It is a relational operator that indicates that the expression on the left-hand side is defined to be equal to the expression on the right-hand side.

Examples

x : : = 5

Defines the variable x to be equal to 5.

x \Coloneqq 5

f (n) : : = n^{2} + 1

Defines the function f(n) as n squared plus 1.

f(n) \Coloneqq n^2 + 1

A : : = {1, 2, 3}

Defines the set A to contain the elements 1, 2, and 3.

A \Coloneqq \{1, 2, 3\}