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 /

\[DoubleLeftRightArrow]\[DoubleLongLeftArrow]

DoubleLeftTee

DoubleLeftTee \[DoubleLeftTee]

FilledSmallSquare Infix-Operator.

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

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

FilledSmallSquare Wird in der Mathematik zur Andeutung diverser starker Formen logischer Implikationen von x aus y, häufig tautologischer Implikationen, eingesetzt.

FilledSmallSquare Siehe Das Mathematica Buch: 3.10.4 und 3.10.4.

FilledSmallSquare Siehe auch: \[LeftTee], \[DoubleRightTee].

\[DoubleLeftRightArrow]\[DoubleLongLeftArrow]