Apa arti ⦂
Karakter ini memisahkan nama yang dideklarasikan dari ekspresi tipenya. Z adalah bahasa formal untuk menjelaskan sistem komputer. Dalam deklarasi, nama berada sebelum ⦂ dan ekspresi himpunan sesudahnya; ekspresi itu membatasi nilai yang mungkin dan menentukan tipe variabel.
Notasi Z berawal dari karya Jean-Raymond Abrial pada akhir 1970-an dan dikembangkan lebih lanjut di Oxford. Teks Z sering memakai : biasa untuk deklarasi ini; ⦂ adalah bentuk Unicode khusus.
Karakter khusus untuk spesifikasi formal Z.
Jangan tertukar dengan
1
Yang serupa
10
Cara mengetik atau menemukan ⦂
- Cari sebagai
- notasi Z · titik dua tipe · titik dua Z · titik dua matematika
- Muncul di
- Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan
Windows (Word)
Windows
HTML
⦂CSS
\2982Cara mengetik titik dua tipe notasi Z
Gunakan metode masukan Unicode heksadesimal untuk U2982; tombol yang dipakai berbeda menurut perangkat.
Titik dua tipe notasi Z tidak ada di font
Jika ⦂ tidak muncul atau terlihat sebagai kotak, font mungkin tidak mendukungnya; pilih font yang mendukung U2982.
Kode dan pengodeanTitik kode: 1
HTML desimal
⦂
HTML heksadesimal
⦂
Konten CSS
content: "\2982";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%A6%82
1
Di layar
1
Titik kode
1
JS .length
3
Byte UTF-8
Satu simbol yang terlihat dapat berisi beberapa titik kode. JS .length menghitung unit UTF-16; UTF-8 menghitung byte.