Was bedeutet ⦉
Es öffnet eine Bindung in der Z-Notation.
Eine Bindung ordnet Komponentennamen Werten zu; Schematypen legen ihre Typen fest. In ⦉x:X⦊ hat die benannte Komponente x den Typ X; ihr wird kein Wert zugewiesen.
Ein Bericht zur formalen Semantik von Z erschien 1984. Der Z Base Standard wurde 1992 gedruckt und definiert Bindungserweiterungen als Zuordnungen von Namen zu Ausdrücken. Diese Jahreszahlen verorten das Bindungskonzept, nicht den Ursprung dieser Klammerform.
Spezialnotation für formale Z-Spezifikationen.
Auf ⦉ als Öffner muss das schließende ⦊ folgen.
Nicht verwechseln mit
1
Verwandte Zeichen
1
Kombinationsideen
1Eine Schematypdeklaration: Die Komponente x hat den Typ X.
Mehr davon
8
⦉ eingeben oder finden
- Suche nach
- Z-Bindung · Bindungsklammer · lblot
- 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 .).
macOS
HTML
⦉CSS
\2989Z-Satz
Ein Z-Satzsystem kann
\lblot als Befehl für diese öffnende Klammer definieren.Java-Quelltext
Schreibe im Java-Quelltext
\u2989, um dieses Zeichen einzugeben.Codes und KodierungCodepunkte: 1
HTML dezimal
⦉
HTML hexadezimal
⦉
CSS-Inhalt
content: "\2989";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%A6%89
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.