fsymbols
🔍
Chargement des symboles…
››
⨾

Composition relationnelle en notation Z

Composition relationnelle en notation Z

⨾ enchaîne deux relations : le résultat de la première peut servir d’entrée à la seconde. Dans la notation Z, qui sert à décrire précisément des spécifications logicielles, il peut aussi relier des opérations par un état intermédiaire. La convention du point-virgule pour composer des relations remonte à 1895 ; Z a été normalisé à l’échelle internationale en 2002.

Symbole textuel
Aussi appelé
point-virgule épais
Recherchez-le comme
notation Z · composition relationnelle · composition séquentielle · composition de schémas · spécification Z
Apparaît dans
Tout champ acceptant du texte · sa forme dépend de la police

Que signifie ⨾

Il compose deux relations par l’intermédiaire d’une valeur commune. En notation Z, la composition relationnelle permet au résultat de la première relation de devenir une entrée de la seconde. Le signe peut aussi enchaîner des opérations, comme dans Check ⨾ Reserve : la première doit laisser un état que la suivante peut utiliser.

La convention du point-virgule pour la composition relationnelle est antérieure à Z ; des références la font remonter au manuel d’Ernst Schröder paru en 1895. Z a repris cette composition pour décrire précisément des logiciels, et sa norme internationale a été publiée en 2002.

Notation mathématique spécialisée pour les spécifications Z, où le type et l’ordre des opérandes déterminent la composition.

Ne pas le confondre avec

1
⨟
Composition de schémas en Z
⨟ compose des schémas Z — des descriptions structurées d’opérations — tandis que ⨾ compose des relations. Les éléments combinés diffèrent, même si les deux signes expriment une composition.

Comment saisir ⨾

Windows (Word)
Alt+XSaisissez 2A3E, 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 relational composition ».
Linux
Ctrl+Shift+USaisissez 2a3e, puis Entrée ou Espace.
HTML
⨾
CSS
\2A3E
Codes et encodagePoints de code : 1
HTML décimal
⨾
HTML hexadécimal
⨾
Contenu CSS
content: "\2A3E";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%A8%BE
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.

Groupes de ce symbole

1

Mathématiques et nombres1 835 symboles

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