Symboltabellen (amssymb / Listen)

Die Werkzeuge zum Auffinden von LaTeX-Symbolen gibt es, weil die Symbollisten zu lang zum Durchsuchen geworden sind. Detexify, die Erkennung für handgezeichnete Zeichen, schreibt genau das in die eigene Beschreibung: Ein Symbol in symbols-a4.pdf zu suchen, das man sich einfach nicht merken kann, kostet zu viel Zeit. Jene symbols-a4.pdf ist The Comprehensive LaTeX Symbol List; die mit TeX Live 2024 ausgelieferte Fassung umfasst 481 Seiten mit 20.323 Symbolen. Diese Seite ist keine weitere Symboltabelle. Sie ist der Werkzeugkasten für die Frage „Welcher LaTeX-Befehl erzeugt das Zeichen, das gerade vor mir liegt?“ – in der Reihenfolge, in der man danach greift: amssymb, die Comprehensive-Liste, Detexify und, für XeLaTeX und LuaLaTeX, unicode-math.

In welchem Paket steckt das Symbol? Zuerst amssymb

Fehlt ein mathematisches Symbol im Standard-LaTeX, lautet die Antwort meist: die eine Zeile \usepackage{amssymb}. Es ist ein Paket der American Mathematical Society (AMS), und ein Blick hinein ist fast ernüchternd: amssymb.sty (v3.01, 2013) besteht im Wesentlichen aus gut zweihundert \DeclareMathSymbol-Zeilen – eine Datei, deren ganze Aufgabe darin besteht, Namen zu vergeben für Glyphen, die längst in den AMS-Symbolschriften liegen. Genau darin liegt auch der Unterschied zu amsmath, mit dem es ständig verwechselt wird. amsmath regelt die Struktur von Formeln (die Umgebung align, die Bruchmechanik), amssymb ergänzt die Symbole selbst. Lautet das Problem „dieses Zeichen gibt es nicht“, greift man zu amssymb; lautet es „die Gleichungen stehen nicht untereinander“, zu amsmath.

Wenn die Datei nur Namen vergibt – wo liegen dann die Glyphen? Beim Laden von amssymb läuft intern \RequirePackage{amsfonts}, und das registriert zwei Symbolschriften für den Mathematikmodus: AMSa (NFSS-Name U/msa, Schrift msam10) und AMSb (U/msb, msbm10). amssymb.sty erklärt dann, auf welche Position in welcher der beiden Schriften jeder Befehl zeigt. Der praktische Gewinn dieser Kette: \usepackage{amssymb} allein bringt auch alles mit, was amsfonts bereitstellt – \mathbb (blackboard bold), \mathfrak (Fraktur), \hbar, \checkmark und \dashrightarrow sind streng genommen auf der Seite von amsfonts.sty definiert, ein separates \usepackage{amsfonts} ist aber nie nötig.

Und ob das Gesuchte überhaupt in amssymb stecken kann, lässt sich anhand von fünf Familien beurteilen. Passt die gewünschte Form in keine davon – ein Notenzeichen, ein Schaltungselement, eine Schachfigur –, ist das Durchsehen von amssymb verlorene Zeit; dann geht man besser direkt zur Comprehensive LaTeX Symbol List im nächsten Abschnitt.

• Zusätzliche Relationen. Varianten und Verwandte der Standardrelationen: \leqslant (schräges „kleiner-gleich“) und \geqslant, \lesssim und \gtrsim, die doppelt gestrichenen \subseteqq und \supseteqq.
• Negierte Relationen. Eigene Glyphen, durch die der Schrägstrich bereits gezogen ist: \nleq (nicht kleiner-gleich), \ngeq, \nsim, \nsubseteq, \nmid (teilt nicht).
• Zusätzliche Pfeile. Dekorative Pfeile wie \twoheadrightarrow (zweiköpfig = Surjektion), \rightrightarrows (Paar nebeneinander), \rightsquigarrow (wellig) und \dashrightarrow (gestrichelt).
• Verschiedene Symbole. \varnothing (gerundete leere Menge), \square / \blacksquare, \complement (Komplement), \nexists, \circledast und weitere.
• Hebräische Buchstaben. \beth, \gimel und \daleth für Kardinalzahlen. Nur \aleph steckt bereits im Standard-LaTeX.

