A relational symbol denoting a definitional equality or colon-based definition in formal mathematics and logic.
