LaTeX-Mathemodus für Linguisten (und andere)

GRIECHISCHE BUCHSTABEN RECHENZEICHEN

Zeichen Code Zeichen Code Zeichen Bedeutung Code
A A ↵ $\alpha$ a+b Addition $a+b$
B B $\beta$ a b Subtraktion $-$
$\Gamma$ $\Gamma$ a:b Division $a:b$
$\Delta$ $\delta$ a/b (meist Bruch) $a/b$
E E ✏ $\epsilon$ a÷b $a\div b$
a
" $\varepsilon$ b
$\frac{a}{b}$
Z Z ⇣ $\zeta$ a mod b Modulo $a\ \textrm{mod}\ b$
H H ⌘ $\eta$ a·b Multiplikation $a\cdot b$
⇥ $\Theta$ ✓ $\theta$ a⇥b (meist kein Symbol) $a\times b$
# $\vartheta$ a±b Plusminuszeichen $a\pm b$
I I ◆ $\iota$ a b direkte Summe $a\oplus b$
K K  $\kappa$ a⌦b Tensorprodukt $a\otimes b$
⇤ $\Lambda$ $\lambda$
M M µ $\mu$ GLEICHHEITSZEICHEN
N N ⌫ $\nu$ Zeichen Bedeutung Code
⌅ $\Xi$ ⇠ $\xi$ a=b Gleichung $a=b$
O O o o a 6= b Ungleichung $a\neq b$
⇧ $\Pi$ ⇡ $\pi$ a⌘b Identitätsgleichung $a\equiv b$
$ $\varpi$ a⇡b Rundung $a\approx b$
P P ⇢ $\rho$
a⇠b Proportionalität, Äquivalenz $a\sim b$
% $\varrho$
b
a=b Entspricht $a\widehat{=}b$
⌃ $\Sigma$ $\sigma$
A:B A durch B definiert $A:B$
& $\varsigma$
A := B A per Definition gleich B $A:=B$
T T ⌧ $\tau$
⌥ $\Upsilon$ $\upsilon$
$\Phi$ $\phi$ VERGLEICH
' $\varphi$ Zeichen Bedeutung Code
X X $\chi$ a<b kleiner als $a<b$
$\Psi$ $\psi$ a>b größer als $a>b$
⌦ $\Omega$ ! $\omega$ ab kleiner gleich $a\leq b$
a b größer gleich $a\geq b$
a⌧b viel kleiner als $a\ll b$
MATHACCENTS
Zeichen Code Zeichen Code a b viel größer als $a\gg b$
á $\acute{a}$ a $\underline{a}$
à $\grave{a}$ a $\overline{a}$ RELATIONEN UND FUNKTIONEN
ä $\ddot{a}$ ā $\bar{a}$ Zeichen Bedeutung Code
ȧ $\dot{a}$ ~a $\vec{a}$ |a| Betragsfunktion $|a|$
p
ǎ $\check{a}$ ã $\tilde{a}$ a Wurzel $\sqrt{a}$
p
n
â $\hat{a}$ ă $\breve{a}$ a n-te Wurzel $\sqrt[n]{a}$
a $\overleftarrow{a}$ !a $\overrightarrow{a}$ a% Prozent $a\%$
P
n
xi Summe $\sum\limits_{i=1}^{n}$ x_i
ZAHLENMENGEN i=1
Zeichen Bedeutung Code Q
n
xi Produkt $\prod\limits_{i=1}^{n}$ x_i
N Natürliche Zahlen \mathbb{N}1 i=1
an ! a Grenzwert, $a_n\to a$
Z Ganze Zahlen \mathbb{Z}1
Abbildung (Mengen)
Q Rationale Zahlen \mathbb{Q}1
f : x 7! y Abbildung (Elemente) $f: x\mapsto y$
R Reelle Zahlen \mathbb{R}1
1 Unendlichkeit $\infty$
f g Verkettung von Funktionen $f\circ g$
f 1 Umkehrfunktion $f^{-1}$
a b Vorgänger $a\prec b$
a b Nachfolger $a\succ b$
R+ Transitive Hülle $R^{+}$
R⇤ Reflexiv-transitive Hülle $R^{*}$
n! Fakultät $n!$
n
k
Binomialkoeffizient $\binom{n}{k}$2
KLAMMERN
Zeichen Bedeutung Code Zeichen Bedeutung Code Zeichen Bedeutung Code
(a) Rund $(a)$ [a] Eckig (Merkmale) $[a]$ {a}
 Geschweift (Mengen) $\{a\}$
