fsymbols
Caricamento dei simboli…
››
⫴

Relazione binaria con tripla barra verticale

Relazione binaria con tripla barra verticale

245/256

⫴ è un unico simbolo matematico di tre barre verticali, posto tra due espressioni. Di solito indica l’interleaving: in informatica P ⫴ Q descrive due processi che procedono affiancati, con i passi mescolati in qualsiasi ordine. È un solo carattere, non tre .

Simbolo testuale

Cosa significa ⫴

Di solito, che i due lati si intercalano.

L’uso più noto viene dall’algebra dei processi, la matematica dei programmi concorrenti. Nel CSP di Tony Hoare (Communicating Sequential Processes), P ⫴ Q, spesso scritto P Q, è un sistema in cui P e Q avanzano indipendenti e le loro azioni si mescolano senza attendersi. Unicode lo classifica tra le relazioni poste tra due operandi, con la lettura «interleave». Fuori da questa notazione non ha usi quotidiani.

Segno di notazione tecnica, presente in testi di informatica e logica, non nelle chat.

Non sostituirlo con , che racchiude un contenuto come una parentesi.

Fa parte delle raccolte

Non confonderlo con

4

Tre barre comuni; sostituto in testo semplice, ma tre caratteri.

Domande frequenti

2

⫴ equivale a scrivere ?

No. sono tre caratteri; ⫴ è un simbolo con spaziatura matematica. Spesso si scrive quando manca ⫴.

Vuol dire «parallelo»?

Non proprio. Due barre o indicano di solito parallelo o sincronia; tre, interleaving senza sincronizzazione.

Come digitare o trovare ⫴

Chiamato anche
interleaving · interfogliamento
Cercalo come
tripla barra verticale · tre barre verticali · ||| · relazione binaria · CSP · \interleave
Compare in
Qualsiasi campo di testo · la forma dipende dal carattere
Windows (Word)
⎇Alt+XDigita 2AF4, poi premi AltX 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 «triple vertical bar binary relation».
Linux
⎈Ctrl+⇧Shift+UDigita 2af4, poi premi Invio o Spazio.
HTML
⫴
CSS
\2AF4
LaTeX
\interleave con il pacchetto stmaryrd o unicode-math.
Windows
In Word digita 2AF4 e poi AltX.
Linux
CtrlMaiuscU, poi 2af4 e Spazio.
Codici e codificaPunti di codice: 1
HTML decimale
⫴
HTML esadecimale
⫴
Contenuto CSS
content: "\2AF4";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%AB%B4
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