Hvad betyder ⦇
Det åbner et udtryk for relationsbilledet i Z-notation.
Z er et matematisk sprog til præcist at beskrive software og andre diskrete systemer. I R⦇S⦈ forbinder relationen R værdier, og S er en mængde; udtrykket angiver de værdier, der forbindes med mindst ét element i S.
Jean-Raymond Abrials arbejde med Z begyndte i slutningen af 1970’erne. Forskere i Oxford udviklede notationen, og den blev brugt i industriprojekter i 1980’erne; senere kom den med i undervisning i formelle metoder.
Meget teknisk: det peger på en Z-specifikation eller relationsnotation i Z-stil.
Luk med ⦈, ikke en almindelig parentes.
Kombinationsidéer
1Sådan skriver du ⦇
⦇\2987Koder og kodningKodepunkter: 1
Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.
