Cómo escribir Para todo
Para escribir Para todo (∀), pulse Alt + 8704 en Windows, manteniendo Alt mientras teclea las cifras en el teclado numérico, o escriba ∀ en HTML. En cualquier sistema puede copiarlo de esta página o introducir directamente su punto de código U+2200: Ctrl+Mayús+U y luego 2200 en Linux, o 2200 y luego Alt+X en Microsoft Word.
For All (nombre Unicode, en inglés)
- Cópielo
- Unicode
- U+2200
- Windows
- Alt + 8704 requiere regedit
| Dónde | Atajo | Cómo |
|---|---|---|
| Windows | Alt + 8704 | Pasa de 255, así que Windows no lo aceptará tal cual. Copie el carácter en su lugar. |
| Mac | N/A | Pulse las teclas a la vez. |
| HTML | ∀ | Pegue esto en el código fuente HTML. |
| Unicode | U+2200 | FOR ALL |
Otros símbolos de matemáticas
∀ vive en el bloque Mathematical Operators (U+2200-U+22FF), el conjunto básico de operadores matemáticos y lógicos. Dentro de Unicode está clasificado como Sm, un símbolo matemático. Puede que un programa lo componga con el espaciado que espera un operador.
Cómo escribir ∀ en Microsoft Word
En Microsoft Word, teclee 2200 y pulse Alt + X. Word lee los cuatro caracteres anteriores al cursor como un punto de código hexadecimal y los sustituye, y volver a pulsar Alt + X devuelve ∀ a 2200, que es la manera más rápida de comprobar qué carácter es realmente.
Para qué se usa Para todo
En notación matemática ∀ es un símbolo ordinario: no lleva ningún espaciado especial y se sitúa en una expresión como lo hace una letra, representando una cosa en vez de hacerle algo a las que tiene alrededor. Esa es la clasificación que le da unicode-math, y es la que decide cómo se compone el símbolo: $\forall$ en LaTeX, en modo matemático y no dentro de una frase.
Unicode publica una segunda lista de nombres para ∀ en CLDR, las palabras clave que ofrecen sus propios datos de búsqueda en lugar del nombre formal, y son cualquiera y universal. Esas palabras son lo que probablemente teclee quien busca este carácter cuando Para todo no es el nombre por el que lo conoce, y la búsqueda de las listas de símbolos las reconoce igual que al nombre de Unicode.
Lo que Unicode dice de Para todo
El estándar reconoce ∀ también con otro nombre: universal quantifier. Es un alias formal y no un apodo, y por eso aparece en la documentación de otra gente para ese mismo punto de código.
Cómo se comporta Para todo en los programas
∀ es de ancho ambiguo en Asia Oriental: una columna en una configuración regional occidental y dos en una CJK. Por eso una tabla que queda alineada en su máquina puede romperse en la de otro, sin que el texto haya cambiado en nada. No lleva dirección propia, así que en una línea que mezcla español con árabe o hebreo toma la dirección del texto que lo rodea en vez de imponer una.
Todas las formas de escribir Para todo
| Forma | Valor |
|---|---|
| Punto de código | U+2200 |
| Decimal | 8704 |
| Bytes UTF-8 | E2 88 80 |
| Bytes UTF-16 | 22 00 |
| Entidad HTML | ∀ |
| HTML numérico | ∀ o ∀ |
| CSS | \2200 |
| JavaScript | \u2200 |
| Python | \u2200 |
| Codificado para URL | %E2%88%80 |
| LaTeX, in maths mode | $\forall$ |
| SVG | 2200.svg · (SIL Open Font License) |
Si ∀ le llega como ∀
Un carácter se ha vuelto tres, que es el aspecto que tiene una secuencia UTF-8 de tres bytes cuando cada byte se lee por separado: E2 88 80 leído como Windows-1252 da exactamente ∀. El texto está intacto y el daño está en la lectura, así que poner el extremo que lee en UTF-8 lo restituye y volver a teclear no. Un rectángulo en lugar del galimatías significa lo contrario: la codificación es correcta y la fuente no tiene glifo en U+2200, cosa corriente en las fuentes ofimáticas antiguas para un carácter tan alejado de Latin-1.