A relational symbol denoting a definition or "is defined as" in mathematical proofs and formal statements.
