A relational symbol denoting a double approximate equivalence used in category theory and abstract algebra.
