Documentation Publicon Reference Special Characters
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 also: \[RawLess] .