Hilfe:TeX

Seit Januar 2003 haben wir TeX-Markup für mathematische Formeln in Wikipedia. Entweder werden PNG-Bilder oder einfacher HTML-Code generiert, abhängig von Benutzereinstellungen und der Komplexität des Ausdrucks. In Zukunft, wenn die Browser es unterstützen, wird es möglich sein, enhanced HTML zu generieren oder sogar in vielen Fällen eine Art XML für Mathematiker: MathML.

Formeln werden in "math"-Befehlen eingeschlossen: <math> ... </math>. Zeilenumbrüche innerhalb dieser tags sind erlaubt, werden aber nicht in ein Bild umgesetzt, "gerendert". Sie sind nützlich um den Code übersichtlich zu halten (z.B. eine Zeile für jeden Term oder Zeile einer Matrix).

Die umfassende Anleitung sollte eigentlich auf der Meta-Wikimedia Version dieser Seite sein. Allerdings ist diese auf englisch und niemand scheint sich darum zu kümmern.

Diskussionen, Fehlerberichte und Feature-Wünsche sollten an die Wikitech-l Mailingliste (englisch) oder an Wikipedia:TeX requests (englisch) gehen.

Bei Fragen zum Stil bezüglich des Setzens von mathematischem Code siehe WikiProjekt Mathematik und Diskussion:Portal Mathematik. Derzeit gibt es noch Darstellungsprobleme bei komplizierteren Formeln innerhalb von Fließtext: die Schrift ist zu groß, und die Ausrichtung ist uneinheitlich. Eine Mehrheit der Autoren hält TeX trotzdem für die langfristig richtige Lösung. Jedenfalls sollten existierende TeX-Formeln nicht in HTML umgewandelt werden.

Innerhalb eines "math"-Abschnitts kann man keine Wikisyntax wie "[[]]" u.ä. verwenden.

Text und Schriften in der Math-Umgebung

Darzustellen	Syntax	So sieht's gerendert aus
Standard	abcdefg	$abcdefg$
Fett (bold)	\mathbf{abcdefg}	$\mathbf {abcdefg}$
Kursiv (italic)	\mathit{abcdefg}	${\mathit {abcdefg}}$
Serif (roman)	\mathrm{abcdefg}	$\mathrm {abcdefg}$
Sans Serif	\mathsf{abcdefg}	${\mathsf {abcdefg}}$
Fraktur	\mathfrak{abcdefg}	${\mathfrak {abcdefg}}$
	\mathfrak{ABCDEFG}	${\mathfrak {ABCDEFG}}$
Kalligraphische Symbole	\mathcal{abcdefghijklm} \mathcal{nopqrstuvwxyz}	${\mathcal {abcdefghijklm}}$ ${\mathcal {nopqrstuvwxyz}}$
	\mathcal{ABCDEFGHIJKLM} \mathcal{NOPQRSTUVWXYZ}	${\mathcal {ABCDEFGHIJKLM}}$ ${\mathcal {NOPQRSTUVWXYZ}}$
Zahlenbereiche	\mathbb{N}\mathbb{Z}\mathbb{Q}\mathbb{R} \mathbb{C}\mathbb{O}\mathbb{S}	$\mathbb {N} \mathbb {Z} \mathbb {Q} \mathbb {R} \mathbb {C} \mathbb {O} \mathbb {S}$
Griechische Buchstaben	\alpha \beta \gamma \delta \epsilon \varepsilon \zeta \eta \theta \vartheta \iota \kappa \lambda \mu \nu \xi o \pi \varpi \rho \varrho \sigma \varsigma \tau \upsilon \phi \varphi \chi \psi \omega	$\alpha \ \beta \ \gamma \ \delta \ \epsilon \ \varepsilon \ \zeta \ \eta \ \theta \ \vartheta \ \iota \ \kappa \ \lambda \ \mu \ \nu$ $\xi \ o\ \pi \ \varpi \ \rho \ \varrho \ \sigma \ \varsigma \ \tau \ \upsilon \ \phi \ \varphi \ \chi \ \psi \ \omega$
	\Gamma \Delta \Theta \Lambda \Xi \Pi \Sigma \Upsilon \Phi \Psi \Omega	$\Gamma \ \Delta \ \Theta \ \Lambda \ \Xi \ \Pi \ \Sigma \ \Upsilon \ \Phi \ \Psi \ \Omega$
	\Im\Re (besser: \mathrm{Re},\mathrm{Im})	$\Im \Re$ (besser: $\mathrm {Re} ,\mathrm {Im}$)
