fsymbols
Laddar symboler…
››
⨾

Relationell komposition i Z-notation

Relationell komposition i Z-notation

⨾ kopplar ihop två relationer i följd, så att ett resultat från den första kan bli indata till den andra. I Z-notation, som används för precisa programspecifikationer, kan tecknet också koppla ihop operationer via ett mellantillstånd. Semikolonkonventionen för relationskomposition kan spåras till 1895; Z standardiserades internationellt 2002.

Textsymbol
Kallas också
tjockt semikolon
Sök efter
Z-notation · relationell komposition · sekventiell komposition · schemakomposition · Z-specifikation
Finns i
Alla textfält · formen beror på teckensnittet

Vad betyder ⨾

Det komponerar två relationer via ett gemensamt mellanvärde. I Z-notation innebär relationell komposition att resultatet från den första relationen kan bli indata till den andra. Tecknet kan också koppla ihop operationer, som i Check ⨾ Reserve: den första måste lämna ett tillstånd som nästa kan använda.

Semikolonkonventionen för relationskomposition är äldre än Z; källor spårar den till Ernst Schröders lärobok från 1895. Z tog in kompositionen i precisa programspecifikationer, och den internationella standarden publicerades 2002.

Specialiserad matematisk notation för Z-specifikationer, där operandernas typer och ordning avgör kompositionen.

Blanda inte ihop med

1

Så skriver du ⨾

Windows (Word)
Alt+XSkriv 2A3E och tryck på Alt+X för ⨾.
Windows
Win+RKör charmap för hela tabellen eller använd Ω-fliken i emojiväljaren (Win + .).
macOS
Control+Command+SpaceÖppna teckenvisaren och sök efter ”z notation relational composition”.
Linux
Ctrl+Shift+USkriv 2a3e och tryck på Enter eller blanksteg.
HTML
⨾
CSS
\2A3E
Koder och kodningKodpunkter: 1
HTML decimalt
⨾
HTML hexadecimalt
⨾
CSS-innehåll
content: "\2A3E";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%A8%BE
1
På skärmen
1
Kodpunkter
1
JS .length
3
UTF-8-byte

En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.

Symbolens grupper

1

Matematik och tal1 835 symboler