≕
Math Operator 82
- Unicode
- U+2255
- Category
- Math
- HTML Entity
- ≕
- CSS
- \2255
The ≕ (equals colon) symbol is a mathematical operator used to indicate that the term on the right side of the equation is being defined by the expression on the left. It acts as the exact reverse of the more common colon-equals (≔) symbol, essentially meaning "evaluates to" or "is defined as." While rarely seen in everyday typing, it frequently appears in formal logic, computer science papers, and advanced mathematical proofs to establish strict definitions.
How to Type
- Windows
- Alt+8789
- macOS
- Control+Command+Space then search "equals colon"
- Linux
- Ctrl+Shift+U then 2255 then Space
- HTML
- ≕ or ≕
In Programming
In computer science literature and formal logic, ≕ is used to bind a newly defined variable to the right-hand side of an expression. When writing technical documents in LaTeX, it is commonly rendered using the \eqqcolon command from the mathtools package.
Tags
=: symbol
assignment
defined as
definition
equals colon
evaluates to
formal logic notation
mathematics
notation
reverse colon equals
right definition symbol
right-hand definition