\[DoubleRightTee]

  • Unicode: 22A8.
  • Infix operator.
  • x y is by default interpreted as DoubleRightTee[x,y].
  • x y z groups as x (y z).
  • Used in mathematics to indicate various strong forms of logical implication—often tautological implication.
  • In prefix form, used to indicate a tautology.