Cosa significa ⦉
Apre un legame nella notazione Z.
Un legame associa i nomi dei componenti ai valori; i tipi di schema ne dichiarano i tipi. In ⦉x:X⦊, x è un componente con nome e tipo X, non un valore assegnato.
Un rapporto sulla semantica formale di Z è stato pubblicato nel 1984. Lo Z Base Standard, stampato nel 1992, definisce le estensioni di legame come associazioni tra nomi ed espressioni. Queste date collocano nel tempo l’idea di legame, non l’origine di questa parentesi.
Notazione specialistica per specifiche formali in Z.
A ⦉ come apertura deve seguire ⦊ come chiusura.
Non confonderlo con
1Idee di combinazione
1Una dichiarazione di tipo di schema: il componente x ha tipo X.
Come digitare ⦉
Windows (Word)
Alt+XDigita 2989, 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 «z notation left binding bracket».
Linux
Ctrl+Shift+UDigita 2989, poi premi Invio o Spazio.
HTML
⦉CSS
\2989Composizione tipografica Z
Un sistema tipografico per Z può definire `\lblot` per questa parentesi di apertura.
Codice Java
Nel codice Java, scrivi `\u2989` per rappresentare questo carattere.
Codici e codificaPunti di codice: 1
HTML decimale
⦉
HTML esadecimale
⦉
Contenuto CSS
content: "\2989";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%A6%89
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.