Tablas de símbolos (amssymb / listas)

Las herramientas para encontrar símbolos de LaTeX existen porque las listas de símbolos se volvieron demasiado largas para recorrerlas. Detexify, el reconocedor en el que se dibuja el signo, lo dice en su propia presentación: buscar en symbols-a4.pdf un símbolo que no consigues memorizar consume demasiado tiempo. Ese symbols-a4.pdf es The Comprehensive LaTeX Symbol List; la copia que acompaña a TeX Live 2024 ocupa 481 páginas y recoge 20.323 símbolos. Esta página no es otra tabla de símbolos. Es la caja de herramientas que responde a «¿cuál es el comando de LaTeX del carácter que tengo delante?», ordenada según se va necesitando: amssymb, la lista Comprehensive, Detexify y, para XeLaTeX y LuaLaTeX, unicode-math.

¿En qué paquete está ese símbolo? Empieza por amssymb

Para un símbolo matemático que el LaTeX estándar no tiene, la respuesta suele ser una sola línea: \usepackage{amssymb}. Es un paquete de la American Mathematical Society (AMS) y abrirlo resulta casi decepcionante: amssymb.sty (v3.01, 2013) es poco más que doscientas líneas de \DeclareMathSymbol, un archivo cuyo trabajo entero consiste en poner nombre a glifos que ya viven en las fuentes de símbolos de la AMS. Ahí está también la diferencia con amsmath, con el que se confunde continuamente. amsmath se ocupa de la estructura de las fórmulas (el entorno align, la maquinaria de fracciones); amssymb añade los símbolos en sí. Si el problema es «este signo no existe», usa amssymb; si es «las ecuaciones no se alinean», usa amsmath.

Si el archivo solo reparte nombres, ¿dónde están los glifos? Al cargar amssymb se ejecuta internamente \RequirePackage{amsfonts}, que registra dos fuentes de símbolos para el modo matemático: AMSa (nombre NFSS U/msa, fuente msam10) y AMSb (U/msb, msbm10). amssymb.sty se limita luego a declarar a qué posición de cuál de esas dos fuentes apunta cada comando. La ventaja práctica de esa cadena es que \usepackage{amssymb} por sí solo arrastra también todo lo que aporta amsfonts: \mathbb (negrita de pizarra), \mathfrak (Fraktur), \hbar, \checkmark y \dashrightarrow están definidos, en rigor, del lado de amsfonts.sty, pero nunca hace falta escribir \usepackage{amsfonts} aparte.

Y para saber si lo que buscas puede estar siquiera en amssymb, bastan cinco familias. Si la forma que quieres no encaja en ninguna —un signo musical, un elemento de circuito, una pieza de ajedrez—, repasar amssymb es tiempo perdido: conviene ir directamente a la Comprehensive LaTeX Symbol List de la sección siguiente.

• Relaciones adicionales. Variantes y parientes de las relaciones estándar: \leqslant («menor o igual» inclinado) y \geqslant, \lesssim y \gtrsim, los \subseteqq y \supseteqq de doble barra.
• Relaciones negadas. Glifos propios con la barra ya trazada: \nleq (no menor o igual), \ngeq, \nsim, \nsubseteq, \nmid (no divide).
• Flechas adicionales. Flechas decorativas como \twoheadrightarrow (de dos puntas = sobreyección), \rightrightarrows (par lado a lado), \rightsquigarrow (ondulada) y \dashrightarrow (discontinua).
• Símbolos misceláneos. \varnothing (conjunto vacío redondeado), \square / \blacksquare, \complement (complemento), \nexists, \circledast, entre otros.
• Letras hebreas. \beth, \gimel y \daleth, usadas para cardinales. Solo \aleph está ya en el LaTeX estándar.

\usepackage{amssymb}   % extra relations, negations, arrows, misc symbols, Hebrew
% ...
\[ 0 \leqslant x \lesssim 1, \qquad a \nmid b, \qquad A \subseteqq B \]
\[ f \colon X \twoheadrightarrow Y, \qquad \varnothing \ne S, \qquad \aleph_0 < \beth_1 \]

\leqslant y \nleq: relaciones y negaciones en amssymb

De las cinco familias, las variantes de relaciones y las negaciones son las que se usan a diario. El \leqslant inclinado (⩽) es la forma que muchos libros de matemáticas prefieren al \leq horizontal (≤), y una vez elegida conviene mantenerla en todo el documento: un artículo en el que conviven ≤ y ⩽ se lee como si se estuvieran distinguiendo dos relaciones distintas. Lo mismo vale para las negaciones: donde existe un glifo dedicado, se usa. La tabla siguiente es representativa, no exhaustiva (todo en ella necesita amssymb).

