\[NotGreaterGreater]

  • Unicode: F427.
  • Infix ordering operator.
  • x y is by default interpreted as NotGreaterGreater[x,y].