Hebräisch	\daleth\gimel\beth\aleph	$\daleth \gimel \beth \aleph$

Absatz 1 K.A.I.

Sonderzeichen in TeX

Darzustellen	Syntax	So sieht's gerendert aus
Ableitungen	\nabla \partial dx	$\nabla \partial dx$
Wurzeln	\sqrt{2}\approx 1{,}4	${\sqrt {2}}\approx 1{,}4$
	\sqrt[n]{x}	${\sqrt[{n}]{x}}$
Winkelgrad	360^\circ	$360^{\circ }$
Grad Celsius	100\,^{\circ}\mathrm{C}	$100\,^{\circ }\mathrm {C}$
Durchmesserzeichen oder leere Menge	\varnothing (im Paket wasysym gibt es \diameter und \invdiameter)	$\varnothing$
Sonstige Zeichen (Auswahl)	\angle \backslash \bot \Box \clubsuit \Diamond \diamondsuit \ell \empty \emptyset \infty \exists \flat \forall \hbar \heartsuit \imath \mho \natural \neg \prime \sharp \spadesuit \top \triangle \wp	$\angle \backslash \bot \Box \clubsuit \Diamond \diamondsuit \ell \emptyset \emptyset \infty \exists \flat$ $\forall \hbar \heartsuit \imath \mho \natural \neg \prime \sharp \spadesuit \top \triangle \wp$

Hinweis

Zahl mit Komma (richtig)	3{,}14	$3{,}14\,$
Zahl mit Komma (falsch)	3,14	$3,14\,$

Mathematische Symbole

Binäre Operatoren und Vergleiche

Binäre Operatoren Syntax Gerendert \mathcal{q} (\amalg) ${\mathcal {q}}$ \setminus $\setminus$ \pm $\pm$ \mp $\mp$ \mathcal{t} \mathcal{u} (\sqcap und \sqcup) ${\mathcal {tu}}$ \star $\star$ \bullet $\bullet$ \cap $\cap$ \cdot $\cdot$ \circ $\circ$ \cup $\cup$ \dagger $\dagger$ \mathcal{z} (\ddagger) ${\mathcal {z}}$ \times $\times$ \triangle $\triangle$ \oplus \otimes $\oplus \ \otimes$ \triangleright \triangleleft $\triangleright \ \triangleleft$ \vee $\vee$ \wedge $\wedge$ \wr $\wr$

Binäre Vergleiche Syntax Gerendert \approx $\approx$ \mid $\mid$ \cong $\cong$ \models $\models$ \equiv $\equiv$ \frown $\frown$ \| $\|$ \in \ni $\in \ni$ \perp $\perp$ \le oder \leq $\leq \mathrm {oder} \leq$ \ge oder \geq $\geq \mathrm {oder} \geq$ \sim $\sim$ \simeq $\simeq$ \smile $\smile$ \mathcal{vw} (\sqsubseteq und \sqsupseteq) ${\mathcal {vw}}$ \subset $\subset$ \subseteq $\subseteq$ \supset $\supset$ \supseteq $\supseteq$ \vdash $\vdash$

Negation Syntax Gerendert \not< $\not <$ \not> $\not >$ \not= \neq \ne $\not =\ \neq \ \neq$ \not\approx $\not \approx$ \not\cong $\not \cong$ \not\equiv $\not \equiv$ \not\ge $\not \geq$ \not\in \notin $\not \in \notin$ \not\le $\not \leq$ \not\simeq $\not \simeq$ \not\subset $\not \subset$ \not\subseteq $\not \subseteq$ \not\supset $\not \supset$ \not\supseteq $\not \supseteq$ \neg $\neg$

Hoch- und Tiefstellungen

Darzustellen	Syntax	So sieht's gerendert aus
hochgestellt	a^2	$a^{2}$
tiefgestellt	a_2	$a_{2}$
Gruppierung	a^{2+2}	$a^{2+2}$
	a_{i, j}	$a_{i,j}$
