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
1Zo typ je ⨾
⨾\2A3ECodes en coderingCodepunten: 1
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.
