Hvad betyder ⦉
Den åbner en binding i Z-notation.
En binding knytter komponentnavne til værdier; skematyper angiver deres typer. I ⦉x:X⦊ er x en navngiven komponent med typen X, ikke en tildelt værdi.
En rapport om Z’s formelle semantik udkom i 1984. Z Base Standard blev trykt i 1992 og definerer bindingsudvidelser som koblinger mellem navne og udtryk. Årstalene placerer bindingsidéen historisk, men daterer ikke denne klammeform.
Specialiseret notation til formelle Z-specifikationer.
Den åbne ⦉ skal have en afsluttende ⦊.
Forveksl ikke med
1Kombinationsidéer
1En skematypeerklæring: komponenten x har typen X.
Sådan skriver du ⦉
Windows (Word)
Alt+XSkriv 2989, og tryk på Alt+X for at få ⦉.
Windows
Win+RKør charmap for hele tabellen, eller brug Ω-fanen i emojivælgeren (Win + .).
macOS
Control+Command+SpaceÅbn tegnfremviseren, og søg efter ”z notation left binding bracket”.
Linux
Ctrl+Shift+USkriv 2989, og tryk på Enter eller mellemrum.
HTML
⦉CSS
\2989Z-sats
Et sætningssystem til Z kan definere `\lblot` som kommando for denne åbningsklamme.
Java-kildekode
Skriv `\u2989` i Java-kildekode for at angive tegnet.
Koder og kodningKodepunkter: 1
HTML decimal
⦉
HTML hexadecimal
⦉
CSS-indhold
content: "\2989";
Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.
URL-kodet
%E2%A6%89
1
På skærmen
1
Kodepunkter
1
JS .length
3
UTF-8-byte
Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.