\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 und \nleq: Relationen und Negationen in amssymb

Von den fünf Familien greift man im Alltag am häufigsten zu den Relationsvarianten und Negationen. Das schräge \leqslant (⩽) ist die Form, die viele Mathematikbücher dem waagerechten \leq (≤) vorziehen; hat man sich einmal entschieden, sollte es im ganzen Dokument einheitlich bleiben – eine Arbeit, in der ≤ und ⩽ nebeneinander auftauchen, liest sich so, als würden zwei verschiedene Relationen unterschieden. Für Negationen gilt dasselbe: Wo eine eigene Glyphe existiert, wird sie benutzt. Die Tabelle unten ist repräsentativ, nicht vollständig (alles darin benötigt amssymb).

Eine Relation ohne eigene negierte Form lässt sich an Ort und Stelle negieren, indem man \not voranstellt (etwa \not\equiv). \not legt aber nur einen Schrägstrich fester Größe und Neigung darüber, sodass der Strich bei manchen Glyphen aus der Mitte rutscht und schief wirkt – genau dafür gibt es eigene Zeichen wie \nleq. Umgekehrt haben \ne (≠) und \notin (∉) eigene Befehle im Standard-LaTeX und benötigen weder amssymb noch \not. Wie Relationen links und rechts Platz beanspruchen und wie sich \not im Detail verhält, behandelt die Seite „Relationssymbole“.

\varnothing, \twoheadrightarrow, ℶ: Pfeile und Allerlei aus amssymb

In den verbleibenden drei Familien fallen jene Glyphen auf, deren Form ihre Bedeutung bereits ausspricht. Das doppelt gefiederte \twoheadrightarrow (↠) steht für eine Surjektion, das geschwänzte \rightarrowtail (↣) für eine Injektion – „deckt alles ab“ und „schlüpft von unten hinein“ als Bild gezeichnet. Beim Allerlei wird die gerundete leere Menge \varnothing (∅) oft dem üblichen \emptyset vorgezogen, und ein Beweis wird mit \square (□) oder \blacksquare (■) geschlossen.

Die hebräischen Buchstaben dienen in der Mengenlehre als Kardinalzahlen (unendliche Mächtigkeiten). Nur \aleph (ℵ) steckt im Standard-LaTeX; \beth, \gimel und \daleth brauchen amssymb. Die griechischen Varianten \digamma (ϝ) und \varkappa (ϰ) stammen aus derselben Quelle und werden auf der Seite „Griechische Buchstaben“ behandelt. Inzwischen fällt auf: Jede Tabelle dieser Seite ist nur eine Auswahl. Die vollständigen Listen für Pfeile, verschiedene Symbole und Relationen stehen auf den jeweiligen Kategorieseiten; die Aufgabe dieser Meta-Seite ist es zu sagen, wo man nachsieht.

The Comprehensive LaTeX Symbol List: ein Zeichen unter 25.000 finden

Steckt das Symbol nicht einmal in amssymb, oder muss man herausfinden, welches Paket es enthält, lautet die maßgebliche Antwort The Comprehensive LaTeX Symbol List von Scott Pakin. Auf CTAN heißt das Paket comprehensive und steht unter der LPPL. Der Umfang wächst von Ausgabe zu Ausgabe: Laut CTAN hat Version 16.0 vom April 2026 die Marke von 25.000 Symbolen überschritten. Schon die Fassung in einer TeX-Live-2024-Installation enthält 20.323 Symbole auf 481 Seiten – genau jenes luxuriöse Problem eines Katalogs, der zum Durchblättern zu groß geworden ist.