Una relación sin forma negada propia se niega sobre la marcha anteponiendo \not (como en \not\equiv). Pero \not se limita a superponer una barra de tamaño e inclinación fijos, así que sobre algunos glifos el trazo queda descentrado y se ve mal: para evitar justamente eso existen glifos dedicados como \nleq. A la inversa, \ne (≠) y \notin (∉) tienen comando propio en el LaTeX estándar y no necesitan ni amssymb ni \not. Cómo reclaman espacio las relaciones a cada lado, y el comportamiento fino de \not, se tratan en la página «Símbolos de relación».

\varnothing, \twoheadrightarrow, ℶ: flechas y cajón de sastre de amssymb

En las tres familias restantes destacan los glifos cuya forma ya enuncia su significado. El \twoheadrightarrow (↠) de doble punta indica una sobreyección y el \rightarrowtail (↣) con cola una inyección: «lo cubre todo por arriba» y «se cuela por debajo», dibujados literalmente. Entre los símbolos varios, el conjunto vacío redondeado \varnothing (∅) suele preferirse al \emptyset estándar, y una demostración se cierra con \square (□) o \blacksquare (■).

Las letras hebreas sirven como cardinales (cardinalidades infinitas) en teoría de conjuntos. Solo \aleph (ℵ) pertenece al LaTeX estándar; \beth, \gimel y \daleth exigen amssymb. Las variantes griegas \digamma (ϝ) y \varkappa (ϰ) vienen del mismo sitio y se tratan en la página «Letras griegas». A estas alturas se habrá notado que todas las tablas de esta página son una muestra. Los listados exhaustivos de flechas, símbolos varios y relaciones están en sus propias páginas de categoría; la función de esta página meta es indicar dónde mirar.

The Comprehensive LaTeX Symbol List: encontrar uno entre 25 000 símbolos

Cuando el símbolo no está ni en amssymb, o cuando hay que determinar qué paquete lo contiene, la respuesta definitiva es The Comprehensive LaTeX Symbol List de Scott Pakin. En CTAN el paquete se llama comprehensive y se distribuye bajo la LPPL. Su recuento crece edición tras edición: según CTAN, la versión 16.0, publicada en abril de 2026, superó los 25 000 símbolos. Incluso la edición que trae una instalación de TeX Live 2024 reúne 20 323 en 481 páginas, que es justamente el lujoso problema de un catálogo demasiado grande para hojearlo.

Dos puertas de entrada evitan que ese tamaño intimide. La primera es la sección «Frequently Requested Symbols», justo al comienzo: si el glifo buscado está ahí, el asunto se resuelve en segundos. La segunda es la estructura por capítulos, que corta el material por campos: símbolos de texto corrido, símbolos matemáticos, símbolos científicos y técnicos, dingbats, lenguas antiguas, símbolos musicales, símbolos de juegos, símbolos geográficos. Oír que un repertorio de símbolos de LaTeX tiene un capítulo sobre lenguas antiguas y otro sobre juegos suena a broma, pero esta edición toma sus glifos de 225 tipografías distintas, y de ahí sale esa amplitud. Acotar por campo y luego confirmar el comando en las tablas por paquete: ese es el camino más corto.

# open the copy already installed with TeX Live / MiKTeX -- no network needed
texdoc comprehensive

# or name the PDF directly (symbols-letter for US Letter paper)
texdoc symbols-a4

La lista se distribuye tanto con TeX Live como con MiKTeX, de modo que se abre en local sin red. Pero estar catalogado no equivale a estar disponible: muchos de esos símbolos solo se componen tras instalar una fuente o un paquete dedicado, y el propio documento lo advierte al principio. Otra sección se gana el sueldo en el trabajo diario: «Symbol Name Clashes», hacia el final. Cuando cargas dos paquetes de símbolos a la vez y aparece ! LaTeX Error: Command \... already defined, ese es el único sitio que dice qué paquete reclama qué nombre.

Detexify: dibuja el símbolo y obtén el comando de LaTeX

No conoces ni el nombre ni el campo de un símbolo y solo conoces su forma: la situación en la que los capítulos por campo no sirven de nada. Para eso se construyó Detexify. Se dibuja el signo en un recuadro, con el ratón o con el dedo, y la herramienta ordena los comandos de LaTeX cuya forma más se le acerca. La idea fue de Philipp Kühl y la implementación de Daniel Kirsch. Detexify expone su propia motivación, y el culpable es precisamente el PDF de 481 páginas de la sección anterior: buscar en symbols-a4.pdf un símbolo que no logras memorizar lleva demasiado tiempo. La lista de símbolos creció tanto que acabó generando una herramienta para no tener que consultarla.

