Wolfram Research, Inc.
Infix ordering operator.
x y is by default interpreted as Precedes[x, y].
Used in mathematics to indicate various notions of partial ordering.
Often applied to functions and read "x is dominated by y".
See The Mathematica Book: Section 3.10.4.
See also: \[PrecedesEqual] , \[Succeeds] , \[NotPrecedes] .