Hva betyr ⦂
Det skiller et deklarert navn fra typeuttrykket. Z er et formelt språk for å beskrive datasystemer. I en deklarasjon står navnet før ⦂ og et mengdeuttrykk etter; uttrykket begrenser mulige verdier og bestemmer variabelens type.
Z vokste fram fra Jean-Raymond Abrials arbeid mot slutten av 1970-årene og ble videreutviklet i Oxford. Z-tekster bruker ofte vanlig : i denne deklarasjonen; ⦂ er en egen Unicode-form.
Et spesialtegn for formelle Z-spesifikasjoner.
Ikke forveksle med
1
Flere som dette
10
Slik skriver eller finner du ⦂
- Søk etter som
- Z-notasjon · typekolon · Z-kolon · matematisk kolon
- Vises i
- Alle tekstfelt · formen avhenger av skrifttypen
Windows (Word)
Windows
HTML
⦂CSS
\2982Slik skriver du typekolonet i Z-notasjon
Bruk en heksadesimal Unicode-inndatametode for U2982; tastene avhenger av enheten.
Typekolonet i Z-notasjon mangler i skrifttypen
Hvis ⦂ mangler eller vises som en firkant, støtter skrifttypen det kanskje ikke; velg en med støtte for U2982.
Koder og kodingKodepunkter: 1
HTML desimal
⦂
HTML heksadesimal
⦂
CSS-innhold
content: "\2982";
Hver escape-sekvens slutter ved neste omvendte skråstrek; et mellomrom trengs før et bokstavelig heksadesimalt siffer.
URL-kodet
%E2%A6%82
1
På skjermen
1
Kodepunkter
1
JS .length
3
UTF-8-byte
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.