A relational symbol combining equality with a raised dot to denote a specific equivalence relation in abstract algebra.
