Wat betekent ⦉
Het opent een binding in de Z-notatie.
Een binding koppelt namen van onderdelen aan waarden; schematypen leggen hun typen vast. In ⦉x:X⦊ is x een benoemd onderdeel met type X, geen toegewezen waarde.
Een rapport over de formele semantiek van Z verscheen in 1984. De Z Base Standard werd in 1992 gedrukt en definieert bindingsuitbreidingen als koppelingen van namen aan expressies. Die jaartallen plaatsen het bindingsidee in de tijd, niet de oorsprong van deze haak.
Specialistische notatie voor formele Z-specificaties.
Na de opening ⦉ is de sluitende ⦊ nodig.
Niet verwarren met
1Combinatie-ideeën
1Een schematypedeclaratie: onderdeel x heeft type X.
Zo typ je ⦉
Windows (Word)
Alt+XTyp 2989 en druk op Alt+X voor ⦉.
Windows
Win+RStart charmap voor de volledige tabel of gebruik het Ω-tabblad van de emojikiezer (Win + .).
macOS
Control+Command+SpaceOpen de tekenweergave en zoek naar “z notation left binding bracket”.
Linux
Ctrl+Shift+UTyp 2989 en druk op Enter of Spatie.
HTML
⦉CSS
\2989Z-zetwerk
Een zetomgeving voor Z kan `\lblot` definiëren als opdracht voor deze openingshaak.
Java-broncode
Schrijf in Java-broncode `\u2989` om dit teken weer te geven.
Codes en coderingCodepunten: 1
HTML decimaal
⦉
HTML hexadecimaal
⦉
CSS-inhoud
content: "\2989";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%A6%89
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes
Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.