\[DoubleLeftTee]

  • Unicode: 2AE4.
  • Infix operator.
  • x y is by default interpreted as DoubleLeftTee[x,y].
  • x y z groups as (x y) z.
  • Used in mathematics to indicate various strong forms of logical implication of x from yoften tautological implication.