Vad betyder ⦂
Det skiljer ett deklarerat namn från dess typuttryck. Z är ett formellt språk för att beskriva datorsystem. I en deklaration står namnet före ⦂ och ett mängduttryck efter; uttrycket begränsar möjliga värden och bestämmer variabelns typ.
Z utvecklades ur Jean-Raymond Abrials arbete under senare delen av 1970-talet och vidareutvecklades i Oxford. Z-texter använder ofta det vanliga : i den här deklarationen; ⦂ är en särskild Unicode-form.
Ett specialtecken för formella Z-specifikationer.
Blanda inte ihop med
1
Fler liknande
10
Så skriver eller hittar du ⦂
- Sök efter
- Z-notation · typkolon · Z-kolon · matematiskt kolon
- Finns i
- Alla textfält · formen beror på teckensnittet
Windows (Word)
Windows
HTML
⦂CSS
\2982Så skriver du typkolonet i Z-notation
Använd en hexadecimal Unicode-inmatningsmetod för U2982; tangenttryckningarna beror på enheten.
Typkolonet i Z-notation saknas i teckensnittet
Om ⦂ saknas eller visas som en ruta kanske teckensnittet inte stöder det; välj ett med stöd för U2982.
Koder och kodningKodpunkter: 1
HTML decimalt
⦂
HTML hexadecimalt
⦂
CSS-innehåll
content: "\2982";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%A6%82
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.