Zwei Einstiege sorgen dafür, dass dieser Umfang nicht einschüchtert. Der erste ist der Abschnitt „Frequently Requested Symbols“ ganz vorn – steht die gesuchte Glyphe dort, ist die Sache in Sekunden erledigt. Der zweite ist die Kapitelgliederung, die den Stoff nach Fachgebieten schneidet: Textsymbole, mathematische Symbole, Symbole aus Wissenschaft und Technik, Dingbats, alte Sprachen, Musikzeichen, Spielsymbole, geografische Zeichen. Dass ein LaTeX-Symbolverzeichnis Kapitel zu alten Sprachen und zu Spielen enthält, klingt nach Scherz; diese Ausgabe schöpft ihre Zeichen jedoch aus 225 verschiedenen Schriftarten, und daraus folgt eben diese Breite. Erst nach Fachgebiet eingrenzen, dann den Befehl in den Tabellen nach Paket bestätigen – das ist der kürzeste Weg.

# 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

Die Liste wird mit TeX Live wie mit MiKTeX ausgeliefert, lässt sich also ohne Netz lokal öffnen. Aber aufgeführt zu sein heißt nicht, sofort verwendbar zu sein: Viele dieser Zeichen lassen sich erst setzen, wenn eine eigene Schrift oder ein eigenes Paket installiert ist, und das Dokument sagt das gleich zu Beginn. Ein weiterer Abschnitt verdient im Alltag Beachtung – „Symbol Name Clashes“ weiter hinten. Wer zwei Symbolpakete gleichzeitig lädt und auf ! LaTeX Error: Command \... already defined stößt, erfährt nur dort, welches Paket welchen Namen beansprucht.

Detexify: das Zeichen malen, den LaTeX-Befehl bekommen

Man kennt weder Namen noch Fachgebiet eines Zeichens und weiß nur, wie es aussieht – genau die Lage, in der eine Gliederung nach Fachgebieten nichts nützt. Für sie wurde Detexify gebaut. Man malt das Zeichen mit Maus oder Finger in ein Feld, und es reiht die LaTeX-Befehle nach Formähnlichkeit auf. Die Idee stammt von Philipp Kühl, umgesetzt hat sie Daniel Kirsch. Detexify nennt seine Motivation selbst, und der Anlass ist ausgerechnet das 481-seitige PDF aus dem vorigen Abschnitt: In symbols-a4.pdf nach einem Zeichen zu suchen, das man sich nicht merken kann, dauert zu lange. Die Symbolliste wuchs so weit, dass sie ein Werkzeug hervorbrachte, um sie nicht lesen zu müssen.

Im Inneren steckt unprätentiöses maschinelles Lernen. Nach Kirschs eigener Darstellung kommt eine Zeichnung als Striche an – Folgen von Punkten mit Position und Zeitstempel –, aus denen Merkmale wie Strichzahl, Punktdichte und Richtungsinformation gewonnen werden. Klassifiziert wird dann mit dem k-Nächste-Nachbarn-Verfahren: Die gespeicherten Handschriftproben werden nach Nähe in diesem Merkmalsraum sortiert, und es werden so lange Nachbarn gezählt, bis fünf verschiedene Symbole aufgetaucht sind. Weil das Verfahren statistisch ist, trifft es nicht immer beim ersten Versuch; der praktische Gewinn liegt darin, dass jeder Vorschlag das benötigte Paket anzeigt – wer die Glyphe erkennt, hat zugleich die \usepackage-Zeile. Die Seite ist detexify.kirelabs.org; die Trainingsdaten sind öffentlich, und jede bestätigte Antwort verbessert die nächste Abfrage ein wenig.

Wenn Too many math alphabets used in version normal erscheint

