Co oznacza ⨾
Łączy dwie relacje za pośrednictwem wspólnej wartości pośredniej. W notacji Z kompozycja relacji pozwala, by wynik pierwszej relacji stał się wejściem drugiej. Znak może też łączyć operacje, jak w Check ⨾ Reserve: pierwsza musi pozostawić stan, z którego może skorzystać następna.
Konwencja używania średnika do kompozycji relacji jest starsza niż notacja Z; źródła łączą ją z podręcznikiem Ernsta Schrödera z 1895 roku. Z wykorzystała tę kompozycję do precyzyjnego opisu oprogramowania, a jej międzynarodową normę opublikowano w 2002 roku.
Specjalistyczny zapis matematyczny używany w specyfikacjach Z; o kompozycji decydują typ i kolejność operandów.
Nie myl z
1Jak wpisać ⨾
⨾\2A3EKody i kodowaniePunkty kodowe: 1
Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.
