Vad betyder ⦇
Det inleder ett uttryck för relationsbild i Z-notation.
Z är ett matematiskt språk för att beskriva programvara och andra diskreta system exakt. I R⦇S⦈ kopplar relationen R samman värden och S är en mängd; uttrycket anger de värden som kopplas till minst ett element i S.
Jean-Raymond Abrials arbete med Z började i slutet av 1970-talet. Forskare i Oxford utvecklade notationen, som användes i industriprojekt under 1980-talet; senare kom den med i undervisning om formella metoder.
Mycket tekniskt: det signalerar en Z-specifikation eller relationsnotation i Z-stil.
Avsluta med ⦈, inte med en vanlig parentes.
Kombinationsidéer
1Så skriver du ⦇
⦇\2987Koder och kodningKodpunkter: 1
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.
