Co oznacza ⧹
Ukrywa wybrane zmienne, nie usuwając ich ograniczeń. Notacja Z to formalny sposób opisywania oprogramowania. Schemat jest nazwanym zbiorem zmiennych i warunków. Po ukryciu wybrane nazwy przestają być widoczne, ale specyfikacja nadal wymaga wartości spełniających te warunki.
Standard Z Base opisywał to zastosowanie już w 1992 roku.
Nie myl z
2∖\
Symbol różnicy zbiorów
Unicode łączy ∖ z różnicą zbiorów, czyli usuwaniem elementów jednego zbioru z drugiego. W notacji Z znak ⧹ służy konkretnie do ukrywania nazw w schemacie.
Ukośnik wsteczny
Zwykły ukośnik wsteczny to znak z klawiatury używany w ścieżkach plików i programowaniu. Ten symbol matematyczny ma odrębne zastosowanie w notacji Z.
Jak wpisać ⧹
Windows (Word)
Alt+XWpisz 29F9, 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 „big reverse solidus”.
Linux
Ctrl+Shift+UWpisz 29f9, a następnie naciśnij Enter lub Spację.
HTML
⧹CSS
\29F9LaTeX
Pakiet `unicode-math` przypisuje `\xbsol` do ⧹.
Kody i kodowaniePunkty kodowe: 1
HTML dziesiętnie
⧹
HTML szesnastkowo
⧹
Treść CSS
content: "\29F9";
Sekwencja ucieczki kończy się przy następnym ukośniku odwrotnym; przed dosłowną cyfrą szesnastkową potrzebna jest spacja.
Kodowanie URL
%E2%A7%B9
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.