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.

\[DoublePrime]\[DoubleRightTee]

DoubleRightArrow

DoubleRightArrow \[DoubleRightArrow]

FilledSmallSquare Alias: AliasIndicator=>AliasIndicator.

FilledSmallSquare Infix arrow operator.

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

FilledSmallSquare Used in mathematics to indicate various strong forms of convergence.

FilledSmallSquare Also used to indicate algebraic field extensions.

FilledSmallSquare Not the same as \[Implies].

FilledSmallSquare Extensible character.

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

FilledSmallSquare See also: \[DoubleLongRightArrow] , \[RightArrow] , \[DoubleLeftArrow] .

\[DoublePrime]\[DoubleRightTee]