⦉ ne anlama gelir
Z gösteriminde bir bağlamayı açar.
Bağlama, bileşen adlarını değerlerle eşleştirir; şema türleri de bileşenlerin türlerini bildirir. ⦉x:X⦊ içinde x, türü X olarak belirtilen bir bileşendir; ona bir değer atanmaz.
Z’nin biçimsel anlam bilimi üzerine bir rapor 1984’te yayımlandı. Z Base Standard 1992’de basıldı ve bağlama uzantılarını adların ifadelerle eşleştirilmesi olarak tanımlar. Bu yıllar bağlama fikrinin geçmişini gösterir, bu ayraç biçiminin kökenini değil.
Biçimsel Z belirtimleri için uzmanlık gösterimi.
Açılış ⦉ işaretinin kapanışı ⦊ olmalıdır.
Şununla karıştırmayın
1Birleşim fikirleri
1Bir şema türü bildirimi: x bileşeninin türü X’tir.
⦉ nasıl yazılır
Windows (Word)
Alt+X2989 yazın, ardından ⦉ için Alt+X tuşlarına basın.
Windows
Win+RTam tablo için charmap çalıştırın veya emoji seçicinin Ω sekmesini kullanın (Win + .).
macOS
Control+Command+SpaceKarakter görüntüleyiciyi açın ve “z notation left binding bracket” arayın.
Linux
Ctrl+Shift+U2989 yazın, ardından Enter veya Boşluk tuşuna basın.
HTML
⦉CSS
\2989Z dizgisi
Bir Z dizgi ortamı, bu açılış ayracı için `\lblot` komutunu tanımlayabilir.
Java kaynak kodu
Java kaynak kodunda bu karakter için `\u2989` yazın.
Kodlar ve kodlamaKod noktaları: 1
HTML ondalık
⦉
HTML onaltılık
⦉
CSS içeriği
content: "\2989";
Her kaçış sonraki ters eğik çizgide biter; düz bir onaltılık rakamdan önce boşluk gerekir.
URL kodlaması
%E2%A6%89
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.