DoubleLeftArrow

\[DoubleLeftArrow]

Alias: <=.

Infix arrow operator.

x y 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 Section 3.10.4.

See also: \[DoubleLongLeftArrow] , \[LeftArrow] , \[DoubleRightArrow] .