A relation symbol representing a thicker version of the tilde operator used for equivalence or similarity in mathematics.
TeXipedia
A relation symbol representing a thicker version of the tilde operator used for equivalence or similarity in mathematics.