fsymbols
🔍
Laddar symboler…
››
⊸

Multimap

Multimap

I linjär logik innebär ⊸ att en resurs A kan användas för att få B och förbrukas på vägen. Tecknet förekommer i bevis och i programmeringens typsystem som håller reda på resurser. Formen beror på typsnittet, så vanlig text och satta formler kan visa det olika.

Textsymbol
Kallas också
lolli · linjär implikation
Sök efter
linjär logik · multimaptecken
Finns i
Alla textfält · formen beror på teckensnittet

Vad betyder ⊸

Indataresursen A förbrukas för att få B.

Linjär logik är ett sätt att resonera som håller reda på resurser: ett antagande kan inte bara återanvändas eller förkastas. När A ⊸ B tillämpas förbrukas A för att ge B.

Jean-Yves Girard introducerade linjär logik 1987; i dess notation står ⊸ för linjär implikation.

Specialistnotation för linjär logik och programmeringens typsystem som håller reda på resurser.

Läs det inte som ett vanligt ”om A så B”: när det används förbrukas A.

Vanliga frågor

1

Betyder ⊸ samma sak som →?

Nej. I linjär logik håller ⊸ reda på hur en resurs används; vanligt → innehåller inte den regeln i sig. Utanför ett tydligt angivet sammanhang med linjär logik följer du författarens definitioner.

Så skriver du ⊸

Windows (Word)
Alt+XSkriv 22B8 och tryck på Alt+X för ⊸.
Windows
Win+RKör charmap för hela tabellen eller använd Ω-fliken i emojiväljaren (Win + .).
macOS
Control+Command+SpaceÖppna teckenvisaren och sök efter ”multimap”.
Linux
Ctrl+Shift+USkriv 22b8 och tryck på Enter eller blanksteg.
HTML
⊸
CSS
\22B8
Koder och kodningKodpunkter: 1
HTML decimalt
⊸
HTML hexadecimalt
⊸
CSS-innehåll
content: "\22B8";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%8A%B8
1
På skärmen
1
Kodpunkter
1
JS .length
3
UTF-8-byte

En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.

Symbolens grupper

1

Matematik och tal1 835 symboler

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