Was bedeutet ⨡
Sie verbindet die Bedingungen beider Schemata, zeigt aber nur die Namen des zweiten. Ein Z-Schema bündelt benannte Variablen und Bedingungen; seine deklarierten Namen bilden seine Signatur.
Bei S ⨡ T müssen die Belegungen beide Schemata erfüllen, sichtbar bleiben aber nur die Namen von T. Beim Schema-Verbergen (S \ (x)) wird stattdessen eine zu verbergende Variable angegeben. Ein Oxford-Bericht von 1984 beschreibt Z als Sprache zur Spezifikation von Computersystemen. Der ISO-Standard definiert Projektion als Schema-Operator; je nach Schriftart sieht ⨡ anders aus oder fehlt.
So gibst du ⨡ ein
Windows (Word)
Alt+XGib 2A21 ein und drücke Alt+X für ⨡.
Windows
Win+RStarte charmap für die vollständige Tabelle oder nutze den Ω-Reiter der Emoji-Auswahl (Win + .).
macOS
Control+Command+SpaceÖffne die Zeichenübersicht und suche nach „z notation schema projection“.
Linux
Ctrl+Shift+UGib 2a21 ein und drücke Enter oder die Leertaste.
HTML
⨡CSS
\2A21Z-LaTeX
Das LaTeX-Markup von Community Z Tools verwendet `\project` für ⨡.
Codes und KodierungCodepunkte: 1
HTML dezimal
⨡
HTML hexadezimal
⨡
CSS-Inhalt
content: "\2A21";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%A8%A1
1
Auf dem Bildschirm
1
Codepunkte
1
JS .length
3
UTF-8-Bytes
Ein sichtbares Symbol kann mehrere Codepunkte enthalten. JS .length zählt UTF-16-Einheiten; UTF-8 zählt Bytes.