fsymbols
🔍
Indlæser symboler…
››
⊸

Multimap

Multimap

I lineær logik betyder ⊸, at en ressource A kan bruges til at få B, og at A forbruges undervejs. Tegnet bruges i beviser og i programmeringens typesystemer, der holder styr på ressourcer. Formen afhænger af skrifttypen, så almindelig tekst og satsede formler kan vise det forskelligt.

Tekstsymbol
Også kaldet
lolli · lineær implikation
Søg efter som
lineær logik · multimaptegn
Vises i
Alle tekstfelter · formen afhænger af skrifttypen

Hvad betyder ⊸

Inputressourcen A bruges op for at få B.

Lineær logik er en måde at ræsonnere på, hvor man holder styr på ressourcer: en forudsætning kan ikke bare genbruges eller forkastes. Når A ⊸ B anvendes, forbruges A for at frembringe B.

Jean-Yves Girard introducerede lineær logik i 1987; i dens notation står ⊸ for lineær implikation.

Specialistnotation for lineær logik og programmeringens typesystemer, der holder styr på ressourcer.

Læs det ikke som et almindeligt »hvis A, så B«: brugen forbruger A.

Ofte stillede spørgsmål

1

Betyder ⊸ det samme som →?

Nej. I lineær logik holder ⊸ styr på brugen af en ressource; almindelig → indeholder ikke den regel i sig selv. Uden for en tydeligt defineret sammenhæng med lineær logik skal du følge forfatterens definitioner.

Sådan skriver du ⊸

Windows (Word)
Alt+XSkriv 22B8, og tryk på Alt+X for at få ⊸.
Windows
Win+RKør charmap for hele tabellen, eller brug Ω-fanen i emojivælgeren (Win + .).
macOS
Control+Command+SpaceÅbn tegnfremviseren, og søg efter ”multimap”.
Linux
Ctrl+Shift+USkriv 22b8, og tryk på Enter eller mellemrum.
HTML
⊸
CSS
\22B8
Koder og kodningKodepunkter: 1
HTML decimal
⊸
HTML hexadecimal
⊸
CSS-indhold
content: "\22B8";
Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.
URL-kodet
%E2%8A%B8
1
På skærmen
1
Kodepunkter
1
JS .length
3
UTF-8-byte

Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.

Symbolets grupper

1

Matematik og tal1.835 symboler

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