Seta longa para a esquerda

Ela indica um mapeamento da direita para a esquerda.

Em X ⟵ Y, a ponta da seta aponta para X: Y é mapeado em X.

Alguns marcos mais amplos: a notação de limites de John Gaston Leathem (valores dos quais uma função se aproxima) em 1905, setas em dois livros de matemática em 1908 e a seta de implicação para a direita de David Hilbert em 1922.

⟵ é diferente de ←?

Sim: a forma longa indica mapeamentos.

← é a forma curta usada para direção e limites. ⟸ tem uma segunda haste; ⟻ acrescenta uma barra que indica “mapeado de”. Em texto da direita para a esquerda, as setas não se espelham: ⟵ continua apontando para a esquerda.