Wat betekent ⦂
Het scheidt een gedeclareerde naam van de type-uitdrukking. Z is een formele taal om computersystemen te beschrijven. In een declaratie staat de naam vóór ⦂ en daarna een verzamelingsuitdrukking; die beperkt de mogelijke waarden en bepaalt het type van de variabele.
Z ontstond uit het werk van Jean-Raymond Abrial in de late jaren 1970 en werd verder ontwikkeld in Oxford. Z-teksten gebruiken voor deze declaratie vaak de gewone :; ⦂ is een aparte Unicode-vorm.
Een specialistisch teken voor formele Z-specificaties.
Niet verwarren met
1Zo typ je ⦂
Windows (Word)
Alt+XTyp 2982 en druk op Alt+X voor ⦂.
Windows
Win+RStart charmap voor de volledige tabel of gebruik het Ω-tabblad van de emojikiezer (Win + .).
macOS
Control+Command+SpaceOpen de tekenweergave en zoek naar “z notation type colon”.
Linux
Ctrl+Shift+UTyp 2982 en druk op Enter of Spatie.
HTML
⦂CSS
\2982De dubbele punt voor Z-typen invoeren
Gebruik een hexadecimale Unicode-invoermethode voor U+2982; de toetsaanslagen verschillen per apparaat.
De dubbele punt voor Z-typen ontbreekt in het lettertype
Als ⦂ ontbreekt of als een blokje verschijnt, ondersteunt het lettertype het mogelijk niet; kies een lettertype met U+2982-ondersteuning.
Codes en coderingCodepunten: 1
HTML decimaal
⦂
HTML hexadecimaal
⦂
CSS-inhoud
content: "\2982";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%A6%82
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.