fsymbols
🔍
Caricamento dei simboli…
››
⦁

Z Notation Spot

Z Notation Spot

⦁ separa una dichiarazione dall’espressione valutata nella notazione Z. Dopo ∃ si legge “tale che”; dopo ∀ introduce ciò che deve valere. È un carattere per specifiche formali, non un punto elenco decorativo.

Simbolo testuale
Cercalo come
z · punto · elenco · predicato · quantificatore · schema
Compare in
Qualsiasi campo di testo · la forma dipende dal carattere

Cosa significa ⦁

Separa le dichiarazioni dal predicato o dall’espressione successiva. In ∃ x : S ⦁ P, un certo x in S rende vera P. In ∀ x : S ⦁ P, ogni x in S deve soddisfare P.

Non confonderlo con

3
•
Punto elenco
Un normale punto elenco, senza grammatica Z.
∙
Operatore punto elenco
Un operatore matematico punto, non il separatore Z.
●
Cerchio nero
Un cerchio nero più grande con un’altra funzione.

Idee di combinazione

2
Esiste un x in S tale che P è vera.
Ogni x in S deve soddisfare P.

Come digitare ⦁

Windows (Word)
Alt+XDigita 2981, poi premi Alt+X per ottenere ⦁.
Windows
Win+REsegui charmap per la tabella completa o usa la scheda Ω del selettore emoji (Win + .).
macOS
Control+Command+SpaceApri il visore caratteri e cerca «z notation spot».
Linux
Ctrl+Shift+UDigita 2981, poi premi Invio o Spazio.
HTML
⦁
CSS
\2981
Codici e codificaPunti di codice: 1
HTML decimale
⦁
HTML esadecimale
⦁
Contenuto CSS
content: "\2981";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%A6%81
1
Sullo schermo
1
Punti di codice
1
JS .length
3
Byte UTF-8

Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.

Gruppi di questo simbolo

1

Matematica e numeri1835 simboli

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