U+229C "⊜" Circled Equals Unicode Character

U+229C "⊜" Circled Equals is a mathematical symbol that represents an equals sign enclosed within a circle, used primarily in formal logic and algebra to denote a relationship of equivalence or congruence that is further constrained or modified by a specific context, such as in set theory for indicating equality modulo a relation or in some notations for defining an operation that is equal under a particular condition. It is less common than the standard equals sign but serves a distinct purpose in technical texts where a circled variant clarifies that the equality is subject to a specific rule or structure, like a congruence in modular arithmetic.