🔍

Chargement des symboles…

››

⦁

Z Notation Spot

Z Notation Spot

⦁ sépare une déclaration de l’expression évaluée en notation Z. Après ∃, lis-le « tel que » ; après ∀, il introduit ce qui doit être vrai. C’est un caractère de spécification formelle, pas une puce décorative.

Symbole textuel

Recherchez-le comme: z · point · puce · prédicat · quantificateur · schéma
Apparaît dans: Tout champ acceptant du texte · sa forme dépend de la police

Que signifie ⦁

Il sépare les déclarations du prédicat ou de l’expression suivante. Dans ∃ x : S ⦁ P, un x de S rend P vrai. Dans ∀ x : S ⦁ P, chaque x de S doit satisfaire P.

Ne pas le confondre avec

3

Une puce de liste ordinaire, sans grammaire Z.

Opérateur puce

Un opérateur point mathématique, pas le séparateur Z.

Un cercle noir plus grand ayant un autre rôle.

Idées de combinaisons

2

Il existe un x dans S tel que P est vrai.

Tout x dans S doit satisfaire P.

Comment saisir ⦁

Windows (Word)

Alt+XSaisissez 2981, 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 spot ».

Linux

Ctrl+Shift+USaisissez 2981, puis Entrée ou Espace.

HTML

⦁

CSS

\2981

Codes et encodagePoints de code : 1

HTML décimal

⦁

HTML hexadécimal

⦁

Contenu CSS

content: "\2981";

Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.

Encodage URL

%E2%A6%81

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️⃣