Tables de symboles (amssymb / listes)

« Comment taper ce symbole en LaTeX ? » C’est une question que l’on rencontre sans cesse dès que l’on écrit des mathématiques. La boîte à outils pour y répondre se résume à quatre éléments. D’abord le paquet amssymb, qui fournit la plupart des symboles absents du LaTeX standard. Ensuite la Comprehensive LaTeX Symbol List (Scott Pakin), qui catalogue environ 25 000 symboles par paquet et par thème. Detexify, où l’on dessine un symbole à la main pour trouver sa commande. Et mathcomp/textcomp, pour les symboles droits comme les unités et les températures en mode mathématique. Cette page présente cette boîte à outils de recherche de symboles, plutôt qu’une nouvelle table de symboles, et fait le lien vers les pages détaillées par catégorie.

amssymb — le paquet à charger ensuite

Quand le symbole voulu n’existe pas dans le LaTeX standard, amssymb est le premier paquet à essayer. C’est un paquet de l’American Mathematical Society (AMS) : une seule ligne, \usepackage{amssymb}, dans le préambule ouvre l’accès à plusieurs centaines de symboles supplémentaires. Il est distinct de amsmath : on peut retenir que amsmath gère la structure des mathématiques (environnements d’alignement, mécanismes de fractions), tandis que amssymb ajoute les symboles eux-mêmes.

Un mot sur le mécanisme. Charger amssymb appelle en interne le paquet AMSFonts amsfonts, qui installe deux polices de symboles AMS, msam et msbm. Le fichier amssymb.sty est celui qui donne des noms de commandes aux glyphes de ces polices. Ainsi, \usepackage{amssymb} apporte aussi ce que fournit amsfonts : \mathbb (blackboard bold), \mathfrak (Fraktur), et des symboles comme \checkmark et \hbar (strictement, ils sont définis du côté de amsfonts, mais comme amssymb le charge, il n’est pas nécessaire de le demander séparément).

Les symboles ajoutés par amssymb se répartissent grosso modo en cinq familles. Les garder en tête aide à savoir si le symbole cherché a des chances de se trouver ici.

• Relations supplémentaires. Variantes et cousines des relations standard : \leqslant (« inférieur ou égal » incliné) et \geqslant, \lesssim et \gtrsim, les \subseteqq et \supseteqq à double barre, et d’autres.
• Relations niées. Symboles dédiés avec une barre oblique déjà dessinée : \nleq (non inférieur ou égal), \ngeq, \nsim, \nsubseteq, \nmid (ne divise pas), etc.
• Flèches supplémentaires. Flèches décoratives comme \twoheadrightarrow (à deux têtes = surjection), \rightrightarrows (paire côte à côte), \rightsquigarrow (ondulée) et \dashrightarrow (en pointillés).
• Symboles divers. \varnothing (ensemble vide arrondi), \square / \blacksquare, \complement, \nexists, \circledast, etc.
• Lettres hébraïques. \beth, \gimel, \daleth (utilisées pour les cardinaux). Notez que seul \aleph existe déjà dans le LaTeX standard.

\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 \]

Relations et négations d’amssymb (exemples)

Les variantes de relations et les négations font partie des familles les plus utilisées de amssymb. En voici un ensemble représentatif (non exhaustif ; toutes nécessitent amssymb). Composer « inférieur ou égal » avec le \leqslant incliné (⩽) est largement préféré en mathématiques, et pour les négations les symboles barrés dédiés ont une forme plus propre qu’un \not\leq improvisé.

Une relation sans négation dédiée peut être niée à la volée en la préfixant par \not (par exemple \not\equiv). Mais la barre de \not a une taille et une pente fixes, ce qui la place maladroitement sur certains symboles. \ne (≠) et \notin (∉) ont déjà des commandes dédiées dans le LaTeX standard, donc ils ne nécessitent ni amssymb ni \not. L’espacement de la classe relation et l’usage détaillé de \not sont traités dans la page « Relations ».

Flèches, symboles divers et hébreu dans amssymb

Voici aussi des exemples représentatifs des trois autres familles (tous amssymb). Parmi les flèches, on rencontre souvent \twoheadrightarrow (↠), à deux têtes, pour une surjection, \rightarrowtail (↣), avec queue, pour une injection, et la flèche ondulée \rightsquigarrow (⇝). Parmi les symboles divers, les classiques sont l’ensemble vide arrondi \varnothing (∅), \square pour la fin de preuve □, et \complement pour le complémentaire.

