\[NotSucceedsTilde]

  • Unicode: 22E9.
  • Infix ordering operator.
  • x y is by default interpreted as NotSucceedsTilde[x,y].