fsymbols
🔍
Chargement des symboles…
››
⊸

Multimap

Multimap

En logique linéaire, ⊸ indique qu’une ressource A permet d’obtenir B et qu’elle est consommée au passage. On le trouve dans les preuves et dans les systèmes de types en programmation qui suivent l’usage des ressources. Sa forme dépend de la police : le texte brut et les formules composées peuvent l’afficher différemment.

Symbole textuel
Aussi appelé
lolli · implication linéaire
Recherchez-le comme
logique linéaire · symbole multimap
Apparaît dans
Tout champ acceptant du texte · sa forme dépend de la police

Que signifie ⊸

La ressource d’entrée A est dépensée pour obtenir B.

La logique linéaire est une façon de raisonner qui suit les ressources : une prémisse ne peut pas être réutilisée ou écartée sans règle. Dans A ⊸ B, appliquer l’implication consomme A pour produire B.

Jean-Yves Girard a introduit la logique linéaire en 1987 ; dans sa notation, ⊸ désigne l’implication linéaire.

Notation spécialisée de la logique linéaire et des systèmes de types en programmation qui suivent les ressources.

Ne le lis pas comme un simple « si A, alors B » : utiliser le symbole consomme A.

Questions fréquentes

1

⊸ est-il identique à → ?

Non. En logique linéaire, ⊸ suit l’utilisation d’une ressource ; → n’inclut pas cette règle à lui seul. En dehors d’un contexte clairement défini de logique linéaire, suis les définitions de l’auteur.

Comment saisir ⊸

Windows (Word)
Alt+XSaisissez 22B8, puis Alt+X pour obtenir ⊸.
Windows
Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win + .).
macOS
Control+Command+SpaceOuvrez le visualiseur de caractères et cherchez « multimap ».
Linux
Ctrl+Shift+USaisissez 22b8, puis Entrée ou Espace.
HTML
⊸
CSS
\22B8
Codes et encodagePoints de code : 1
HTML décimal
⊸
HTML hexadécimal
⊸
Contenu CSS
content: "\22B8";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%8A%B8
1
À l’écran
1
Points de code
1
JS .length
3
Octets UTF-8

Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.

Groupes de ce symbole

1

Mathématiques et nombres1 835 symboles

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