This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
Mathematica Character Name

\[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 y—often tautological implication.