fsymbols
🔍
Symbole werden geladen…
››
⨾

Relationale Komposition in der Z-Notation

Relationale Komposition in der Z-Notation

⨾ verknüpft zwei Relationen der Reihe nach, sodass ein Ergebnis der ersten als Eingabe für die zweite dienen kann. In der Z-Notation, einer Notation für präzise Softwarespezifikationen, kann es auch Operationen über einen Zwischenzustand verbinden. Die Semikolon-Konvention für relationale Komposition wird auf 1895 zurückgeführt; Z wurde 2002 international standardisiert.

Textsymbol
Auch genannt
fettes Semikolon
Suche nach
Z-Notation · relationale Komposition · sequentielle Komposition · Schema-Komposition · Z-Spezifikation
Erscheint in
Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab

Was bedeutet ⨾

Es komponiert zwei Relationen über einen gemeinsamen Zwischenwert. In der Z-Notation bedeutet relationale Komposition, dass ein Ergebnis der ersten Relation zur Eingabe der zweiten werden kann. Das Zeichen kann auch Operationen verknüpfen, wie in Check ⨾ Reserve: Die erste muss einen Zustand liefern, den die nächste verwenden kann.

Die Semikolon-Konvention für relationale Komposition ist älter als Z; Quellen führen sie auf das Lehrbuch von Ernst Schröder aus dem Jahr 1895 zurück. Z übernahm die Komposition für präzise Softwarespezifikationen; die internationale Norm wurde 2002 veröffentlicht.

Spezialisierte mathematische Notation für Z-Spezifikationen, bei der Typ und Reihenfolge der Operanden die Komposition bestimmen.

Nicht verwechseln mit

1
⨟
Z-Schema-Komposition
⨟ komponiert Z-Schemata, also strukturierte Beschreibungen von Operationen; ⨾ komponiert Relationen. Die Operanden sind verschieden, auch wenn beide Zeichen Komposition ausdrücken.

So gibst du ⨾ ein

Windows (Word)
Alt+XGib 2A3E 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 relational composition“.
Linux
Ctrl+Shift+UGib 2a3e ein und drücke Enter oder die Leertaste.
HTML
⨾
CSS
\2A3E
Codes und KodierungCodepunkte: 1
HTML dezimal
⨾
HTML hexadezimal
⨾
CSS-Inhalt
content: "\2A3E";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%A8%BE
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.

Gruppen dieses Symbols

1

Mathematik und Zahlen1.835 Symbole

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