\[RightTriangle]

  • Unicode: 22B3.
  • Infix ordering operator.
  • x y is by default interpreted as RightTriangle[x,y].
  • Used in pure mathematics to mean “contains as a normal subgroup”.