\[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 Section 3.10.4.
• See also: \[RawLess] .