Fügt man immer weitere Symbolpakete hinzu, bleibt der Satz irgendwann bei ! LaTeX Error: Too many math alphabets used in version normal. stehen. Ursache ist nicht die Zahl der Symbole, sondern die Zahl der Plätze für Mathematikschriften. LaTeX kann nur sechzehn davon führen (\e@mathgroup@top in der Kerneldatei latex.ltx steht auf 16), und schon amssymb verbraucht zwei – AMSa und AMSb –, \mathfrak einen weiteren und das unten besprochene \tcdigitoldstyle aus mathcomp noch einen. Die Sechzehn stammt unmittelbar aus dem Entwurf von TeX: TeX kodiert ein Mathematikzeichen als Klasse, Schriftplatz und Position, und für den Schriftplatz blieben vier Bit – also sechzehn Möglichkeiten.

Es gibt zwei Auswege. Der eine: weniger Pakete laden. Symbolpakete streiten nicht nur um Plätze, sondern auch um Befehlsnamen, und amssymb tritt selbst zurück, wenn stix zuvor geladen wurde – mit dem Hinweis, es sei überflüssig und werde nicht geladen. Der andere: die Engine wechseln. XeLaTeX und LuaLaTeX heben die Grenze auf 256 Plätze, und mit unicode-math von Will Robertson und Mitwirkenden ändert sich die Rechnung grundsätzlich: Eine einzige OpenType-Mathematikschrift trägt Tausende von Glyphen, sodass nicht mehr für jede weitere Symbolgruppe ein Platz draufgeht. Die mitgelieferte Datei unicode-math-table.tex ordnet 2.448 mathematischen Unicode-Zeichen Befehlsnamen zu – U+2200 etwa ist \forall. Der Haken: unicode-math läuft nicht unter 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 \]

Aufrechte ℃, Ω und µ mitten in der Formel (mathcomp / textcomp)

Einheiten in Formeln werfen ein Problem auf, das mit dem Auffinden von Zeichen nichts zu tun hat: Im Mathematikmodus wird ein µ als kursive Variable gesetzt, während das Mikro-Präfix einer Einheit aufrecht stehen muss. Das kleine Paket dafür heißt mathcomp. Mit \usepackage{mathcomp} stehen \tcmu (µ), \tcohm (Ω), \tccelsius (℃) und Verwandte im Mathematikmodus zur Verfügung. Die Benennungsregel ist schlicht: Man nimmt das Textmodus-Pendant \textmu oder \textdegree und ersetzt text durch tc (text companion).

Das tc stammt von der Codierung TS1 (Text Companion). Früher war \usepackage{textcomp} zwingend, um \textdegree (°) oder \textperthousand (‰) im laufenden Text zu erhalten; wie LaTeX News 31 festhält, hat die Ausgabe von 2020 die TS1-Symbole in den Kernel übernommen, sodass sie im Text nun ganz ohne textcomp funktionieren. Eine Aufgabe bleibt textcomp gleichwohl: Geschrieben als \usepackage[error]{textcomp} oder mit [warn], meldet es einen LaTeX-Fehler beziehungsweise eine Warnung, sobald eine Glyphe in der Schrift fehlt und ersetzt wird. Der Mathematikmodus dagegen wurde nicht auf dieselbe Weise automatisiert, weshalb es für aufrechte Einheitenzeichen in der Formel weiterhin mathcomp braucht.

\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 liefert genau diese sechs Zeichen, dazu \tcdigitoldstyle{0} … \tcdigitoldstyle{9} für Mediävalziffern, und eine Option wählt die Schrift (\usepackage[ppl]{mathcomp} für die TC-Schriften von Palatino). Eine Warnung: \tcohm (Ω) ist ein anderes Zeichen als der griechische Großbuchstabe \Omega; korrekt als Einheitenzeichen ist Ersteres. Auch die Platzrechnung von vorhin gilt hier – \tcdigitoldstyle belegt einen Platz für Mathematikschriften und kann in einem Dokument, das ohnehin mit Symbolpaketen vollgepackt ist, das Fass zum Überlaufen bringen. Wer Einheiten ernsthaft setzt, fährt mit siunitx schneller als mit dem Zusammensuchen einzelner Zeichen: Es regelt auch den Abstand zwischen Zahlenwert und Einheit sowie den Aufbau zusammengesetzter Einheiten (siehe die Seite „Einheiten (siunitx)“).