Co oznacza ⦂
Oddziela zadeklarowaną nazwę od wyrażenia typu. Z to język formalny służący do opisu systemów komputerowych. W deklaracji przed ⦂ znajduje się nazwa, a po nim wyrażenie zbioru; ogranicza ono możliwe wartości i określa typ zmiennej.
Notacja Z wywodzi się z prac Jean-Raymonda Abriala z końca lat 70. XX wieku i była dalej rozwijana w Oksfordzie. W tekstach Z często używa się w tej deklaracji zwykłego :; ⦂ to osobny znak Unicode.
Specjalistyczny znak używany w formalnych specyfikacjach Z.
Nie myl z
1Jak wpisać ⦂
Windows (Word)
Alt+XWpisz 2982, a następnie naciśnij Alt+X, aby uzyskać ⦂.
Windows
Win+RUruchom charmap, aby zobaczyć pełną tabelę, lub użyj karty Ω panelu emoji (Win + .).
macOS
Control+Command+SpaceOtwórz podgląd znaków i wyszukaj „z notation type colon”.
Linux
Ctrl+Shift+UWpisz 2982, a następnie naciśnij Enter lub Spację.
HTML
⦂CSS
\2982Jak wpisać dwukropek typu w notacji Z
Użyj szesnastkowej metody wprowadzania znaków Unicode dla U+2982; skróty klawiszowe zależą od urządzenia.
Dwukropek typu Z nie wyświetla się w czcionce
Jeśli ⦂ nie wyświetla się lub pojawia się jako kwadrat, czcionka może go nie obsługiwać; wybierz taką z obsługą U+2982.
Kody i kodowaniePunkty kodowe: 1
HTML dziesiętnie
⦂
HTML szesnastkowo
⦂
Treść CSS
content: "\2982";
Sekwencja ucieczki kończy się przy następnym ukośniku odwrotnym; przed dosłowną cyfrą szesnastkową potrzebna jest spacja.
Kodowanie URL
%E2%A6%82
1
Na ekranie
1
Punkty kodowe
1
JS .length
3
Bajty UTF-8
Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.