|
DoubleLongLeftRightArrow
\[DoubleLongLeftRightArrow]
Alias: <==> .
Infix arrow operator.
x y is by default interpreted as DoubleLongLeftRightArrow[x, y].
See Section 3.10.4.
See also: \[DoubleLeftRightArrow] , \[LongLeftRightArrow] , \[RightArrowLeftArrow] , \[LeftArrowRightArrow] .
|