Vad betyder ⦉
Den inleder en beskrivning av namngivna delar i Z-notation.
Med Z kan man beskriva ett system exakt med hjälp av matematik. En bindning liknar en liten datapost med namngivna fält: varje namn pekar ut ett värde. En schematyp beskriver fältens namn och typer. Typen anger vilken sorts värde ett fält kan innehålla.
I ⦉x:X⦊ har delen med namnet x typen X. Uttrycket beskriver en typ och tilldelar inte x något bestämt värde. De två parenteserna omsluter hela beskrivningen.
Matematisk facknotation för formella beskrivningar av datorsystem.
Ingår i samlingarna
Blanda inte ihop med
1Så skriver eller hittar du ⦉
- Sök efter
- Z-bindningsparentes · vänster bindningsparentes · lblot
- Finns i
- Alla textfält · formen beror på teckensnittet
⦉\2989\lblot för den här öppningsparentesen.Koder och kodningKodpunkter: 1
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.





