fsymbols
🔍
Caricamento dei simboli…
››
⊸

Multimappa

Multimappa

Nella logica lineare, ⊸ indica che una risorsa A permette di ottenere B e viene consumata nel processo. Il simbolo compare nelle dimostrazioni e nei sistemi di tipi di programmazione che tengono traccia delle risorse. La forma dipende dal carattere tipografico, quindi il testo semplice e le formule impaginate possono mostrarlo in modo diverso.

Simbolo testuale
Chiamato anche
lolli · implicazione lineare
Cercalo come
logica lineare · simbolo multimappa
Compare in
Qualsiasi campo di testo · la forma dipende dal carattere

Cosa significa ⊸

La risorsa di ingresso A viene spesa per ottenere B.

La logica lineare è un modo di ragionare che tiene traccia delle risorse: una premessa non può essere riutilizzata o scartata senza una regola. In A ⊸ B, applicare l’implicazione consuma A per produrre B.

Jean-Yves Girard introdusse la logica lineare nel 1987; nella sua notazione, ⊸ indica l’implicazione lineare.

Notazione specialistica della logica lineare e dei sistemi di tipi di programmazione che tengono traccia delle risorse.

Non leggerlo come un semplice «se A, allora B»: usarlo consuma A.

Domande frequenti

1

⊸ è uguale a →?

No. Nella logica lineare, ⊸ tiene traccia dell’uso di una risorsa; il normale → non include questa regola da solo. Fuori da un contesto chiaramente definito di logica lineare, segui le definizioni dell’autore.

Come digitare ⊸

Windows (Word)
Alt+XDigita 22B8, poi premi Alt+X per ottenere ⊸.
Windows
Win+REsegui charmap per la tabella completa o usa la scheda Ω del selettore emoji (Win + .).
macOS
Control+Command+SpaceApri il visore caratteri e cerca «multimap».
Linux
Ctrl+Shift+UDigita 22b8, poi premi Invio o Spazio.
HTML
⊸
CSS
\22B8
Codici e codificaPunti di codice: 1
HTML decimale
⊸
HTML esadecimale
⊸
Contenuto CSS
content: "\22B8";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%8A%B8
1
Sullo schermo
1
Punti di codice
1
JS .length
3
Byte UTF-8

Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.

Gruppi di questo simbolo

1

Matematica e numeri1835 simboli

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