A relational symbol denoting geometric congruence or correspondence between objects, commonly used in geometry and topology.
TeXipedia
A relational symbol denoting geometric congruence or correspondence between objects, commonly used in geometry and topology.