Les lettres hébraïques servent aux cardinaux (cardinalités infinies) en théorie des ensembles. Seul \aleph (ℵ) existe dans le LaTeX standard ; les suivants, \beth, \gimel et \daleth, nécessitent amssymb. Les variantes grecques \digamma (ϝ) et \varkappa (ϰ) viennent aussi de amssymb (voir la page sur le grec). Les listes exhaustives de chaque famille se trouvent dans les pages « Flèches », « Symboles divers » et « Relations » ; cette page méta sert de porte d’entrée pour savoir où chercher.

The Comprehensive LaTeX Symbol List (le catalogue de référence)

Quand un symbole n’est même pas dans amssymb, ou quand il faut déterminer dans quel paquet il se trouve, la référence définitive est The Comprehensive LaTeX Symbol List de Scott Pakin. Elle classe les symboles disponibles depuis LaTeX par paquet et par thème, et leur nombre a augmenté d’édition en édition pour atteindre environ 25 000 en 2026 (contre environ 14 600 en 2020). Pour chaque symbole, elle donne le glyphe, la commande et le paquet requis, avec un index à la fin.

Elle est fournie avec TeX Live et MiKTeX, ce qui permet de l’ouvrir localement sans connexion Internet. La commande suivante, saisie dans un terminal, ouvre le PDF installé dans votre visualiseur. Sur CTAN, elle s’appelle comprehensive, et les fichiers PDF sont symbols-a4.pdf (A4) et symbols-letter.pdf (letter).

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

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

L’astuce consiste à partir des chapitres par thème, puis à confirmer la commande dans les tables par paquet. Les symboles transversaux, circuits électriques, pièces d’échecs, astronomie, etc., s’y trouvent aussi. Gardez toutefois en tête que beaucoup de symboles listés nécessitent l’installation d’une police ou d’un paquet dédié avant d’être utilisables ; la liste précise dès le début que tout n’est pas disponible dans une installation standard. Elle est distribuée sous LPPL (LaTeX Project Public License).

Detexify — dessiner pour trouver la commande

Quand on ne connaît ni le nom ni le domaine d’un symbole, mais que l’on connaît sa forme, Detexify est l’outil adapté. Cette application web de Daniel Kirsch permet de dessiner un symbole dans une zone avec la souris ou le doigt, puis propose une liste classée de commandes LaTeX aux formes les plus proches. Pour « comment s’appelle déjà cette flèche courbée ? », cela peut être bien plus rapide que de parcourir une liste imprimée ligne par ligne.

Chaque candidat indique aussi si la commande appartient au LaTeX standard ou quel paquet elle nécessite, par exemple amssymb. Comme il s’agit de reconnaissance de dessin à main levée, le bon résultat ne sort pas toujours du premier coup ; mais signaler quel candidat était correct nourrit le modèle de reconnaissance et améliore la précision au fil du temps. Le site officiel est detexify.kirelabs.org. Pour ceux qui préfèrent travailler localement, il existe aussi quelques applications de bureau ou mobiles fondées sur la même idée.

mathcomp / textcomp — unités et symboles droits

Une autre famille d’outils, facile à oublier, est textcomp et son pendant pour le mode mathématique, mathcomp. textcomp active l’encodage supplémentaire TS1 (Text Companion), ce qui donne en mode texte des symboles comme le signe degré \textdegree (°), le pour mille \textperthousand (‰), l’ohm \textohm (Ω), le micro \textmu (µ) et le Celsius \textcelsius (℃). Dans le LaTeX moderne, beaucoup de ces commandes sont intégrées au noyau, mais les anciens documents ou certaines polices peuvent encore nécessiter un chargement explicite.

Il arrive toutefois de vouloir ces symboles dans le mode mathématique, par exemple pour composer l’unité « µm » avec un µ droit plutôt qu’une variable inclinée. C’est le rôle de mathcomp : il réexpose les symboles \text… de textcomp sous forme de commandes mathématiques nommées \tc… (text companion). La règle de nommage est simple : remplacer text par tc, donc \textmu devient \tcmu et \textdegree devient \tcdegree.

Le chargement se limite à \usepackage{mathcomp}, qui appelle textcomp en interne. On peut passer une famille de polices en option (par exemple \usepackage[ppl]{mathcomp} pour utiliser les polices TC de Palatino), et \tcdigitoldstyle{0} … \tcdigitoldstyle{9} donne des chiffres elzéviriens. Notez que \tcohm (Ω) est distinct de la capitale grecque \Omega ; c’est le vrai symbole d’unité. Pour une composition sérieuse des unités, le paquet dédié siunitx est souvent mieux adapté ; il est traité dans la page « Unités (siunitx) ». Si vous compilez avec XeLaTeX ou LuaLaTeX et souhaitez des polices mathématiques OpenType, le paquet unicode-math de Will Robertson et collaborateurs est une voie parallèle, exposant les symboles par des commandes correspondant à leurs noms Unicode (comme \mforall) ; il ne fonctionne pas avec pdfLaTeX.