LeftTee

\[LeftTee]

Alias: lT.

Infix-Operator.

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

x y z gruppiert als (x y) z.

Wird in der Mathematik verwendet, um das Fehlen einer logischen Implikation oder eines Beweises zu kennzeichnen.

Siehe Das Mathematica Buch: 3.10.4 und 3.10.4.

Siehe auch: \[DoubleLeftTee], \[LeftTeeArrow], \[LeftTeeVector], \[RightTee], \[DownTee], \[LeftBracketingBar].