fsymbols
Cargando símbolos…
››
∣

Divide

Divide

36/256

∣ es el símbolo «divide»: 3 ∣ 12 dice que 3 divide exactamente a 12, porque 12 es múltiplo entero de 3. Afirma un hecho de sí o no en lugar de calcular algo, a diferencia de la barra de 12/3. En la notación de conjuntos, la misma barra vertical se lee «tal que».

Símbolo de texto

Qué significa ∣

El número de la izquierda divide al de la derecha sin resto.

Así, 3 ∣ 12 es verdadero y 5 ∣ 12 es falso. En teoría de números y demostraciones suele aparecer como a ∣ b, que se lee «a divide a b».

Entre llaves, como en {n ∣ n > 0}, la barra se lee «tal que»: el conjunto de todos los n tales que n es mayor que 0.

Se impuso a principios del siglo XX

Edmund Landau, teórico de números alemán, explicó la notación en su Handbuch de 1909, una obra de referencia sobre cómo se distribuyen los números primos; su uso se extendió en los años treinta. Sustituyó por un signo breve una relación que antes se escribía con palabras.

Teoría de números formal y redacción de demostraciones; en un chat corriente indica notación matemática especializada.

No es una división: 3 ∣ 12 es una afirmación de sí o no.

Forma parte de la colección

No lo confundas con

2

Cómo escribir o encontrar ∣

También llamado
mid · barra de divisibilidad
Búscalo como
divisibilidad · símbolo divide · a divide a b · tal que · barra vertical
Se puede usar en
Cualquier campo de texto · su forma depende de la fuente
Windows (Word)
⎇Alt+XEscribe 2223 y pulsa AltX para obtener ∣.
Windows
⊞Win+REjecuta charmap o abre la pestaña de símbolos Ω con Win .
macOS
⌃Control+⌘Command+␣SpaceAbre el visor de caracteres y busca el símbolo.
Linux
⎈Ctrl+⇧Shift+UDespués escribe 2223 y pulsa Enter o Espacio.
HTML
∣
CSS
\2223
LaTeX
Escribe a \mid b; una simple queda con el espaciado incorrecto.
LaTeX, negado
Escribe a \nmid b (requiere el paquete amssymb).
Windows (Word)
Escribe 2223 y pulsa AltX.
Linux (apps GTK)
Pulsa CtrlMayúsU, escribe 2223 y pulsa Intro.
Códigos y codificaciónPuntos de código: 1
HTML decimal
∣
HTML hexadecimal
∣
Contenido CSS
content: "\2223";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%88%A3
1
En pantalla
1
Puntos de código
1
JS .length
3
Bytes UTF-8

Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.

Grupos de este símbolo

1

Matemáticas y números1835 símbolos