NotLess
\[NotLess]
Alias: !<. Infix ordering operator. x y is by default interpreted as NotLess[x, y]. is equivalent to only for a totally ordered set. See The Mathematica Book: Section 3.10.4. See also: \[RawLess] .