Was bedeutet ⦂
Er trennt in einer Deklaration den Namen vom Typausdruck. Z ist eine formale Sprache zur Beschreibung von Computersystemen. In einer Deklaration steht der Name vor ⦂ und danach ein Mengenausdruck; dieser schränkt mögliche Werte ein und bestimmt den Typ der Variablen.
Die Z-Notation ging aus der Arbeit von Jean-Raymond Abrial in den späten 1970er-Jahren hervor und wurde in Oxford weiterentwickelt. In Z-Texten steht für diese Deklaration häufig der gewöhnliche Doppelpunkt :; ⦂ ist eine eigene Unicode-Form.
Ein Fachzeichen für formale Z-Spezifikationen.
Nicht verwechseln mit
1
Mehr davon
10
⦂ eingeben oder finden
- Suche nach
- Z-Notation · Typ-Doppelpunkt · Z-Doppelpunkt · mathematischer Doppelpunkt
- Erscheint in
- Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab
Windows (Word)
Windows
⊞Win+RStarte charmap für die vollständige Tabelle oder nutze den Ω-Reiter der Emoji-Auswahl (Win .).
HTML
⦂CSS
\2982Z-Notation-Typ-Doppelpunkt eingeben
Verwende eine hexadezimale Unicode-Eingabe für U2982; die Tastenfolge hängt vom Gerät ab.
Typ-Doppelpunkt der Z-Notation fehlt in der Schrift
Fehlt ⦂ oder erscheint es als Kästchen, unterstützt die Schrift es möglicherweise nicht; wähle eine mit U2982-Unterstützung.
Codes und KodierungCodepunkte: 1
HTML dezimal
⦂
HTML hexadezimal
⦂
CSS-Inhalt
content: "\2982";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%A6%82
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.