RightTee

\[RightTee]

Alias: rT.

Infix-Operator.

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

x y z gruppiert als x (y z).

Wird in der Mathematik zur Kennzeichnung einer logischen Implikation oder eines Beweises verwendet.

Siehe Das Mathematica Buch: 1.10.8, 3.10.4 und 3.10.4.

Siehe auch: \[DoubleRightTee], \[RightTeeArrow], \[RightTeeVector], \[LeftTee], \[DownTee], \[RightBracketingBar].