RightTeeArrow

\[RightTeeArrow]

Infix-Pfeiloperator.

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

Wird in der Mathematik verwendet, um eine Transformation zu kennzeichnen, häufig die Aktion einer Abbildung auf ein spezielles Element in einem Raum.

Wird auch in der Logik zur Bezeichnung der Deduzierbarkeit verwendet.

Streckbares Zeichen.

Siehe Das Mathematica Buch: 3.10.4.

Siehe auch: \[RightTeeVector], \[RightTee], \[LeftTeeArrow], \[UpTeeArrow].