Kombination hoch & tief	sowohl x_2^3 als auch x^3_2 ergibt	$x_{2}^{3}$
Ableitung (richtig)	x'	$x'$
Ableitung (akzeptabel)	x^\prime	$x^{\prime }$
Ableitung (falsch)	x\prime	$x\prime$
Summe	\sum_{k=1}^N k^2	$\sum _{k=1}^{N}k^{2}$
Produkt	\prod_{i=1}^N x_i	$\prod _{i=1}^{N}x_{i}$
Limes	\lim_{n \to \infty}x_n	$\lim _{n\to \infty }x_{n}$
Exponentialfunktion	e^{- \alpha \cdot x^2}	$e^{-\alpha \cdot x^{2}}$
Integral	\int_{-N}^{N} e^x\, \mathrm{d}x	$\int _{-N}^{N}e^{x}\,\mathrm {d} x$
Integral	\int\limits_{-N}^{N} e^x\, \mathrm{d}x	Kann hier leider nicht angezeigt werden. LaTeX ist jedoch in der Lage die Unter- und Obergrenzen über und unter dem Integralzeichen zu setzen. Gilt auch für Produkte und Summen.
Mehrfachintegral	\iint_a^b \iiint_a^b	$\iint _{a}^{b}\iiint _{a}^{b}$
Ringintegral	\oint_c	$\oint _{c}$
A adjungiert	A^\dagger	$A^{\dagger }$

Mathematische Akzente

Darzustellen	Syntax	So sieht's gerendert aus
Vektorpfeil	\vec a	${\vec {a}}$
Zeitableitung	\dot a	${\dot {a}}$
Umlaute	\ddot a	${\ddot {a}}$
Vektor-Zeitableitung	\dot\vec a	${\dot {\vec {a}}}$
a quer	\bar a	${\bar {a}}$
a Tilde	\tilde a	${\tilde {a}}$
a Dach	\hat a	${\hat {a}}$
Akzent Grave	\grave a	${\grave {a}}$
Akzent Acute	\acute a	${\acute {a}}$
Hatschek	\check a	${\check {a}}$
Breve	\breve a	${\breve {a}}$

Sonstige Markierungen

Symbol	Syntax	Gerendert
Überstreichen	\overline { ... }	${\overline {ABC}}$
Unterstreichen	\underline { ... }	${\underline {ABC}}$
Pfeil drüber	\overrightarrow { ... }	${\overrightarrow {ABC}}$
Pfeil drüber	\overleftarrow { ... }	${\overleftarrow {ABC}}$
Dach drüber	\widehat { ... }	${\widehat {ABC}}$
Klammer drüber	\overbrace { ... }	$\overbrace {ABC}$
Klammer drunter	\underbrace { ... }	$\underbrace {ABC}$

Funktionsnamen

\arccos $\arccos$ \arcsin $\arcsin$ \arctan $\arctan$ \arg $\arg$ \cos $\cos$ \cosh $\cosh$ \cot $\cot$ \coth $\coth$ \csc $\csc$ \deg $\deg$ \det $\det$

\dim $\dim$ \exp $\exp$ \gcd $\gcd$ \hom $\hom$ \inf $\inf$ \ker $\ker$ \lg $\lg$ \lim $\lim$ \liminf $\liminf$ \limsup $\limsup$ \ln $\ln$

\log $\log$ \max $\max$ \min $\min$ \Pr $\Pr$ \sec $\sec$ \sin $\sin$ \sinh $\sinh$ \sup $\sup$ \tan $\tan$ \tanh $\tanh$ \bmod $a{\bmod {b}}$

Hinweis

Standardfunktionen (richtig)	\sin x + \ln y +\operatorname{sgn}\, z	$\sin x+\ln y+\operatorname {sgn} \,z$
Standardfunktionen (falsch)	sin x + ln y + sgn z	$sinx+lny+sgnz\,$

Brüche, Matrizen, mehrzeilige Gleichungen