Por dentro es aprendizaje automático sin pretensiones. Según explica el propio Kirsch, un dibujo llega como trazos —secuencias de puntos con posición y marca de tiempo— de los que se extraen características como el número de trazos, la densidad de puntos y la información direccional. La clasificación es luego de k vecinos más próximos: las muestras manuscritas acumuladas se ordenan por cercanía en ese espacio de características y se cuentan vecinos hasta que aparecen cinco símbolos distintos. Al ser estadístico, no acierta siempre a la primera; la ventaja práctica es que cada candidato muestra el paquete que necesita, de modo que identificar el glifo resuelve a la vez la línea \usepackage. El sitio es detexify.kirelabs.org; los datos de entrenamiento son públicos y cada respuesta confirmada mejora un poco la siguiente consulta.

Cuando aparece Too many math alphabets used in version normal

A fuerza de añadir paquetes de símbolos, la composición acaba deteniéndose en ! LaTeX Error: Too many math alphabets used in version normal. La causa no es el número de símbolos, sino el número de huecos para fuentes matemáticas. LaTeX solo puede mantener dieciséis (\e@mathgroup@top, en el archivo del núcleo latex.ltx, vale 16), y solo con cargar amssymb se consumen dos —AMSa y AMSb—, mientras que usar \mathfrak gasta otro y el \tcdigitoldstyle de mathcomp, del que se habla más abajo, uno más. El dieciséis procede directamente del diseño de TeX: TeX codifica un carácter matemático como clase, hueco de fuente y posición, y al hueco de fuente le tocaron cuatro bits, es decir, dieciséis posibilidades.

Hay dos salidas. La primera: cargar menos paquetes. Los paquetes de símbolos se disputan no solo los huecos, sino también los nombres de comandos, y el propio amssymb se aparta si stix se cargó antes, avisando de que es redundante y de que no se cargará. La segunda: cambiar de motor. XeLaTeX y LuaLaTeX elevan el techo a 256 huecos y, con unicode-math de Will Robertson y colaboradores, el cálculo cambia por completo: una sola fuente matemática OpenType lleva miles de glifos, de modo que ya no se gasta un hueco cada vez que hacen falta más símbolos. El archivo unicode-math-table.tex que la acompaña asocia un nombre de comando a 2448 caracteres matemáticos Unicode; U+2200, por ejemplo, es \forall. La pega: unicode-math no funciona con pdfLaTeX.

% XeLaTeX or LuaLaTeX only -- one OpenType font carries thousands of glyphs
\usepackage{unicode-math}
\setmathfont{latinmodern-math.otf}
% ...
\[ \forall \varepsilon > 0,\ \exists \delta > 0 \]

Componer ℃, Ω y µ verticales dentro de una fórmula (mathcomp / textcomp)

Mezclar unidades con matemáticas plantea un problema ajeno a la búsqueda de símbolos: en modo matemático una µ se compone como variable inclinada, mientras que el prefijo micro de una unidad debe ir vertical. El paquete pequeño que lo arregla es mathcomp. Con \usepackage{mathcomp}, \tcmu (µ), \tcohm (Ω), \tccelsius (℃) y compañía quedan disponibles en modo matemático. La regla de nombres es sencilla: se toma el equivalente de modo texto, \textmu o \textdegree, y se cambia text por tc (text companion).

El tc viene de la codificación TS1 (Text Companion). Hubo un tiempo en que \usepackage{textcomp} era obligatorio para obtener \textdegree (°) o \textperthousand (‰) en el texto corrido; pero, como recoge LaTeX News 31, la versión de 2020 incorporó los símbolos TS1 al núcleo, y ahora funcionan en el texto sin cargar textcomp. textcomp conserva, eso sí, una función: escrito como \usepackage[error]{textcomp} o con [warn], avisa mediante un error o una advertencia de LaTeX cuando un glifo falta en la fuente y se sustituye. El modo matemático, en cambio, no se automatizó del mismo modo, así que para símbolos de unidad verticales dentro de una fórmula sigue haciendo falta mathcomp.

\usepackage{mathcomp}   % loads textcomp and adds the \tc... commands for math mode
% ...
\[ R = 4.7\,\mathrm{k}\tcohm, \qquad d = 25\,\tcmu\mathrm{m}, \qquad T = 37\,\tccelsius \]

mathcomp aporta exactamente esos seis símbolos, más \tcdigitoldstyle{0} … \tcdigitoldstyle{9} para cifras de estilo antiguo, y una opción elige la tipografía (\usepackage[ppl]{mathcomp} para las fuentes TC de Palatino). Una advertencia: \tcohm (Ω) es un carácter distinto de la mayúscula griega \Omega, y el correcto como símbolo de unidad es el primero. La aritmética de huecos de antes también se aplica aquí: \tcdigitoldstyle ocupa un hueco de fuente matemática y, en un documento ya cargado de paquetes de símbolos, puede ser la gota que colma el vaso. Y para componer unidades en serio, encargar el trabajo a siunitx es más rápido que espigar símbolos uno a uno: además gestiona el espacio entre el valor y la unidad y el ensamblaje de unidades compuestas (véase la página «Unidades (siunitx)»).