„Wie tippe ich dieses Symbol in LaTeX?“ Diese Frage begegnet jedem, der Mathematik schreibt. Das Werkzeugset für die Antwort lässt sich grob auf vier Dinge reduzieren. Erstens das Paket amssymb, das die meisten Symbole ergänzt, die im Standard-LaTeX fehlen. Zweitens die Comprehensive LaTeX Symbol List (Scott Pakin), die etwa 25.000 Symbole nach Paket und Thema katalogisiert. Detexify, wo man ein Symbol von Hand zeichnet, um den Befehl zu finden. Und mathcomp/textcomp für aufrechte Symbole wie Einheiten und Temperatur im Mathematikmodus. Diese Seite beschreibt dieses Symbol-Suchwerkzeug, statt eine weitere Einzeltabelle zu sein, und führt zu den detaillierten Nachschlageseiten nach Kategorien.
amssymb — das Paket, das man als Nächstes lädt
Wenn das gewünschte Symbol nicht im Standard-LaTeX enthalten ist, sollte man zuerst amssymb probieren. Es ist ein Paket der American Mathematical Society (AMS): Eine einzige Zeile \usepackage{amssymb} in der Präambel schaltet mehrere hundert zusätzliche Symbole frei. Es ist nicht dasselbe wie amsmath; hilfreich ist die Unterscheidung, dass amsmath die Struktur von Mathematik behandelt (Ausrichtungsumgebungen, Bruchmechanik), während amssymb die Symbole selbst ergänzt.
Kurz zur Technik. Beim Laden von amssymb wird intern das AMSFonts-Paket amsfonts aufgerufen, das zwei AMS-Symbolschriften einrichtet: msam und msbm. Die Datei amssymb.sty gibt den Glyphen in diesen Schriften Befehlsnamen. Daher bringt \usepackage{amssymb} allein auch mit, was amsfonts bereitstellt: \mathbb (blackboard bold), \mathfrak (Fraktur) und Symbole wie \checkmark und \hbar (streng genommen sind diese auf der amsfonts-Seite definiert, aber weil amssymb sie lädt, muss man sie nicht separat anfordern).
Die von amssymb ergänzten Symbole fallen grob in fünf Familien. Wenn man diese im Kopf behält, kann man einschätzen, ob das gesuchte Symbol wahrscheinlich hier zu finden ist.
- Zusätzliche Relationen. Varianten und Verwandte der Standardrelationen:
\leqslant(schräges „kleiner-gleich“) und\geqslant,\lesssimund\gtrsim, die doppelt gestrichenen\subseteqqund\supseteqqund mehr. - Negierte Relationen. Eigene Symbole, durch die bereits ein Schrägstrich gezogen ist:
\nleq(nicht kleiner-gleich),\ngeq,\nsim,\nsubseteq,\nmid(teilt nicht) und andere. - 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,\nexists,\circledastund so weiter. - Hebräische Buchstaben.
\beth,\gimel,\daleth(für Kardinalzahlen). Beachten Sie, dass nur\alephbereits im Standard-LaTeX vorhanden ist.
\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 \]Relationen und Negationen in amssymb (Auswahl)
Relationsvarianten und Negationen gehören zu den am häufigsten verwendeten Familien in amssymb. Unten steht eine repräsentative Auswahl (nicht vollständig; alle benötigen amssymb). „Kleiner-gleich“ als schräges \leqslant (⩽) zu setzen, ist in der Mathematik weit verbreitet; für Negationen sehen die speziell gestrichenen Symbole sauberer aus als ein improvisiertes \not\leq.
| Befehl | Glyphe | Bedeutung (alle benötigen amssymb) |
|---|---|---|
\leqslant | ⩽ | kleiner oder gleich (schräge Variante) |
\geqslant | ⩾ | größer oder gleich (schräge Variante) |
\lesssim | ≲ | kleiner als oder ähnlich zu |
\gtrsim | ≳ | größer als oder ähnlich zu |
\subseteqq | ⫅ | Teilmenge mit doppeltem Gleichheitsbalken |
\nleq | ≰ | nicht kleiner oder gleich |
\ngeq | ≱ | nicht größer oder gleich |
\nsim | ≁ | nicht ähnlich zu |
\nsubseteq | ⊈ | keine Teilmenge oder gleich |
\nmid | ∤ | teilt nicht |
\nparallel | ∦ | nicht parallel |
Eine Relation ohne eigene Negation lässt sich ad hoc negieren, indem man \not davor setzt (z. B. \not\equiv). Der Schrägstrich von \not hat jedoch feste Größe und Neigung und liegt über manchen Symbolen unschön. \ne (≠) und \notin (∉) haben bereits eigene Befehle im Standard-LaTeX, sodass sie weder amssymb noch \not benötigen. Die Abstände der Relationsklasse und die genaue Verwendung von \not behandelt die Seite „Relationen“.
amssymb-Pfeile, verschiedene Symbole und Hebräisch
Auch für die anderen drei Familien folgen repräsentative Beispiele (alle amssymb). Bei den Pfeilen sind häufig der zweiköpfige \twoheadrightarrow (↠) für eine Surjektion, der geschwänzte \rightarrowtail (↣) für eine Injektion und der wellige \rightsquigarrow (⇝). Bei den verschiedenen Symbolen sind die Klassiker die gerundete leere Menge \varnothing (∅), das \square für das Beweisende □ und \complement für das Komplement.
| Befehl | Glyphe | Bedeutung / Hinweise (alle benötigen amssymb) |
|---|---|---|
\twoheadrightarrow | ↠ | zweiköpfiger Rechtspfeil; Surjektion |
\rightarrowtail | ↣ | Rechtspfeil mit Schwanz; Injektion |
\rightrightarrows | ⇉ | zwei Rechtspfeile nebeneinander |
\rightsquigarrow | ⇝ | welliger Rechtspfeil |
\varnothing | ∅ | gerundete leere Menge (Variante von \emptyset) |
\square | □ | weißes Quadrat / Beweisende (QED) |
\blacksquare | ■ | schwarzes Quadrat |
\complement | ∁ | Mengenkomplement |
\nexists | ∄ | existiert nicht (Negation von ∃) |
\checkmark | ✓ | Häkchen (aus amsfonts) |
\beth | ℶ | hebräisches beth (Kardinalzahlen) |
\gimel | ℷ | hebräisches gimel |
\daleth | ℸ | hebräisches daleth |
Hebräische Buchstaben werden in der Mengenlehre für Kardinalzahlen (unendliche Mächtigkeiten) verwendet. Nur \aleph (ℵ) ist im Standard-LaTeX enthalten; die folgenden \beth, \gimel und \daleth benötigen amssymb. Auch griechische Varianten wie \digamma (ϝ) und \varkappa (ϰ) stammen aus amssymb (siehe die griechische Seite). Vollständige Listen der einzelnen Familien stehen auf den Seiten „Pfeile“, „Verschiedene Symbole“ und „Relationen“; diese Meta-Seite ist der Eingang, der zeigt, wo man suchen soll.
The Comprehensive LaTeX Symbol List (der maßgebliche Katalog)
Wenn ein Symbol nicht einmal in amssymb steht oder wenn Sie herausfinden müssen, in welchem Paket es enthalten ist, ist The Comprehensive LaTeX Symbol List von Scott Pakin die maßgebliche Referenz. Sie ordnet die in LaTeX verfügbaren Symbole nach Paket und Thema, und die Zahl ist von Ausgabe zu Ausgabe gewachsen: Stand 2026 sind es etwa 25.000 (deutlich mehr als ungefähr 14.600 im Jahr 2020). Zu jedem Symbol nennt sie Glyphe, Befehl und benötigtes Paket; am Ende gibt es einen Index.
Sie wird mit TeX Live und MiKTeX ausgeliefert, sodass man sie ohne Internetverbindung lokal öffnen kann. Der folgende Terminalbefehl öffnet das installierte PDF im Viewer. Auf CTAN heißt sie comprehensive, und die PDF-Dateien heißen symbols-a4.pdf (A4) und symbols-letter.pdf (Letter).
# インストール済みの「記号網羅一覧」を開く / open the installed symbol list
texdoc comprehensive
# ファイル名を直接指定してもよい / or name the file directly
texdoc symbols-a4Der Trick besteht darin, zuerst über die Themenkapitel einzugrenzen und dann den Befehl in den Tabellen nach Paket zu bestätigen. Auch fachübergreifende Symbole, etwa für elektrische Schaltungen, Schachfiguren oder Astronomie, stehen hier. Beachten Sie aber, dass viele gelistete Symbole erst nach Installation einer eigenen Schrift oder eines eigenen Pakets verwendbar sind; die Liste sagt gleich zu Beginn, dass nicht alles in einer Standardumgebung verfügbar ist. Sie steht unter der LPPL (LaTeX Project Public License).
Detexify — zeichnen, um den Befehl zu finden
Wenn Sie weder den Namen noch das Fachgebiet eines Symbols kennen, aber seine Form erkennen, ist Detexify das passende Werkzeug. Die Webanwendung von Daniel Kirsch lässt Sie ein Symbol mit Maus oder Finger in ein Feld zeichnen und zeigt anschließend eine Rangliste der LaTeX-Befehle mit den ähnlichsten Formen. Für „Wie hieß dieser gebogene Pfeil noch?“ ist das oft viel schneller als das Durchsuchen einer gedruckten Liste.
Jeder Kandidat zeigt außerdem, ob der Befehl zum Standard-LaTeX gehört oder welches Paket er benötigt, etwa amssymb. Da Freihandzeichnungen erkannt werden, trifft es nicht immer beim ersten Versuch; wenn man jedoch mitteilt, welcher Kandidat richtig war, fließt das in das Erkennungsmodell zurück und verbessert die Genauigkeit. Die offizielle Website ist detexify.kirelabs.org. Für alle, die lokal arbeiten möchten, gibt es auch einige Desktop- und Mobile-Apps mit derselben Idee.
mathcomp / textcomp — aufrechte Einheiten und Symbole
Eine weitere, leicht zu vergessende Werkzeugfamilie ist textcomp und sein Gegenstück für den Mathematikmodus, mathcomp. textcomp aktiviert die zusätzliche Codierung TS1 (Text Companion) und stellt im Textmodus Symbole wie das Gradzeichen \textdegree (°), Promille \textperthousand (‰), Ohm \textohm (Ω), Mikro \textmu (µ) und Celsius \textcelsius (℃) bereit. In modernem LaTeX sind viele davon in den Kernel übernommen, aber ältere Dokumente oder bestimmte Schriften können weiterhin ein explizites Laden erfordern.
Manchmal möchte man diese Symbole jedoch im Mathematikmodus verwenden, etwa um die Einheit „µm“ mit einem aufrechten µ statt einer kursiven Variablen zu setzen. Dafür ist mathcomp gedacht: Es stellt die \text…-Symbole von textcomp als Mathematikbefehle namens \tc… (text companion) erneut bereit. Die Benennungsregel ist einfach: text wird durch tc ersetzt, also wird \textmu zu \tcmu und \textdegree zu \tcdegree.
| Befehl (mathcomp) | Glyphe | Bedeutung |
|---|---|---|
\tcohm | Ω | Ohm (Widerstandseinheit); aufrecht |
\tcmu | µ | Mikrozeichen (das µ in µm); aufrecht |
\tcdegree | ° | Gradzeichen |
\tccelsius | ℃ | Grad Celsius (\tccentigrade ist synonym) |
\tcperthousand | ‰ | Promille |
\tcpertenthousand | ‱ | pro Zehntausend (Basispunkt) |
Geladen wird nur mit \usepackage{mathcomp}, das intern textcomp einbindet. Eine Schriftfamilie kann als Option angegeben werden (z. B. \usepackage[ppl]{mathcomp} für Palatinos TC-Schriften), und \tcdigitoldstyle{0} … \tcdigitoldstyle{9} liefern Mediävalziffern. Beachten Sie, dass \tcohm (Ω) vom griechischen Großbuchstaben \Omega verschieden ist; dies ist das korrekte Einheitensymbol. Für ernsthaften Einheitensatz passt oft das spezialisierte Paket siunitx besser; das behandelt die Seite „Einheiten (siunitx)“. Wenn Sie mit XeLaTeX oder LuaLaTeX kompilieren und OpenType-Mathematikschriften verwenden möchten, ist das Paket unicode-math von Will Robertson und Mitwirkenden ein paralleler Weg, der Symbole über Befehle passend zu ihren Unicode-Namen bereitstellt (etwa \mforall); es funktioniert nicht mit pdfLaTeX.