⊜
Math Operator 153
- Unicode
- U+229C
- Category
- Math
- HTML Entity
- ⊜
- CSS
- \229C
The ⊜ (circled equals) symbol features a standard equals sign enclosed within a circle. Belonging to Unicode's Mathematical Operators block, it is primarily used in advanced mathematics and logic to denote a specialized equivalence relation or a custom equality operation within a distinct algebraic structure. While rare in everyday text, computer scientists and logicians occasionally use it to visually distinguish strict syntactical equality from standard numerical equality.
How to Type
- Windows
- Win + . then search "circled equals" (or type 229C then Alt+X in Microsoft Word)
- macOS
- Control + Command + Space then search "circled equals"
- Linux
- Ctrl + Shift + U then type 229C and press Enter
- HTML
- ⊜
In Programming
While not a built-in operator in mainstream languages, ⊜ is often utilized in languages that support Unicode math operators, such as Julia, Haskell, or Agda, to define custom equality checks or domain-specific equivalence relations.
Tags
abstract algebra
balance
circled equals
computer science notation
custom equality
equality operator
equals in circle
equivalence relation
logical equality
mathematics
operator
relation
set theory
syntactic equality