\[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.