LaTeX
von Philipp Stephani
Übersicht
Die Foren von ActiveVB unterstützen in Form des [latex]-Tags und der dazugehörigen Schaltfläche das Einfügen von mathematischen Formeln mit LaTeX-Syntax. Dieses Dokument gibt einen kurzen Überblick über die Syntax und Verwendung von LaTeX und stellt die grundsätzlichen syntaktischen Regeln von LaTeX-Formeln sowie eine Auswahl der wichtigsten Befehle für den Formelsatz vor.
Mit freundlichen Grüßen,
Philipp Stephani
Einführung
Dieser Artikel stellt in Kürze einige Grundlagen des Formelsatzes in LaTeX vor, um Besuchern im Forum die Darstellung von einfachen Formeln zu ermöglichen. Er ist nur für sporadische LaTeX-Benutzer brauchbar und kann das Studium einführender Beschreibungen [4], ausführlicher Fachbücher [1, 2] und umfangreicher Referenzen[6] nicht ersetzen. Für Eingaben, die die LaTeX-Syntax beschreiben, wird dicktengleiche Schrift verwendet.
LaTeX ist ein Textsatzsystem, das neben der Gestaltung typografisch ansehnlicher Dokumente das präzise Setzen von mathematischen Formeln gestattet. Diese Kombination hat LaTeX zum Mittel der Wahl für das Verfassen mathematischer und naturwissenschaftlicher Publikationen gemacht.
Im Literaturverzeichnis sind verschiedene Bücher und Dokumente aufgeführt, die sich tiefgehender mit LaTeX beschäftigen. Das meiste, was dort beschrieben wird, gilt auch hier, jedoch ist zu beachten, dass die bei ActiveVB eingesetzte Implementation nur einen Bruchteil der Befehle von LaTeX zur Verfügung stellt.
Die Syntax von LaTeX-Formeln
Eine LaTeX-Formel besteht, ähnlich wie HTML oder XML, aus einer Reihe von ASCII-Zeichen, von denen die meisten - beispielsweise Buchstaben, Zahlen und Operatorsymbole - ohne Änderungen ausgegeben werden, andere jedoch eine spezielle Bedeutung haben und zur Darstellung spezieller mathematischer Schreibweisen dienen. Leerzeichen und Tabulatoren werden - außer um einen Befehl zu beenden (dazu später mehr) - ignoriert; um Leerraum einzugeben, stehen spezielle Befehle zur Verfügung. Zeichen, die nicht im ASCII-Zeichensatz enthalten sind (z.B. Umlaute), sowie Zeilenumbrüche sind in der bei ActiveVB verwendeten Implementation nicht erlaubt. Groß- und Kleinschreibung wird unterschieden.
Einfache Zeichen
Buchstaben, Ziffern und häufig vorkommende Operatorsymbole, die als ASCII-Zeichen verfügbar sind, können direkt eingegeben werden. Sie werden von LaTeX entsprechend ihrer üblichen Verwendung und der typografischen Konventionen des Formelsatzes dargestellt.
- Lateinische Groß- und Kleinbuchstaben werden kursiv und ohne Zeichenabstände ausgegeben. Sie dienen primär der Eingabe von Variablen.
- Arabische Ziffern, Punkte (.), Ausrufezeichen (!) sowie die Klammersymbole (, ), [ und ] werden aufrecht und ohne Zeichenabstände ausgegeben.
- Operatoren wie + und - sowie Relationszeichen wie =, <, > und : werden aufrecht und mit kleineren Abständen auf beiden Seiten ausgegeben.
- Kommata (,) werden aufrecht mit einem kleinen Leerraum rechts ausgegeben. Dies ist nützlich für Aufzählungen wie 1,2,3 (
), bei Dezimalzahlen jedoch störend. Das Einfassen des Kommas in geschweifte Klammern unterbindet den Leerraum; so wird 1{,}23; zu
.
- Der ASCII-Apostroph ' wird zu einem Minutenzeichen (
), das für Ableitungen benutzt werden kann: f'(x) ergibt
.
Zu beachten ist, dass LaTeX Ausdrücke niemals auf mathematische Korrektheit prüft -- unsinnige Eingaben wie +>)5[.A () werden nicht beanstandet.
Befehle
Der umgekehrte Schrägstrich (\) leitet einen Befehlsnamen ein. Nach dem umgekehrten Schrägstrich folgen entweder ein oder mehrere lateinische Buchstaben oder ein beliebiges anderes Zeichen. So sind \a, \abc, \1, \,, \ (umgekehrter Schrägstrich und Leerzeichen) und \\ gültige Befehlsnamen, \,, hingegen steht für den Befehlsnamen \,, gefolgt von einem einfachen Komma. Wie oben erwähnt, sind Leerzeichen für die Markierung des Endes von mehrbuchstabigen Befehlsnahmen signifikant; so bezeichnet \abc def den Befehlsnamen \abc, gefolgt von den drei Zeichen d, e und f.
Viele Befehle erwarten Argumente. LaTeX unterscheidet obligatorische und optionale Argumente. Obligatorische Argumente bestehen entweder aus einem einzelnen Zeichen oder Befehl oder aber einer Gruppe. Darunter versteht man eine Sequenz von Zeichen, Befehlen und Gruppen, die in geschweifte Klammern {...} eingefasst ist. Die geschweiften Klammern haben ansonsten meist keine sichtbaren Auswirkungen und dienen nur zur Gruppierung; im Unterschied zu den sichtbaren Klammersymbolen(, ), [; und ] erfordert LaTeX die korrekte Schachtelung der geschweiften Klammern. Optionale Argumente werden immer in eckige Klammern [...] eingefasst und können auch (mitsamt der Klammern) entfallen. Unten werden zahlreiche Befehle besprochen, die diesen Konventionen gehorchen.
Umgebungen
Für größere Einheiten einer Formel, die sich über mehrere Spalten oder Zeilen erstrecken, beispielsweise Matrizen (dazu später mehr), werden keine einfachen Befehle, sondern Umgebungen benutzt. Diese genügen der Syntax
\begin{Umgebungsname} Inhalt der Umgebung \end{Umgebungsname}.
Der Umgebungsname, der als obligatorisches Argument der Befehle \begin und \end angegeben wird, muss in beiden Vorkommen der gleiche sein. Umgebungen müssen korrekt geschachtelt sein, d.h.
\begin{A}\begin{B}\end{B}\end{A}
ist erlaubt, nicht jedoch
\begin{A}\begin{B}\end{A}\end{B}
Hoch- und Tiefstellungen
Hoch- und Tiefstellungen für Potenzen, Indizes u.Ä. werden durch ^ bzw. _ realisiert. Diese Zeichen erwarten links den Ausdruck auf der Grundlinie, an dem sich die Hoch- bzw. Tiefstellung orientiert, und auf der rechten Seite den hoch- bzw. tiefzustellenden Ausdruck, bestehend aus einem Zeichen, einem Befehlsnamen oder einer Gruppe. Durch die Syntax Basis^hoch_tief oder Basis_tief^hoch (die Reihenfolge ist egal) wird eine Hoch- und einen Tiefstellung für ein und denselben Basisausdruck ermöglicht. Es dürfen jedoch für jeden Basisausdruck höchstens eine Hochstellung und höchstens eine Tiefstellung angegeben werden. Sowohl Basisausdruck als auch hoch- und tiefgestellter Ausdruck können aber Gruppen sein und in diesem Fall auch weitere Hoch- und Tiefstellungen enthalten. In der folgenden Tabelle finden sich einige Beispiele für diese Syntax.
Eingabe | Ausgabe |
---|---|
x_{i,j}^2 | |
x^2_{i,j} | |
{x_{i,j}}^2 | |
x_{{i,j}^2} | |
{x^2}_{i,j} | |
x^{2_{i,j}} | |
x_{n_0} | |
{x_n}_0 | |
x_n_0 | (nicht erlaubt) |
Wichtige Befehle
Dieser Abschnitt stellt einige der wichtigsten LaTeX-Befehle für Formeln knapp vor. Ein einführender Artikel wie der vorliegende kann keinesfalls Symbolreferenzen wie [6] ersetzen.
Griechische Buchstaben
Sämtliche griechischen Groß- und Kleinbuchstaben, die nicht identisch zu einem lateinischen Buchstaben aussehen, sind als Befehle (ohne Argumente) unter ihrem englischen Namen verfügbar, siehe Tabelle. Für manche Zeichen gibt es Varianten, deren Befehlsnamen mit \var; beginnen.
Eingabe | Ausgabe |
---|---|
\Gamma\Delta\Theta\Lambda\Xi\Pi | |
\Sigma\Upsilon\Phi\Psi\Omega | |
\alpha\beta\gamma\delta\epsilon\varepsilon\zeta\eta | |
\theta\iota\kappa\lambda\mu\nu\xi\pi\varpi\rho\varrho | |
\sigma\tau\upsilon\phi\varphi\chi\psi\omega |
Formatierungen
Lateinische Buchstaben, Ziffern und griechische Großbuchstaben können in verschiedenen Schriftstilen dargestellt werden. Auf andere Zeichen (griechische Kleinbuchstaben, Operatoren) hat der gewählte Schriftstil keine Auswirkungen. Alle diese Befehle erwarten genau ein obligatorisches Argument -- die Zeichen, die in dem entsprechenden Stil gesetzt werden sollen. In unten stehenden Tabelle werden sie beispielhaft vorgestellt.
Stil | Befehl | Beispiel |
---|---|---|
keiner | - | |
aufrecht | \mathrm | |
kursiv | \mathit | |
fett | \mathbf | |
serifenlos | \mathsf |
Neben diesen Standardstilen gibt es noch einige weitere Stile, die jedoch nur für einige der oben verwendeten Zeichen definiert sind. Der Versuch, sie auf andere Zeichen anzuwenden, erzeugt völlig verschiedene Operatorzeichen, die sich in der jeweiligen Schriftart zufällig an der selben Position befinden. Deshalb ist in der folgenden Tabelle angegeben, für welche Zeichen die jeweiligen Stile sinnvolle Resultate liefern.
Stil | definiert für | Befehl | Beispiel |
---|---|---|---|
Fraktur | lateinische Buchstaben, Ziffern | \mathfrak | |
kalligrafisch | lateinische Großbuchstaben | \mathcal | |
doppelt gestrichen | lateinische Großbuchstaben | \mathbb |
Zu beachten ist, dass diese Stile nicht miteinander kombiniert werden können. So ergibt \mathbf{\mathit{ABC}} keineswegs fette und kursive Zeichen, sondern lediglich kursive: .
Etwas aus der Reihe fällt der Befehl \boldsymbol, der die Zeichen in seinem Argument fett druckt, aber keine weiteren Stiländerungen vornimmt. Dieser Befehl funktioniert mit fast allen Zeichen, auch griechischen Kleinbuchstaben und Operatoren. In der Tabelle sind einige Beispiele dafür aufgeführt.
Eingabe | Ausgabe |
---|---|
\boldsymbol{ABC \mathsf{def}} | |
\boldsymbol{\Gamma\Delta\Theta\alpha\beta\gamma} | |
\boldsymbol{3 - (1+2) = 0} |
Die Befehle \overline{Ausdruck} und \underline{Ausdruck} können zum Über- bzw. Unterstreichen von Ausdrücken benutzt werden.
Leerstellen
Wie oben beschrieben, werden Leerzeichen bei der Eingabe ignoriert und automatisch bestimmte Leerräume um bestimmte Zeichen eingefügt. Will man manuell Leerstellen einfügen, so ist das mit den Befehlen aus der nachfolgenden Tabelle möglich. \! fügt einen negativen Abstand ein.
Befehl | Wirkung | Beispiel |
---|---|---|
\, | ||
\; | ||
\ (Leerzeichen) | ||
\quad | ||
\qquad | ||
\! |
Brüche
Brüche lassen sich mit dem Befehl \frac Zähler Nenner einfügen. Die beiden Argumente sind obligatorisch. Mit \tfrac statt \frac kann eine geringere Schriftgröße für Zähler und Nenner erreicht werden.
Eingabe | Ausgabe |
---|---|
\frac\pi2 | |
\frac{11}{12} | |
\tfrac m 2 |
Wurzeln
Für Wurzeln steht der \sqrt-Befehl zur Verfügung. Er erwartet ein optionales Argument, den Wurzelexponenten, und ein obligatorisches Argument, den Radikanden. Wird der Wurzelexponent nicht angegeben, wird auch kein solcher gedruckt.
Eingabe | Ausgabe |
---|---|
\sqrt{\frac\pi2} = \frac{\sqrt\pi}{\sqrt2} | |
\sqrt x = \sqrt[4]{x^2} |
Klammern
Neben den einfachen Klammern (, ), [ und ] stellt LaTeX über die in dieser Tabelle gezeigten Befehle weitere Klammersymbole zur Verfügung.
Eingabe | Ausgabe |
---|---|
\{...\} oder \lbrace...\rbrace | |
\langle...\rangle | |
\lceil...\rceil | |
\lfloor...\rfloor | |
\lVert...\rVert |
Für einfache senkrechte Striche kennt LaTeX die Befehle \lvert und \rvert, die aber von der bei den Foren von ActiveVB verwendeten Implementation nicht unterstützt werden. Der senkrechte Strich | sollte nicht für klammerartige Symbole (z.B. Betragsstriche) verwendet werden, da LaTeX in diesem Fall Abstände nicht automatisch einfügen kann, was zu unansehnlichen Resultaten wie führt. Stattdessen sollten hier die im nächsten Absatz vorgestellten Befehle \left und \right verwendet werden.
Alle diese Symbole werden in einer festen Größe eingefügt. Mit den Befehlen \left und \right, gefolgt von einem Klammerungssymbol oder -befehl, wird LaTeX veranlasst, das Klammerungssymbol mindestens so hoch wie den geklammerten Ausdruck zu machen. Die Befehle \left und \right müssen richtig geschachtelt werden, das jeweilige Klammerzeichen dabei ist jedoch egal. \lvert und \rvert können nach \left und \right durch den einfachen Strich | ersetzt werden. Ist \left oder \right an einer Stelle syntaktisch nötig, an der kein sichtbares Klammerungsymbol eingefügt werden soll, kann das Klammersymbol durch einen Punkt (.) ersetzt werden.
Eingabe | Ausgabe |
---|---|
\left( \frac12, 1 \right] | |
\left] 0, \frac12 \right[ | |
\left| ... \right\rangle \left\langle ... \right| | |
\left. \frac12 \right\rbrace |
Operatoren
Abseits der Grundrechenarten stehen zahlreiche weitere Operatorsymbole zur Verfügung. Die Tabelle zeigt einige von ihnen, eine vollständige Liste findet sich in [6].
Eingabe | Ausgabe | Eingabe | Ausgabe | Eingabe | Ausgabe |
---|---|---|---|---|---|
+ | - | \pm | |||
\cdot | \times | : | |||
/ | \div | \circ | |||
\bullet | \ast | \star | |||
\in | \ni | \cap | |||
\cup | \setminus |
Relationszeichen
Auch hier kann angesichts der großen Anzahl bereitgestellter Symbole nur ein kleiner Überblick gegeben werden, für umfangreichere Tabellen sei wiederum auf [6] verwiesen. Alle Relationszeichen können durch Voranstellen des Befehls \not negiert (durchgestrichen) werden; so wird \not< zu .
Eingabe | Ausgabe | Eingabe | Ausgabe | Eingabe | Ausgabe |
---|---|---|---|---|---|
= | \neq | < | |||
> | \leq | \geq | |||
\ll | \gg | \subset | |||
\supset | \equiv | \sim | |||
\approx | \simeq | \cong |
Große Operatoren
Diese Zeichen unterscheiden sich von anderen Operatoren dadurch, dass Hoch- und Tiefstellungen über bzw. unter dem Operatorsymbol angezeigt werden. Wie bei anderen Zeichen sind auch hierbei höchstens eine Hochstellung und höchstens eine Tiefstellung erlaubt.
Eingabe | Ausgabe |
---|---|
\sum_{i=0}^n | |
\int_{-\infty}^\infty | |
\oint_\Gamma |
Akzente
Akzente sind kleine Zeichen, die über einen Basisausdruck gesetzt werden. Die Akzentbefehle erwarten alle den Basisausdruck als obligatorisches Argument. Soll ein Akzent auf eines der Zeichen "i" oder "j" gesetzt werden, so ist dieses durch die punktlose Variante \imath () bzw. \jmath (
) zu ersetzen, um umschöne Effekte wie bei \vec i (
) zu vermeiden.
Eingabe | Ausgabe | Eingabe | Ausgabe | Eingabe | Ausgabe |
---|---|---|---|---|---|
\dot x | \ddot x | \acute x | |||
\bar x | \vec x | \tilde x | |||
\hat x | \check x | \breve x |
Pfeile und sonstige Symbole
Natürlich können auch hier nur wenige wichtige Symbole aufgezählt werden.
Eingabe | Ausgabe | Eingabe | Ausgabe | Eingabe | Ausgabe |
---|---|---|---|---|---|
\leftarrow | \rightarrow | \leftrightarrow | |||
\Leftarrow | \Rightarrow | \Leftrightarrow | |||
\mapsto | \infty | \ldots | |||
\cdots | \vdots | \ddots |
Spezielle Funktionen
Anfänger versuchen häufig, spezielle Funktionen wie Sinus und Kosinus als einzelne Zeichen einzugeben, was jedoch zu unansehnlichen Resultaten führt. So wird sin x als ausgegeben. Die typografischen Konventionen erfordern jedoch, dass mehrbuchstabige Funktionsnamen aufrecht und mit kleinen Abständen auf beiden Seiten (
) gedruckt werden, um sie von dem ohne Multiplikationsoperator geschriebenen Produkt einzelner einbuchstabiger Variablen zu unterscheiden. Prinzipiell ließe sich die gewünschte Formatierung mit den schon bekannten Befehlen realisieren (man denke an \mathrm{sin}\,x), viel einfacher ist jedoch die Verwendung der vordefinierten Befehle für häufig vorkommende spezielle Funktionen. In den meisten Fällen liefert die Eingabe des Funktionsnamens als Befehl (\sin, \cos, \tan, \exp, \log...) das Gewünschte, weswegen an dieser Stelle auf eine nicht allzu erhellende Auflistung der Funktionsnamen verzichtet wird.
Befehle wie \lim oder \sup stellen keine Funktionen dar, haben aber ähnliche typografische Eigenschaften und lassen sich deshalb für LaTeX in die gleiche Kategorie einordnen wie die speziellen Funktionen. Der Befehl \lim ordnet Tiefstellungen wie bei den großen Operatoren unter dem Limessymbol an.
Text
Textuelle Anmerkungen können unter Verwendung des Befehls \text{Text} eingefügt werden. Der Text wird im Textmodus gesetzt; dies bewirkt unter anderem, dass keine Mathematikbefehle vorkommen dürfen und Leerzeichen zur Trennung von Wörtern beachtet werden.
Wichtige Umgebungen
Matrizen
Für die Eingabe von Matrizen stehen in LaTeX mehrere Umgebungen zur Verfügung, die neben der tabellenartigen Anordnung der Matrixelemente eine Möglichkeit zur Klammerung bieten. In allen diesen Umgebungen werden Zeilen durch \\ und Elemente (Zellen) innerhalb einer Zeile durch & getrennt.
Eingabe | Ausgabe |
---|---|
\begin{matrix} a&b\\c&d \end{matrix} | |
\begin{pmatrix} a&b\\c&d \end{pmatrix} | |
\begin{bmatrix} a&b\\c&d \end{bmatrix} | |
\begin{Bmatrix} a&b\\c&d \end{Bmatrix} | |
\begin{vmatrix} a&b\\c&d \end{vmatrix} | |
\begin{Vmatrix} a&b\\c&d \end{Vmatrix} | |
\begin{smallmatrix} a&b\\c&d \end{smallmatrix} |
Fallunterscheidungen
Fallunterscheidungen werden durch die cases-Umgebung realisiert. Diese Umgebung erzeugt eine Tabelle mit mehreren Zeilen, aber genau zwei Spalten, und fügt auf der linken Seite der Tabelle eine öffnende geschweifte Klammer ein. Dies wird im Folgenden illustriert.
Eingabe | Ausgabe |
---|---|
\Theta(x) = \begin{cases} 0, &\text{falls } x < 0 \\ 1, &\text{falls } x \geq 0 \end{cases} |
Download
Artikel im PDF-Format [302907 Bytes]
Bibliographie
- Leslie Lamport: LaTeX. A Document Preparation System, 1994
- Leslie Lamport et al.: LaTeX2ε. The macro package for TeX, 1994
- Frank Mittelbach, Michel Goossens, Johannes Braams, David Carlisle, Chris Rowley: Der LaTeX-Begleiter, 2005
- Walter Schmidt, Jörg Knappen, Hubert Partl, Irene Hyna: LaTeX2ε-Kurzbeschreibung, 2003
http://www.ctan.org/get/info/lshort/german/l2kurz.pdf - American Mathematical Society: User's Guide for the amsmath Package, 2002
http://www.ctan.org/get/macros/latex/required/amslatex/math/amsldoc.pdf - Scott Pakin, The Comprehensive LaTeX Symbol List, 2008
http://www.ctan.org/get/info/symbols/comprehensive/symbols-a4.pdf - Wikipedia-Hilfe zu LaTeX
http://de.wikipedia.org/wiki/Hilfe:TeX