A relational symbol placing a colon after an equals sign to define new notation or introduce definitions.
