A relational symbol combining equals and colon to define new mathematical objects or indicate definitions.
