WOLFRAM

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