\[NotRightTriangleBar]

  • Unicode: F413.
  • Infix ordering operator.
  • x y is by default interpreted as NotRightTriangleBar[x,y].
Introduced in 1996
(3.0)