fsymbols
Caricamento dei simboli…
››
∣

Divide

Divide

∣ è il simbolo «divide»: 3 ∣ 12 dice che 3 divide esattamente 12, perché 12 è un multiplo intero di 3. Afferma un fatto vero o falso invece di calcolare qualcosa, a differenza della barra in 12/3. Nella notazione insiemistica la stessa barra verticale si legge «tale che».

Simbolo testuale
Chiamato anche
mid · barra di divisibilità
Cercalo come
divisibilità · simbolo divide · a divide b · tale che · barra verticale
Compare in
Qualsiasi campo di testo · la forma dipende dal carattere

Cosa significa ∣

Il numero a sinistra divide quello a destra senza resto.

Quindi 3 ∣ 12 è vero e 5 ∣ 12 è falso. In teoria dei numeri e nelle dimostrazioni compare di solito come a ∣ b, letto «a divide b».

Tra parentesi graffe, come in {n ∣ n > 0}, la barra si legge «tale che»: l'insieme di tutti gli n tali che n è maggiore di 0.

Si è affermato all'inizio del Novecento

Edmund Landau, teorico dei numeri tedesco, spiegò la notazione nel suo Handbuch del 1909, opera di riferimento sulla distribuzione dei numeri primi; l'uso si diffuse negli anni Trenta. Sostituì con un segno breve una relazione prima scritta a parole.

Teoria dei numeri formale e dimostrazioni; in una chat qualunque segnala notazione matematica specialistica.

Non è una divisione: 3 ∣ 12 è un'affermazione vera o falsa.

Non confonderlo con

2

Come digitare ∣

Windows (Word)
Alt+XDigita 2223, 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 «divides».
Linux
Ctrl+Shift+UDigita 2223, poi premi Invio o Spazio.
HTML
∣
CSS
\2223
LaTeX
Scrivi `a \mid b`; una | semplice ha la spaziatura sbagliata.
LaTeX, negato
Scrivi `a \nmid b` (richiede il pacchetto amssymb).
Windows (Word)
Digita 2223, poi premi Alt+X.
Linux (app GTK)
Premi Ctrl+Maiusc+U, digita 2223, premi Invio.
Codici e codificaPunti di codice: 1
HTML decimale
∣
HTML esadecimale
∣
Contenuto CSS
content: "\2223";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%88%A3
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