A relational symbol denoting a colon-equals definition or specification, commonly used in category theory and formal mathematics.
A relational symbol denoting a colon-equals definition or specification, commonly used in category theory and formal mathematics.