Multimap gauche

Saisissez son point de code, U+27DC, dans l’entrée Unicode de votre éditeur.

Que signifie ⟜ ?

Sa lecture dépend de la notation qui l’entoure. Dans la notation du multimap gauche, ⟜ appartient à une famille de signes pour des relations qui peuvent associer une entrée à un ensemble de résultats possibles ; c’est ce qu’on appelle une relation multivoque. Cette notation apparaît en théorie du contrôle, en économie, en théorie des jeux et en analyse convexe.

L’opérateur ⟜ de BQN a un rôle propre dans ce langage de programmation par tableaux, qui manipule des listes et des grilles de valeurs : « bind » fixe une valeur à droite d’une fonction, tandis que « after » applique d’abord une fonction puis transmet son résultat à une autre. Ce sont des règles de BQN, pas un sens général de toute notation multimap.