y is by default interpreted as TildeFullEqual[x,y]. Used in mathematics to indicate isomorphism, congruence and homotopic equivalence. See The Mathematica Book: Section 3.10.4. See also: \[TildeEqual], \[Congruent], \[NotTildeFullEqual].
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.