Brüche	\frac{2}{4} oder {2 \over 4}	${\frac {2}{4}}$
Binomialkoeffizienten	{n \choose k}	${n \choose k}$
Matrizen	\begin{pmatrix} x & y \\ z & v \end{pmatrix}	${\begin{pmatrix}x&y\\z&v\end{pmatrix}}$
	\begin{bmatrix} 0 & \cdots & 1 \\ \vdots & \ddots & \vdots \\ 2 & \cdots & 3\end{bmatrix}	${\begin{bmatrix}0&\cdots &1\\\vdots &\ddots &\vdots \\2&\cdots &3\end{bmatrix}}$
	\begin{Bmatrix} x & y \\ z & v \end{Bmatrix}	${\begin{Bmatrix}x&y\\z&v\end{Bmatrix}}$
	\begin{vmatrix} x & y \\ z & v \end{vmatrix}	${\begin{vmatrix}x&y\\z&v\end{vmatrix}}$
	\begin{Vmatrix} x & y \\ z & v \end{Vmatrix}	${\begin{Vmatrix}x&y\\z&v\end{Vmatrix}}$
	\begin{matrix} x & y \\ z & v \end{matrix}	${\begin{matrix}x&y\\z&v\end{matrix}}$
Fallunterscheidungen	f(n)=\begin{cases} n/2, & \mbox{wenn }n\mbox{ gerade} \\ 3n+1, & \mbox{wenn }n\mbox{ ungerade} \end{cases}	$f(n)={\begin{cases}n/2,&{\mbox{wenn }}n{\mbox{ gerade}}\\3n+1,&{\mbox{wenn }}n{\mbox{ ungerade}}\end{cases}}$
mehrzeilige Gleichungen	\begin{matrix}f(n+1)&=& (n+1)^2 \\ \ &=& n^2 + 2n + 1\end{matrix}	${\begin{matrix}f(n+1)&=&(n+1)^{2}\\\ &=&n^{2}+2n+1\end{matrix}}$

Klammern und Begrenzungssymbole

Man kann verschiedenen Abgrenzer mit \left und \right setzen. \left und \right müssen paarweise auftreten. Wenn auf einer Seite keine Klammer oder Begrenzungssymbol stehen soll, so folgt einfach ein Punkt \left. oder \right. nach dem left oder right Befehl.

Runde Klammern	\left( A \right)	$\left(A\right)$
Eckige Klammern	\left[ A \right] \lbrack \rbrack	$\left[A\right]$ $\lbrack \rbrack$
Geschweifte Klammern	\left\{ A \right\} \lbrace \rbrace	$\left\{A\right\}$ $\lbrace \rbrace$
Abrundungsklammer	\left\lfloor A \right\rfloor	$\left\lfloor A\right\rfloor$
Aufrundungsklammer	\left\lceil A \right\rceil	$\left\lceil A\right\rceil$
Gewinkelte Klammern	\left\langle \right\rangle	$\left\langle A\right\rangle$
Betragsstriche	\left| A \right| \vert	$\left|A\right|$ $\vert$
Matrix	\left\| A \right\| \Vert	$\left\|A\right\|$ $\Vert$
Verwendung von \left. und \right., wenn man keinen Abgrenzer anzeigen will :	\left. {A \over B} \right\} \to X	$\left.{A \over B}\right\}\to X$

große Ausdrücke in Klammern

Unschön	( \frac{1}{2} )	$({\frac {1}{2}})$
Besser	\left( \frac{1}{2} \right)	$\left({\frac {1}{2}}\right)$

---

Pfeile

\downarrow $\downarrow$ \Downarrow $\Downarrow$ \hookleftarrow $\hookleftarrow$ \hookrightarrow $\hookrightarrow$ \leftarrow $\leftarrow$ \Leftarrow $\Leftarrow$ \leftrightarrow $\leftrightarrow$ \Leftrightarrow $\Leftrightarrow$ \longleftarrow $\longleftarrow$

\Longleftarrow $\Longleftarrow$ \Longleftrightarrow $\Longleftrightarrow$ \longmapsto $\longmapsto$ \longrightarrow $\longrightarrow$ \Longrightarrow $\Longrightarrow$ \mapsto $\mapsto$ \nearrow $\nearrow$ \nwarrow $\nwarrow$

\rightarrow $\rightarrow$ \Rightarrow $\Rightarrow$ \searrow $\searrow$ \swarrow $\swarrow$ \uparrow $\uparrow$ \Uparrow $\Uparrow$ \updownarrow $\updownarrow$ \Updownarrow $\Updownarrow$

