🔍

Symbolen laden…

››

⊸

Multimap

Multimap

In de lineaire logica betekent ⊸ dat je met een hulpbron A een resultaat B kunt krijgen, waarbij A wordt verbruikt. Het teken staat in bewijzen en in typesystemen voor programmeren die hulpbronnen bijhouden. De vorm hangt af van het lettertype; gewone tekst en opgemaakte formules kunnen er anders uitzien.

Tekensymbool

Ook genoemd: lolli · lineaire implicatie
Zoek als: lineaire logica · multimapteken
Komt voor in: Elk tekstveld · de vorm hangt af van je lettertype

Wat betekent ⊸

Hulpbron A wordt verbruikt om B te krijgen.

Lineaire logica is een manier van redeneren die hulpbronnen bijhoudt: een aanname kan niet zomaar opnieuw worden gebruikt of worden weggelaten. Bij A ⊸ B verbruikt het toepassen van de implicatie A om B op te leveren.

Jean-Yves Girard introduceerde de lineaire logica in 1987; in de bijbehorende notatie staat ⊸ voor lineaire implicatie.

Specialistische notatie voor lineaire logica en typesystemen voor programmeren die hulpbronnen bijhouden.

Lees het niet als een gewone ‘als A, dan B’: bij toepassing wordt A verbruikt.

Veelgestelde vragen

Is ⊸ hetzelfde als →?

Nee. In de lineaire logica houdt ⊸ het gebruik van een hulpbron bij; de gewone → bevat die regel op zichzelf niet. Buiten een duidelijk afgebakende context van lineaire logica volg je de definities van de auteur.

Zo typ je ⊸

Windows (Word)

Alt+XTyp 22B8 en druk op Alt+X voor ⊸.

Windows

Win+RStart charmap voor de volledige tabel of gebruik het Ω-tabblad van de emojikiezer (Win + .).

macOS

Control+Command+SpaceOpen de tekenweergave en zoek naar “multimap”.

Linux

Ctrl+Shift+UTyp 22b8 en druk op Enter of Spatie.

HTML

⊸

CSS

\22B8

Codes en coderingCodepunten: 1

HTML decimaal

⊸

HTML hexadecimaal

⊸

CSS-inhoud

content: "\22B8";

Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.

URL-gecodeerd

%E2%8A%B8

Op het scherm

Codepunten

JS .length

UTF-8-bytes

Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.

Groepen van dit symbool

Wiskunde en getallen1.835 symbolen

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