Tablas de símbolos (amssymb / listas)

“¿Cómo escribo este símbolo en LaTeX?” es una pregunta constante en cuanto escribes matemáticas. El conjunto de herramientas para responderla se reduce más o menos a cuatro cosas. Primero, el paquete amssymb, que proporciona la mayoría de lo que falta en el LaTeX estándar. Luego, la Comprehensive LaTeX Symbol List (Scott Pakin), que cataloga unos 25.000 símbolos por paquete y por tema. Detexify, donde dibujas un símbolo a mano para encontrar su comando. Y mathcomp/textcomp, para símbolos verticales como unidades y temperatura en modo matemático. Esta página presenta esa caja de herramientas para encontrar símbolos, en lugar de otra tabla de símbolos, y enlaza con las páginas detalladas por categoría.

amssymb — el paquete que cargas después

Cuando el símbolo que quieres no está en el LaTeX estándar, amssymb es lo primero que conviene probar. Es un paquete de la American Mathematical Society (AMS): una sola línea, \usepackage{amssymb}, en el preámbulo habilita varios cientos de símbolos extra. Es distinto de amsmath; una forma útil de separarlos es pensar que amsmath maneja la estructura de las matemáticas (entornos de alineación, maquinaria de fracciones), mientras que amssymb añade los símbolos en sí.

Una palabra sobre la maquinaria. Al cargar amssymb, internamente se llama al paquete AMSFonts amsfonts, que configura dos fuentes de símbolos AMS, msam y msbm. El archivo amssymb.sty es el que da nombres de comando a los glifos de esas fuentes. Así, \usepackage{amssymb} por sí solo también trae lo que ofrece amsfonts: \mathbb (blackboard bold), \mathfrak (Fraktur) y símbolos como \checkmark y \hbar (estrictamente están definidos del lado de amsfonts, pero como amssymb lo carga, no hace falta pedirlo aparte).

Los símbolos que añade amssymb se dividen, a grandes rasgos, en cinco familias. Tenerlas presentes ayuda a saber si el símbolo que buscas probablemente está aquí.

• Relaciones adicionales. Variantes y parientes de las relaciones estándar: \leqslant (“menor o igual” inclinado) y \geqslant, \lesssim y \gtrsim, los \subseteqq y \supseteqq con doble barra, y más.
• Relaciones negadas. Símbolos dedicados con una barra ya dibujada: \nleq (no menor o igual), \ngeq, \nsim, \nsubseteq, \nmid (no divide), entre otros.
• 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, \nexists, \circledast, etc.
• Letras hebreas. \beth, \gimel, \daleth (usadas para cardinales). Observa que solo \aleph ya está en el LaTeX estándar.

\usepackage{amssymb}   % 追加の関係子・否定・矢印・雑記号・ヘブライ文字
% ...
\[ 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 \]

Relaciones y negaciones de amssymb (muestra)

Las variantes de relaciones y las negaciones están entre las familias más usadas de amssymb. Abajo aparece una selección representativa (no exhaustiva; todas requieren amssymb). Escribir “menor o igual” como el \leqslant inclinado (⩽) es muy habitual en matemáticas, y para las negaciones los símbolos dedicados con barra se ven más limpios que un \not\leq improvisado.

Una relación sin negación dedicada puede negarse sobre la marcha anteponiendo \not (por ejemplo, \not\equiv). Pero la barra de \not tiene tamaño e inclinación fijos, así que cae mal sobre algunos símbolos. \ne (≠) y \notin (∉) ya tienen comandos dedicados en el LaTeX estándar, de modo que no necesitan ni amssymb ni \not. El espaciado de la clase de relación y el uso detallado de \not se cubren en la página “Relaciones”.

Flechas, símbolos misceláneos y hebreo de amssymb

También hay ejemplos representativos de las otras tres familias (todos de amssymb). Entre las flechas, son comunes \twoheadrightarrow (↠), de dos puntas, para una sobreyección; \rightarrowtail (↣), con cola, para una inyección; y la ondulada \rightsquigarrow (⇝). Entre los símbolos misceláneos, los básicos son el conjunto vacío redondeado \varnothing (∅), \square para el final de una demostración □, y \complement para el complemento.

Las letras hebreas se usan para cardinales (cardinalidades infinitas) en teoría de conjuntos. Solo \aleph (ℵ) está en el LaTeX estándar; las siguientes, \beth, \gimel y \daleth, requieren amssymb. Las variantes griegas \digamma (ϝ) y \varkappa (ϰ) también vienen de amssymb (véase la página de griego). Las listas exhaustivas de cada familia están en las páginas “Flechas”, “Símbolos misceláneos” y “Relaciones”; esta página meta es la entrada que indica dónde mirar.

