Flèche en tirets vers la droite

Les tirets signalent un lien plus léger, partiel ou provisoire. C’est l’usage des cartes, des organigrammes et des plans : le trait plein est réel et fixe, le trait discontinu prévu, facultatif, indirect ou incomplet. ⇢ transpose cette idée dans le texte, à côté de →.

En mathématiques, elle a deux emplois connus. En géométrie algébrique, f : X ⇢ Y désigne une application rationnelle, définie presque partout mais pas en tout point. Dans les diagrammes commutatifs, une flèche en tirets marque souvent l’application dont on affirme ou induit l’existence. Chaque article peut fixer ses règles : sa légende fait foi.

Hors mathématiques, ⇢ sert dans les notes, les listes et les bios de réseaux sociaux comme flèche plus légère : « lundi ⇢ vendredi », « lien ⇢ ». Elle y veut dire la même chose que →, avec un style plus discret. Elle appartient à un jeu de quatre flèches en tirets, une par direction.