This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

 Documentation /  Mathematica /  Das Mathematica Buch /  Mathematica Nachschlageteil /  Liste der benannten Zeichen /

\[DoubleRightArrow]\[DoubleStruckA] ... \[DoubleStruckZ]

DoubleRightTee

DoubleRightTee \[DoubleRightTee]

FilledSmallSquare Infix-Operator.

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

FilledSmallSquare x y z gruppiert als x (y z).

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

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

FilledSmallSquare Siehe Das Mathematica Buch: 3.10.4 und 3.10.4.

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

\[DoubleRightArrow]\[DoubleStruckA] ... \[DoubleStruckZ]