Implies

\[Implies]

Alias: =>.

Infix-Operator mit eingebauten Evaluierungsregeln.

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

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

Nicht dasselbe wie \[DoubleRightArrow].

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

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

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