A relational symbol expressing backward similarity or approximate equivalence, commonly used in abstract algebra and topology.
TeXipedia
A relational symbol expressing backward similarity or approximate equivalence, commonly used in abstract algebra and topology.