⦂ ne anlama gelir
Tanımlanan adı tür ifadesinden ayırır. Z, bilgisayar sistemlerini açıklamak için kullanılan biçimsel bir dildir. Bir tanımda ad ⦂ işaretinden önce, küme ifadesi ise sonra gelir; bu ifade olası değerleri sınırlar ve değişkenin türünü belirler.
Z gösterimi, Jean-Raymond Abrial’ın 1970’lerin sonundaki çalışmalarından doğdu ve Oxford’da geliştirilmeyi sürdürdü. Z metinlerinde bu tanım için sıradan : sık görülür; ⦂ ise özel bir Unicode biçimidir.
Biçimsel Z belirtimleri için kullanılan uzmanlık işaretidir.
Şununla karıştırmayın
1
Benzerleri
10
⦂ nasıl yazılır veya bulunur
- Şu şekilde arayın
- Z gösterimi · tür iki noktası · Z iki noktası · matematiksel iki nokta
- Şurada görünür
- Metin alanları · görünümü kullanılan yazı tipine bağlıdır
Windows (Word)
Windows
HTML
⦂CSS
\2982Z gösterimi tür iki noktası nasıl yazılır
U2982 için onaltılık Unicode giriş yöntemi kullanın; tuşlar cihaza göre değişir.
Z gösterimi tür iki noktası yazı tipinde yok
⦂ görünmüyorsa veya kutu olarak görünüyorsa yazı tipi bunu desteklemiyor olabilir; U2982 desteği olan bir yazı tipi seçin.
Kodlar ve kodlamaKod noktaları: 1
HTML ondalık
⦂
HTML onaltılık
⦂
CSS içeriği
content: "\2982";
Her kaçış sonraki ters eğik çizgide biter; düz bir onaltılık rakamdan önce boşluk gerekir.
URL kodlaması
%E2%A6%82
1
Ekranda
1
Kod noktaları
1
JS .length
3
UTF-8 baytları
Görünür bir sembol birden fazla kod noktası içerebilir. JS .length UTF-16 birimlerini, UTF-8 ise baytları sayar.