Que signifie ⦂
Il sépare le nom déclaré de l’expression de type. Z est un langage formel qui sert à décrire des systèmes informatiques. Dans une déclaration, le nom précède ⦂ et une expression d’ensemble le suit ; elle limite les valeurs possibles et détermine le type de la variable.
La notation Z est issue des travaux de Jean-Raymond Abrial à la fin des années 1970 et a été développée ensuite à Oxford. Les textes Z impriment souvent le signe ordinaire : pour ce rôle ; ⦂ est une forme Unicode dédiée.
Un caractère spécialisé des spécifications formelles en notation Z.
Ne pas le confondre avec
1Comment saisir ⦂
Windows (Word)
Alt+XSaisissez 2982, 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 type colon ».
Linux
Ctrl+Shift+USaisissez 2982, puis Entrée ou Espace.
HTML
⦂CSS
\2982Saisir le deux-points de type en notation Z
Utilisez une méthode de saisie Unicode hexadécimale pour U+2982 ; les touches varient selon l’appareil.
Le deux-points de type Z manque dans la police
Si ⦂ est absent ou remplacé par un carré, la police ne le prend peut-être pas en charge ; choisissez-en une compatible avec U+2982.
Codes et encodagePoints de code : 1
HTML décimal
⦂
HTML hexadécimal
⦂
Contenu CSS
content: "\2982";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%A6%82
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.