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

Related Symbols