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

\[ImaginaryJ]\[IndentingNewLine]

Implies

Implies \[Implies]

FilledSmallSquare Alias: AliasIndicator=>AliasIndicator.

FilledSmallSquare Infix operator with built-in evaluation rules.

FilledSmallSquarex y is by default interpreted as Implies[x, y].

FilledSmallSquarex y z groups as x (y z).

FilledSmallSquare Not the same as \[DoubleRightArrow].

FilledSmallSquare \[DoubleRightArrow] is extensible; \[Implies] is not.

FilledSmallSquare See The Mathematica Book: Section 1.10.4, Section 3.10.1, Section 3.10.4 and Section 3.10.4.

FilledSmallSquare See also: \[RoundImplies] , \[SuchThat] , \[RightArrow] , \[Rule] .

\[ImaginaryJ]\[IndentingNewLine]