U+2255 "≕" Equals Colon Unicode Character

U+2255 "≕" Equals Colon is a mathematical symbol that represents the relationship of equality in a specific, often definitional, context. Unlike the standard equals sign (=), this symbol combines an equals sign with a colon, where the colon typically indicates that the following expression is defined as equal to the preceding one. It is commonly used in mathematical notation to denote that a term is defined to be equal to another, serving as a clear and concise way to introduce new variables or constants in equations and formal proofs.