\[NotLess]

  • Unicode: 226E.
  • 其他输入方式: !<.
  • 中缀排序运算符.
  • x y 默认情况下解释为 NotLess[x,y].
  • 仅对于完全有序集合， 等同于 .