\[NotPrecedesTilde]

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