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

\[DoubleLeftArrow]\[DoubleLeftTee]

DoubleLeftRightArrow

DoubleLeftRightArrow \[DoubleLeftRightArrow]

FilledSmallSquare Alias: AliasIndicator<=>AliasIndicator.

FilledSmallSquare Infix arrow operator.

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

FilledSmallSquare Used in mathematics to indicate logical equivalence.

FilledSmallSquare Extensible character.

FilledSmallSquare See The Mathematica Book: Section 3.10.4.

FilledSmallSquare See also: \[DoubleLongLeftRightArrow] , \[LeftRightArrow] , \[RightArrowLeftArrow] , \[LeftArrowRightArrow] , \[Congruent] , \[Implies] .

\[DoubleLeftArrow]\[DoubleLeftTee]