a b
hai Spitz $\langle a\rangle$ JaK Dopp. eckig (Denotation) $\llbracket a\rrbracket$3 Große Kl. $\left[...\right]$
c d

PFEILE MATRIZEN
Zchn. Code Zchn. Code Zchn. Code Zchn. Code Zeichen Code
! $\rightarrow$ $\leftarrow$ $ $\leftrightarrow$ 7 ! $\mapsto$ (v1 , . . . , vn ) $(v_1, \dots, v_n)$
! $\longrightarrow$ $\longleftarrow$ ! $\longleftrightarrow$ 7 ! $\longmapsto$ 0 1 $\left(\begin{matrix}
v1
) $\Rightarrow$ ( $\Leftarrow$ , $\Leftrightarrow$ ⌧ $\leftrightarrows$1 v_1\\
B . C
=) $\Longrightarrow$ (= $\Longleftarrow$ () $\Longleftrightarrow$ ; $\leadsto$4 @ .. A \vdots\\
9 $\nrightarrow$1 8 $\nleftarrow$1 = $\nleftrightarrow$1 x $\curvearrowleft$1 vm
v_m
; $\nRightarrow$1 : $\nLeftarrow$1 < $\nLeftrightarrow$1 y $\curvearrowright$1 \end{matrix}\right)$
" $\uparrow$ # $\downarrow$ l $\updownarrow$ $\circlearrowleft$1 0 1 $\left(\begin{matrix}
v11 ... v1n
* $\Uparrow$ + $\Downarrow$ m $\Updownarrow$ $\circlearrowright$1 v_{11} & \dots & v_{1n}\\
B . .. .. C
% $\nearrow$ - $\nwarrow$ - $\hookleftarrow$ $\rightsquigarrow$1 @ .. . . A
\vdots & \ddots & \vdots\\
& $\searrow$ . $\swarrow$ ,! $\hookrightarrow$ ! $\leftrightsquigarrow$1 v_{m1} & \dots & v_{mn}
vm1 ... vmn
99K $\dashrightarrow$1 L99 $\dashleftarrow$1 \end{matrix}\right)$

MENGEN LOGIK
Zeichen Bedeutung Code Zeichen Bedeutung Code
; leere Menge $\emptyset$ ; leere Menge $\emptyset$
{a, b, c, ...} Listennotation Menge $\{a,b,c,...\}$ A^B Konjunktion $A\land B$
{a | T (a)}, {a : T (a)} Eigenschaftsnotation Menge $\{a\mid T(a)\}$, $\{a: T(a)\}$ A_B Disjunktion $A\lor B$
A[B Vereinigung $A\cup B$ A$B Log. Äquivalenz $A\leftrightarrow B$
S
n
A!B Implikation $A\rightarrow B$
Mi $$\bigcup\limits_{i=1}^n M_i$$
i=1 ¬A Negation $\lnot A$
A\B Durchschnitt $A\cap B$ 8x Allquantor $\forall x$
T
n
9x Existenzquantor $\exists x$
Mi Durchschnitt $\bigcap\limits_{i=1}^n M_i$
i=1 A`B Ableitbarkeitsrelation $A\vdash B$
A\B Di↵erenz $A\setminus B$ A |= B Schlussfolgerung $A\models B$
A⇥B kartesisches Produkt $A\times B$ A> Tautologie $A\top$
Ā Komplement $\bar{A}$ A? Kontradiktion $A\bot$
P(A) Potenzmenge $\mathcal{P}(A)$ A)B Ableitung (weil A, auch B) $A\therefore B$1
a 2 A, a 62 A (nicht) enthalten in $a\in A$, $a\not\in A$ A*B Ableitung (A, denn auch B) $A\because B$1
A 3 a, A 63 a enthält (nicht) $A\ni a$, $A\not\ni a$ ⌅, 2 q.e.d. $\blacksquare$1 , $\Box$
A ⇢ B, A 6⇢ B (keine) echte Teilmenge von $A\subset B$,
$A\not\subset B$
A B, A 6 B (keine) echte Obermenge von $A\supset B$,
$A\not\supset B$
A ✓ B, A 6✓ B (keine) Teilmenge von $A\subseteq B$,
$A\not\subseteq B$
A ◆ B, A 6◆ B (keine) Obermenge von $A\supseteq B$,
$A\not\supseteq B$

1 Verlangt Paket amssymb.

2 Verlangt Paket amsmath.
3 Verlangt Paket stmaryrd.
4 Verlangt Paket latexsym.