\[DoubleLeftArrow]

• Unicode: 21D0.

• Alias: Esc <= Esc.

• Infix arrow operator.

• x y is by default interpreted as DoubleLeftArrow[x, y].

• Extensible character.

• Esc <= Esc is the alias for \[LessEqual]. The alias for \[DoubleLeftArrow] has a space at the beginning.