fsymbols
Symbole werden geladen…
››
⨠

Operator für Schema-Piping in der Z-Notation

Operator für Schema-Piping in der Z-Notation

33/256

⨠ ist der Schema-Piping-Operator der Z-Notation: Er verbindet Operationsbeschreibungen, indem er Variablen zwischen ihnen übergibt, und blendet die verbundenen Variablen aus. In reinem Z-Text schreibt man die Operation als S >> T.

Textsymbol

Was bedeutet ⨠

Er verbindet jeden passenden Ausgang mit einem Eingang.

Ein Z-Schema ist eine benannte mathematische Beschreibung eines Systemzustands oder einer Operation. In Z kennzeichnet ? einen Eingang und ! einen Ausgang.

Die Z-Notation entwickelte sich aus Arbeiten in den 1970er-Jahren, um Computersysteme zu spezifizieren; Piping ist eine Operation in ihrem Schema-Kalkül.

Ein Spezialoperator im Schema-Kalkül der Z-Notation.

Kein allgemeiner Pipe-Operator für Programmiersprachen.

Nicht verwechseln mit

1

⨠ eingeben oder finden

Suche nach
Z-Pipe · Z-Schema-Pipe · Schema-Piping · Pipe-Symbol Z-Notation · Schema-Piping in Z
Erscheint in
Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab
Windows (Word)
⎇Alt+XGib 2A20 ein und drücke AltX 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 piping“.
Linux
⎈Ctrl+⇧Shift+UGib 2a20 ein und drücke Enter oder die Leertaste.
HTML
⨠
CSS
\2A20
Schema-Piping in Z eingeben
Im reinen Z-Text schreibt man S >> T mit zwei gewöhnlichen Größer-als-Zeichen.
Codes und KodierungCodepunkte: 1
HTML dezimal
⨠
HTML hexadezimal
⨠
CSS-Inhalt
content: "\2A20";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%A8%A0
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