The Comprehensive LaTeX Symbol List (el catálogo definitivo)

Cuando un símbolo ni siquiera está en amssymb, o cuando necesitas precisar qué paquete lo contiene, la referencia definitiva es The Comprehensive LaTeX Symbol List de Scott Pakin. Organiza los símbolos disponibles en LaTeX por paquete y por tema, y el número ha crecido edición tras edición hasta llegar a unos 25.000 en 2026 (muy por encima de los cerca de 14.600 de 2020). Para cada símbolo muestra el glifo, el comando y el paquete necesario, con un índice al final.

Viene incluida con TeX Live y MiKTeX, así que puedes abrirla localmente sin conexión a internet. Al escribir lo siguiente en una terminal, se abre el PDF instalado en tu visor. En CTAN se llama comprehensive, y los archivos PDF son symbols-a4.pdf (A4) y symbols-letter.pdf (letter).

# インストール済みの「記号網羅一覧」を開く / open the installed symbol list
texdoc comprehensive

# ファイル名を直接指定してもよい / or name the file directly
texdoc symbols-a4

El truco es acotar desde los capítulos por tema y luego confirmar el comando en las tablas por paquete. También aparecen símbolos transversales, como los de circuitos eléctricos, piezas de ajedrez o astronomía. Ten presente, no obstante, que muchos de los símbolos listados requieren instalar una fuente o paquete dedicado antes de poder usarlos; la propia lista avisa al comienzo de que no todo está disponible en una instalación estándar. Se distribuye bajo la LPPL (LaTeX Project Public License).

Detexify — dibújalo para encontrar el comando

Cuando no conoces ni el nombre ni el campo de un símbolo, pero sí conoces su forma, Detexify es la herramienta. Es una aplicación web de Daniel Kirsch: dibujas el símbolo en un recuadro con el ratón o el dedo, y te ofrece una lista ordenada de comandos de LaTeX cuyas formas son más cercanas. Para “¿cómo se llamaba esa flecha curvada?”, puede ser mucho más rápido que revisar una lista impresa línea por línea.

Cada candidato también indica si el comando pertenece al LaTeX estándar o qué paquete necesita, como amssymb. Como reconoce dibujos a mano alzada, no siempre acierta a la primera, pero decirle qué candidato era correcto retroalimenta el modelo de reconocimiento y mejora la precisión con el tiempo. El sitio oficial es detexify.kirelabs.org. Para quienes prefieren trabajar localmente, también existen algunas aplicaciones de escritorio y móviles con la misma idea.

mathcomp / textcomp — unidades y símbolos verticales

Otra familia de herramientas, fácil de olvidar, es textcomp y su contraparte para modo matemático, mathcomp. textcomp habilita la codificación adicional TS1 (Text Companion), que da símbolos en modo texto como el signo de grado \textdegree (°), por mil \textperthousand (‰), ohm \textohm (Ω), micro \textmu (µ) y Celsius \textcelsius (℃). En el LaTeX moderno muchos de estos están incorporados al núcleo, pero documentos antiguos o ciertas fuentes aún pueden requerir cargarlo explícitamente.

A veces, sin embargo, quieres estos símbolos dentro del modo matemático; por ejemplo, escribir la unidad “µm” con una µ vertical en lugar de una variable inclinada. Para eso sirve mathcomp: vuelve a exponer los símbolos \text… de textcomp como comandos de modo matemático llamados \tc… (text companion). La regla de nombres es simple: sustituye text por tc, de modo que \textmu pasa a \tcmu y \textdegree a \tcdegree.

Basta cargar \usepackage{mathcomp}, que incorpora textcomp internamente. Puedes pasar una familia de fuentes como opción (por ejemplo, \usepackage[ppl]{mathcomp} para usar las fuentes TC de Palatino), y \tcdigitoldstyle{0} … \tcdigitoldstyle{9} da cifras de estilo antiguo. Observa que \tcohm (Ω) es distinto de la mayúscula griega \Omega: este es el símbolo de unidad correcto. Para composición seria de unidades, el paquete dedicado siunitx suele encajar mejor; se cubre en la página “Unidades (siunitx)”. Si compilas con XeLaTeX o LuaLaTeX y quieres fuentes matemáticas OpenType, el paquete unicode-math de Will Robertson y colaboradores es una ruta paralela, que expone símbolos mediante comandos que coinciden con sus nombres Unicode (como \mforall); no funciona con pdfLaTeX.