Kleine LaTeX Einführung - Mathematische Notation

Wie setzt man Formeln in einem LaTeX-Dokument?

Im Moodle Formel Editor muss man die Dollar Zeichen wie unten besprochen nicht setzen.

In einem LaTeX Dokument werden mathematische Zeichen zwischen Dollar Zeichen gesetzt: $ ..$ oder auch $...$. Wenn das Dokument produziert wird, sind diese Dollar Zeichen nicht mehr sichtbar. Etwa

Dies ist ein Beispiel $\alpha$

produziert

Dies ist ein Beispiel $\alpha$ .

Will man lieber zentrierte Formeln so benutzt man doppelte Dollar Zeichen $$...$$ oder \[...\]. Etwa:

Ich demonstriere das mit folgender Formel:
\[ p \wedge q \rightarrow s \]

produziert

Ich demonstriere das mit folgender Formel: $p\wedge q \rightarrow s$

Welche Zeichen gibt es?

Eine sehr umfangreiche Zeichentabelle findet sich auf ctan. Hier bespreche ich die wichtigsten Zeichen zum Setzen von Formeln.

Junktoren und Quantoren

Zeichen	erzeugt	sprich
$\neg$	$\neg$	Negation
$\wedge$	$\wedge$	Konjunktion
$\vee$	$\vee$	Disjunktion
$\rightarrow$	$\rightarrow$	Implikation
$\supset$	$\supset$	Implikation
$\leftrightarrow$	$\leftrightarrow$	Equivalenz
$\equiv$	$\equiv$	Equivalenz
$\forall$	$\forall$	universaler Quantor
$\exists$	$\exists$	existentialer Quantor

Griechische Buchstaben

Zeichen	erzeugt	sprich
`\alpha`	$\alpha$	alpha
`\beta`	$\beta$	beta
`\gamma`	$\gamma$	gamma
`\lambda`	$\lambda$	lambda
$\Lambda$	$\lambda$	lambda
$\Theta$	$\Theta$	theta

Zeichen der logischen Metasprache

Zeichen	erzeugt	sprich
$\vdash$	$\vdash$	logische Konsequenz, Beweisbarkeit
$\vDash$	$\vDash$	semantische Konsequenz
$\Vdash$	$\Vdash$	semantische Konsequenz
$\models$	$\models$	Gültigkeit

Mengenlehre

Zeichen	erzeugt	sprich
$\in$	$\in$	Element von
$\subseteq$	$\subseteq$	Teilmengenbeziehung
$\subset$	$\subset$	strikte Teilmengenbeziehung
$\emptyset$	$\emptyset$	leere Menge
$\{ ... \}$	${ ~~ }$	Mengenklammern

Sub- und Superskripts

Zeichen	erzeugt
$x^2$	$x^2$
$x^{2,3,4}$	$x^{2,3,4}$
$x_2$	$x_2$
$x^{2,3,4}$	$x^{2,3,4}$

Vorsicht: Falls mehrere Zeichen im Sub- oder Superskript stehen, muss man diese in {...} setzen.

Tabellen und Fallunterscheidungen

Eine mathematische Tabelle, etwa eine Wahrheitstabelle, wird wie folgt erzeugt:

\[
\begin{array}{c | c c}
\land & 0 & 1 \\ \hline
    0 & 0 & 0 \\
    1 & 0 & 1 \\
\end{array}
\]

erzeugt folgende Tabelle:

Erläuterungen: Mit \begin{array} und \end{array} wird jeweils der Beginn bzw. das Ende der Tabelle signalisiert. Mit {c | c c} wird signalisiert, dass wir drei Spalten haben mit zentrierter Ausrichtung des Texts (deshalb die drei c) und dass zwischen der ersten und der letzten Spalte eine Linie gezogen wird (deshalb der Querbalken |). Hier ist ein Beispiel für eine 4-spaltige Tabelle und einer Linie zwischen Spalten 3 und 4, wobei hier die Spalte 3 links ausgerichtet ist und Spalte 4 ist rechts ausgrichtet (zu didaktischen Zwecken!):

\[
\begin{array}{c c l | r}
\land & 0 & i & 1 \\ \hline
    0 & 0 & 0 & 0 \\
    i & 0 & i & i \\
    1 & 0 & i & 1 \\
\end{array}
\]

Das Ergebnis ist wie folgt

Neue Zeilen werden in LaTeX mit \\ erzeugt. Der Ausdruck \hline bewirkt, dass eine horizontale Linie gezogen wird.

Eine Fallunterscheidung wird wie folgt erzeugt:

\[
\begin{cases}
 p \wedge q & \mbox{Fall 1} \\
 p \vee q   & \mbox{Fall 2}
\end{cases}
\]

erzeugt folgende Fallunterscheidung:

Schriftarten im Zeichensatz

Es gibt verschiedene Schriftarten, die man in mathematischen Ausdrücken verwenden kann:

Zeichen	erzeugt	Schriftart
$\mathcal{A}$	$\mathcal{A}$	kalligrafisch
$\mathfrak{A}$	$\mathfrak{A}$	Fraktur
$\mathbb{A}$	$\mathbb{A}$	Tafel
$\mathit{A}$	$\mathit{A}$	kursiv
$\mathbf{A}$	$\mathbf{A}$	fett