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

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

\[ImaginaryJ]\[IndentingNewLine]

Implies

Implies \[Implies]

FilledSmallSquare Alias: AliasIndicator=>AliasIndicator.

FilledSmallSquare Infix-Operator mit eingebauten Evaluierungsregeln.

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

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

FilledSmallSquare Nicht dasselbe wie \[DoubleRightArrow].

FilledSmallSquare \[DoubleRightArrow] ist erweiterbar; \[Implies] nicht.

FilledSmallSquare Siehe Das Mathematica Buch: 1.10.4, 3.10.1, 3.10.4 und 3.10.4.

FilledSmallSquare Siehe auch: \[RoundImplies], \[SuchThat], \[RightArrow], \[Rule].

\[ImaginaryJ]\[IndentingNewLine]