DoubleLeftTee

\[DoubleLeftTee]

Infix-Operator.

x y wird vorgabemäßig als DoubleLeftTee[x, y] interpretiert.

x y z gruppiert als (x y) z.

Wird in der Mathematik zur Andeutung diverser starker Formen logischer Implikationen von x aus y, häufig tautologischer Implikationen, eingesetzt.

Siehe Das Mathematica Buch: 3.10.4 und 3.10.4.

Siehe auch: \[LeftTee], \[DoubleRightTee].