Platz zwischen Zeichen

Für manuelle Kontrolle der Leerzeichen stellt Tex folgende Befehle zur Verfügung.

8fach	a \qquad b	$a\qquad b$
4fach	a \quad b	$a\quad b$
viel Platz	a\ b	$a\ b$
mittel Platz	a\;b	$a\;b$
wenig Platz	a\,b	$a\,b$
kein Platz	ab	$ab\,$
negativer Platz	a\!b	$a\!b$

Was nicht geht

Binäre Operatoren

• \ominus, \odot, \oslash, \ast, \bigcirc, \bigtriangledown, \bigtriangleup, \diamond, \div, \lhd, \rhd, \unlhd, \uplus, \unrhd

Binäre Vergleiche

\asymp, \bowtie, \dashv, \doteq, \gg, \Join, \ll, \prec, \preceq, \propto, \sqsubseteq, \sqsupseteq, \succ, \succeq

Negation

\not\asymp, \not\prec, \not\preqeq, \not\sym, \not\sqsubseteq, \not\sqsupseteq, \not\succ, \not\succec

Hebräisch

Es gehen nur die ersten Buchstaben \chet, \zayin, \waw, ... geht nicht

Pfeile

\leadsto \leftharpoondown \leftharpoonup \rightharpoondown \rightharpoonup \rightleftharpoons \longleftrightarrow

Klammern und Begrenzungssymbole

\lgroup \rgroup \lmoustache \rmoustache

Sonstige

\overset{x}{y} \unit{nF}

Fehler im Formelsubsystem von WP

Ein Fehler ist die Ausrichtung der Beschriftung bei Unterklammerung. Die Beschriftung erfolgt seitlich neben der Klammer statt zentriert unterhalb der Klammer.

$\varphi ({\vec {r}})\approx \underbrace {\frac {Q_{ges}}{4\cdot \pi \cdot \varepsilon \cdot \Vert {\vec {r}}\Vert }} _{\rm {Monopol-}}+\underbrace {\frac {{\vec {r}}\cdot P_{1}}{4\cdot \pi \cdot \varepsilon \cdot \Vert {\vec {r}}\Vert ^{3}}} _{\rm {Dipolannaeherung}}$

Vermeiden kann man dieses Verhalten, in dem man die Umgebung \begin{matrix}...\end{matrix} anwendet, innerhalb derer einzelne Zeilen durch den Zeilenwechsel \\ abgetrennt und übereinander angeordnet werden:

$\varphi ({\vec {r}})\approx {\begin{matrix}\ \\\underbrace {\frac {Q_{ges}}{4\cdot \pi \cdot \varepsilon \cdot \Vert {\vec {r}}\Vert }} \\{\textrm {Monopolannaeherung}}\end{matrix}}+{\begin{matrix}\ \\\underbrace {\frac {{\vec {r}}\cdot P_{1}}{4\cdot \pi \cdot \varepsilon \cdot \Vert {\vec {r}}\Vert ^{3}}} \\{\textrm {Dipolannaeherung}}\end{matrix}}$

Diese Verwendung birgt jedoch auch Nachteile: So ist die Beschriftung größer als gewünscht und die Grundlinie der Formel wird verfälscht: nicht mehr die eigentliche Formel bildet die Grundlinie, sondern die Mitte der Matrixumgebung. Die Formel selbst wird also gegenüber ihrer Umgebung angehoben.

Weblinks

• Ein PDF-Dokument zur TeX-Einführung -- ab Seite 39 gibt es eine gute math-Einführung: http://www.ctan.org/tex-archive/info/gentle/gentle.pdf?action=/starter/
• Das ist per Definition gut: http://www.ams.org/tex/amslatex.html
• Eine sehr gute Einführung zu LaTeX2e gibts unter Lshort. Nach dem Lesen dieser Einführung kann man schon sehr komplexe Dokumente setzen, deren Struktur und Erscheinung man nicht mehr missen möchte.
• Das Kochbuch für LaTeX beschreibt mathematische Formeln im 7. Kapitel; hier kann man alles auch gleich online ausprobieren.

---