Documentation Publicon Reference Special Characters
DoubleLongLeftRightArrow
\[DoubleLongLeftRightArrow]
• Alias: =>. • Infix arrow operator. • x y is by default interpreted as DoubleLongLeftRightArrow[x, y].• See also: \[DoubleLeftRightArrow] , \[LongLeftRightArrow] , \[RightArrowLeftArrow] , \[LeftArrowRightArrow] .
\[DoubleLongLeftRightArrow]
=>
y is by default interpreted as DoubleLongLeftRightArrow[x, y].