\vcentcolon
The \vcentcolon command is used to produce a vertically centered colon, often used in mathematical expressions to denote a relation or definition. It ensures that the colon is aligned with the mathematical symbols around it, providing a more aesthetically pleasing and semantically clear representation.
Defines the function f(x) as x squared plus one.
f(x) \vcentcolon= x^2 + 1
Represents a relation between a and b using a vertically centered colon.
a \vcentcolon b
Defines x as the sum of y and z using a vertically centered colon.
x \vcentcolon= y + z