Flèche vers la droite à double tiret

Une relation à sens unique ; la notation autour précise laquelle. Mathématiques et informatique utilisent de nombreuses flèches et les distinguent par la tige : pleine, double, pointillée, en tirets ou barrée. ⤍ est la version à deux tirets. Unicode l’a ajoutée avec des centaines d’autres flèches mathématiques pour que la notation imprimée dans les articles et manuels puisse s’écrire en texte ; elle sert d’opérateur entre les deux éléments qu’elle relie.

Aucun sens universel ne lui est attaché. Dans un schéma, une flèche en tirets marque souvent quelque chose de facultatif, de partiel ou d’encore à démontrer, mais l’auteur qui emploie ⤍ doit la définir, et le lecteur doit chercher cette définition plutôt que supposer « implique » ou « donc ».

Quelqu’un a mis ⤍ dans un message : qu’est-ce que ça veut dire ?

En général « mène à » ou « ensuite », avec un air plus léger. Hors des maths, elle remplace une flèche ordinaire dans les bios, les notes et les titres (« lundi ⤍ vendredi », « la suite ici ⤍ »). Certaines polices ne l’ont pas et le lecteur voit un carré vide ; si la lisibilité compte, → est plus sûre.