• Alias: . • Infix arrow operator. • xy is by default interpreted as DoubleLeftArrow[x,y]. • Extensible character. • is the alias for \[LessEqual]. The alias for \[DoubleLeftArrow] has a space at the beginning. • See also: \[DoubleLongLeftArrow] , \[LeftArrow] , \[DoubleRightArrow] .
\[DoubleLeftArrow]
y is by default interpreted as DoubleLeftArrow[x, y]. 