Que signifie ⦉
Il ouvre une liaison dans la notation Z.
Une liaison associe des noms de composants à des valeurs ; les types de schéma déclarent leurs types. Dans ⦉x:X⦊, le composant nommé x est de type X : aucune valeur ne lui est attribuée.
Un rapport sur la sémantique formelle de Z a paru en 1984. Le standard Z Base, imprimé en 1992, définit les extensions de liaison comme des associations entre noms et expressions. Ces dates situent l’idée de liaison, pas l’origine de ce crochet.
Notation spécialisée des spécifications formelles en Z.
Le crochet ouvrant ⦉ doit être suivi du fermant ⦊.
Ne pas le confondre avec
1Idées de combinaisons
1Une déclaration de type de schéma : le composant x est de type X.
Comment saisir ⦉
Windows (Word)
Alt+XSaisissez 2989, puis Alt+X pour obtenir ⦉.
Windows
Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win + .).
macOS
Control+Command+SpaceOuvrez le visualiseur de caractères et cherchez « z notation left binding bracket ».
Linux
Ctrl+Shift+USaisissez 2989, puis Entrée ou Espace.
HTML
⦉CSS
\2989Composition Z
Un système de composition pour Z peut définir `\lblot` comme commande pour ce crochet ouvrant.
Code Java
En Java, écrivez `\u2989` pour représenter ce caractère.
Codes et encodagePoints de code : 1
HTML décimal
⦉
HTML hexadécimal
⦉
Contenu CSS
content: "\2989";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%A6%89
1
À l’écran
1
Points de code
1
JS .length
3
Octets UTF-8
Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.