• Alias: =>. • Infix arrow operator. • xy is by default interpreted as DoubleRightArrow[x,y]. • Used in mathematics to indicate various strong forms of convergence. • Also used to indicate algebraic field extensions. • Not the same as \[Implies]. • Extensible character. • See also: \[DoubleLongRightArrow] , \[RightArrow] , \[DoubleLeftArrow] .
\[DoubleRightArrow]
=>
y is by default interpreted as DoubleRightArrow[x, y]. 