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.

\[DoubleLeftTee]\[DoubleLongLeftRightArrow]

DoubleLongLeftArrow

DoubleLongLeftArrow \[DoubleLongLeftArrow]

FilledSmallSquare Alias: AliasIndicator<==AliasIndicator.

FilledSmallSquare Infix arrow operator.

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

FilledSmallSquare See The Mathematica Book: Section 3.10.4.

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

\[DoubleLeftTee]\[DoubleLongLeftRightArrow]