DoubleRightTee

\[DoubleRightTee]

Infix-Operator.

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

x y z gruppiert als x (y z).

Wird in der Mathematik verwendet, um diverse starke Formen der logischen Implikation, häufig tautologischen Implikation, zu bezeichnen.

In der Präfix-Form wird es dazu verwendet, eine Tautologie zu kennzeichnen.

Siehe Das Mathematica Buch: 3.10.4 und 3.10.4.

Siehe auch: \[RightTee], \[DoubleLeftTee].