Hva betyr ⦉
Den innleder en beskrivelse av navngitte deler i Z-notasjon.
Med Z kan man spesifisere et system presist ved hjelp av matematikk. En binding ligner en liten datapost med navngitte felt: hvert navn viser til en verdi. En skjematype beskriver feltenes navn og typer. Typen angir hva slags verdi et felt kan inneholde.
I ⦉x:X⦊ har delen med navnet x typen X. Uttrykket beskriver en type og tilordner ikke x en bestemt verdi. De to klammene omslutter hele beskrivelsen.
Matematisk fagnotasjon for formelle beskrivelser av datasystemer.
En del av samlingene
Ikke forveksle med
1Slik skriver eller finner du ⦉
- Søk etter som
- Z-bindingsklamme · venstre bindingsklamme · lblot
- Vises i
- Alle tekstfelt · formen avhenger av skrifttypen
⦉\2989\lblot for denne åpningsklammen.Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.





