A relational symbol denoting ring equivalence or circular equality in abstract algebra and ring theory.
