\[NotLess]

  • Unicode: 226E.
  • Alias: !<.
  • Infix ordering operator.
  • x y is by default interpreted as NotLess[x,y].
  • is equivalent to only for a totally ordered set.