A relational symbol denoting triple-dot equality, commonly used in abstract algebra and analysis to show special equivalence relations.
TeXipedia
A relational symbol denoting triple-dot equality, commonly used in abstract algebra and analysis to show special equivalence relations.