Infix similarity operator.
x y is by default interpreted as CupCap[x, y].
Used in mathematics for various notions of equivalence, usually fairly weak.
f g is often specifically used to indicate that f/g has bounded variation.
See The Mathematica Book: Section 3.10.4.
See also: \[NotCupCap] , \[Cap] , \[Cup] .