fsymbols
Symbolen laden…
››
⨾

Relationele compositie in Z-notatie

Relationele compositie in Z-notatie

⨾ verbindt twee relaties op volgorde, zodat het resultaat van de eerste als invoer voor de tweede kan dienen. In de Z-notatie, die wordt gebruikt voor nauwkeurige softwarespecificaties, kan het ook bewerkingen via een tussenliggende toestand verbinden. De puntkommanotatie voor relationele compositie gaat terug tot 1895; Z werd in 2002 internationaal gestandaardiseerd.

Tekensymbool
Ook genoemd
dikgedrukte puntkomma
Zoek als
Z-notatie · relationele compositie · sequentiële compositie · schemacompositie · Z-specificatie
Komt voor in
Elk tekstveld · de vorm hangt af van je lettertype

Wat betekent ⨾

Het componeert twee relaties via een gedeelde tussenwaarde. In de Z-notatie kan het resultaat van de eerste relatie de invoer van de tweede worden. Het teken kan ook bewerkingen aan elkaar koppelen, zoals in Check ⨾ Reserve: de eerste moet een toestand opleveren die de volgende kan gebruiken.

De puntkommanotatie voor relationele compositie is ouder dan Z; bronnen voeren haar terug op het leerboek van Ernst Schröder uit 1895. Z nam deze compositie over voor nauwkeurige softwarespecificaties; de internationale norm werd in 2002 gepubliceerd.

Gespecialiseerde wiskundige notatie voor Z-specificaties, waarbij het type en de volgorde van de operanden de compositie bepalen.

Niet verwarren met

1

Zo typ je ⨾

Windows (Word)
Alt+XTyp 2A3E en druk op Alt+X voor ⨾.
Windows
Win+RStart charmap voor de volledige tabel of gebruik het Ω-tabblad van de emojikiezer (Win + .).
macOS
Control+Command+SpaceOpen de tekenweergave en zoek naar “z notation relational composition”.
Linux
Ctrl+Shift+UTyp 2a3e en druk op Enter of Spatie.
HTML
⨾
CSS
\2A3E
Codes en coderingCodepunten: 1
HTML decimaal
⨾
HTML hexadecimaal
⨾
CSS-inhoud
content: "\2A3E";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%A8%BE
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes

Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.

Groepen van dit symbool

1

Wiskunde en getallen1.835 symbolen