Rechter bindingshaak in Z-notatie

Het sluit een Z-binding. Een binding brengt benoemde onderdelen met hun bijbehorende waarden of declaraties samen in één gestructureerd object.

Het bijbehorende openingsteken is ⦉; samen geven ze aan waar dat object in een formele uitdrukking begint en eindigt.

Wanneer ontwikkelde de Z-notatie zich?

In de jaren 70 en 80. De Z-notatie groeide uit de verzamelingenleer, de wiskunde van verzamelingen, en de predicatenlogica, die uitspraken over objecten bestudeert. Zo werd het een formele methode om software en andere discrete systemen te specificeren.