Liste mathematischer Symbole

Einige mathematische Symbole

Diese Liste mathematischer Symbole zeigt eine Auswahl der gebräuchlichsten Symbole, die in moderner mathematischer Notation innerhalb von Formeln verwendet werden. Da es praktisch unmöglich ist, alle jemals in der Mathematik verwendeten Symbole aufzuführen, werden in dieser Liste nur diejenigen Symbole angegeben, die häufig im Mathematikunterricht oder im Mathematikstudium auftreten. Viele der Zeichen sind genormt, beispielsweise in DIN 1302 Allgemeine mathematische Zeichen oder DIN EN ISO 80000-2 Größen und Einheiten – Teil 2: Mathematische Zeichen für Naturwissenschaft und Technik.

Die folgende Liste beschränkt sich weitgehend auf nicht-alphanumerische Zeichen. Sie ist nach Teilgebieten der Mathematik unterteilt und innerhalb der Teilgebiete inhaltlich gruppiert. Manche Symbole haben je nach Kontext eine unterschiedliche Bedeutung und tauchen entsprechend mehrmals in der Liste auf. Weiterführende Informationen zu den Symbolen und ihrer Bedeutung finden sich in den jeweils verlinkten Artikeln.

Erklärung

Für jedes mathematische Symbol werden folgende Informationen angegeben:

Symbol

Das Symbol, wie es durch LaTeX dargestellt wird. Bei mehreren typografischen Varianten wird nur eine der Varianten gezeigt.

Verwendung

Eine beispielhafte Verwendung des Symbols innerhalb einer Formel. Buchstaben stehen hierbei als Platzhalter für Zahlen, Variablen oder komplexere Ausdrücke. Unterschiedliche Verwendungsmöglichkeiten werden separat aufgeführt.

Interpretation

Eine kurze textuelle Beschreibung der Bedeutung der Formel in der vorangegangenen Spalte.

Artikel

Der Wikipedia-Artikel, in dem die Bedeutung (Semantik) des Symbols behandelt wird.

LaTeX

Der LaTeX-Befehl, mit dem das Symbol erzeugt wird. Zeichen aus dem ASCII-Zeichensatz können mit wenigen Ausnahmen (Rautezeichen, Backslash, geschweifte Klammern, Prozentzeichen) direkt verwendet werden. Hoch- und Tiefstellung erfolgt über die Zeichen ^ und _ und ist nicht explizit angegeben. Einige der Zeichen erfordern das Verwenden der Packages amsmath und/oder amssymb.

Unicode

Der Codepunkt des entsprechenden Unicode-Zeichens. Manche Zeichen sind kombinierend und erfordern die Eingabe weiterer Zeichen. Bei Klammern werden jeweils die Codepunkte der öffnenden und der schließenden Klammer angegeben.

Mengenlehre

Mengenkonstruktion

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\varnothing$	$\{\ \}$	leere Menge	Leere Menge	\varnothing, \emptyset	U+2205
$\{~\}$	$\{a,b,\ldots \}$	Menge bestehend aus den Elementen $a$, $b$ und so weiter	Menge (Mathematik), Klasse (Mengenlehre)	\{ \}	U+007B; U+007D
$\mid$	$\{a\mid T(a)\}$	Menge oder Klasse der Elemente $a$, die die Bedingung $T(a)$ erfüllen		\mid	U+007C
$\colon$	$\{a:T(a)\}$			:	U+003A

Mengenoperationen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\cup$	$A\cup B$	Vereinigung der Mengen $A$ und $B$	Vereinigungsmenge	\cup	U+222A
$\bigcup$	$\bigcup _{i=1}^{n}A_{i}$, $\bigcup _{i\in I}A_{i}$	Vereinigung aller Mengen $A_{i}$ mit $i=1$ bis $n$ bzw. aller Mengen $A_{i}$ mit $i$ in der Menge $I$	Vereinigungsmenge	\bigcup
$\cap$	$A\cap B$	Durchschnitt der Mengen $A$ und $B$	Schnittmenge	\cap	U+2229
$\bigcap$	$\bigcap _{i=1}^{n}A_{i}$, $\bigcap _{i\in I}A_{i}$	Durchschnitt aller Mengen $A_{i}$ mit $i=1$ bis $n$ bzw. aller Mengen $A_{i}$ mit $i$ in der Menge $I$	Schnittmenge	\bigcap
$\setminus$	$A\setminus B$	Differenz der Mengen $A$ und $B$	Differenzmenge	\setminus	U+2216
$\triangle$	$A\,\triangle \,B$	symmetrische Differenz der Mengen $A$ und $B$	Symmetrische Differenz	\triangle	U+25B3
$\times$	$A\times B$	kartesisches Produkt der Mengen $A$ und $B$	Kartesisches Produkt	\times	U+2A2F
${\dot {\cup }}$	$A\,{\dot {\cup }}\,B$	Vereinigung disjunkter Mengen $A$ und $B$	Disjunkte Vereinigung	\dot\cup	U+228D
$\sqcup$	$A\sqcup B$	Disjunkte Vereinigung der Mengen $A$ und $B$		\sqcup	U+2294
${}^{\mathrm {C} }$	$A^{\mathrm {C} }$	Komplement der Menge $A$	Komplement (Mengenlehre)	^\mathrm{C}	U+2201
${\overline {~~}}$	${\overline {A}}$			\overline	U+0305
${\mathcal {P}}$	${\mathcal {P}}(A)$	Potenzmenge der Menge $A$	Potenzmenge	\mathcal{P}	U+1D4AB
${\mathfrak {P}}$	${\mathfrak {P}}(A)$			\mathfrak{P}	U+1D513

Mengenrelationen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\subset$	$A\subset B$	$A$ ist echte Teilmenge von $B$	Teilmenge	\subset	U+2282
$\subsetneq$	$A\subsetneq B$			\subsetneq	U+228A
$\subseteq$	$A\subseteq B$	$A$ ist Teilmenge von $B$		\subseteq	U+2286
$\supset$	$A\supset B$	$A$ ist echte Obermenge von $B$	Obermenge	\supset	U+2283
$\supsetneq$	$A\supsetneq B$			\supsetneq	U+228B
$\supseteq$	$A\supseteq B$	$A$ ist Obermenge von $B$		\supseteq	U+2287
$\in$	$a\in A$	das Element $a$ ist in der Menge $A$ enthalten	Element (Mathematik)	\in	U+2208
$\ni$	$A\ni a$			\ni, \owns	U+220B
$\notin$	$a\notin A$	das Element $a$ ist nicht in der Menge $A$ enthalten		\notin	U+2209
$\not \ni$	$A\not \ni a$			\not\ni	U+220C

Hinweis: Die Symbole $\subset$ und $\supset$ werden nicht einheitlich verwendet und schließen häufig die Gleichheit der beiden Mengen nicht aus.

Siehe auch: Notationen der Teilmenge

Zahlenmengen

Symbol	Interpretation	Artikel	LaTeX	Unicode
$\mathbb {P}$	Primzahlen	Primzahl	\mathbb{P}	U+2119
$\mathbb {N}$	natürliche Zahlen	Natürliche Zahl	\mathbb{N}	U+2115
$\mathbb {Z}$	ganze Zahlen	Ganze Zahl	\mathbb{Z}	U+2124
$\mathbb {F}$	endlicher Körper mit Primzahlcharakteristik	Endlicher Körper	\mathbb{F}	U+1D53D
$\mathbb {Q}$	rationale Zahlen	Rationale Zahl	\mathbb{Q}	U+211A
$\mathbb {I}$	irrationale Zahlen	(Reelle) irrationale Zahl	\mathbb{I}	U+1D540
$\mathbb {A}$	algebraische Zahlen	(Komplexe) algebraische Zahl	\mathbb{A}	U+1D538
$\mathbb {T}$	transzendente Zahlen	Reelle transzendente Zahl	\mathbb{T}	U+1D54B
$\mathbb {R}$	reelle Zahlen	Reelle Zahl	\mathbb{R}	U+211D
${}^{*}\mathbb {R}$	hyperreelle Zahlen	Hyperreelle Zahl	{}^*\mathbb{R}	U+211D
$\mathbb {C}$	komplexe Zahlen	Komplexe Zahl	\mathbb{C}	U+2102
$\mathbb {H}$	Quaternionen	Quaternion	\mathbb{H}	U+210D
$\mathbb {O}$	Oktonionen	Oktonion	\mathbb{O}	U+1D546
$\mathbb {S}$	Sedenionen	Sedenion	\mathbb{S}	U+1D54A
$\mathbb {K}$	$\mathbb {K} \in \{\mathbb {R} ,\mathbb {C} \}$	Algebren	\mathbb{K}	U+1D542

Mächtigkeiten

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$|~~|$	$|A|$	Mächtigkeit (Kardinalität) einer Menge $A$	Mächtigkeit (Mathematik)	\vert	U+007C
$\#$	$\#A$			\#	U+0023
${\mathfrak {c}}$		Mächtigkeit des Kontinuums	Kontinuum (Mathematik)	\mathfrak{c}	U+1D520
$\aleph$	$\aleph _{0}$, $\aleph _{1}$, ...	Kardinalzahlen	Kardinalzahl (Mathematik)	\aleph	U+2135
$\beth$	$\beth _{0}$, $\beth _{1}$, ...	Beth-Zahlen	Beth-Funktion	\beth	U+2136

Arithmetik

Rechenzeichen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$+$	$a+b$	$a$ und $b$ werden addiert	Addition	+	U+002B
$-$	$a-b$	$b$ wird von $a$ subtrahiert	Subtraktion	-	U+2212
⁒	$a$ ⁒ $b$			\textdiscount,\slashdiv,⁒	U+2052
$\cdot$	$a\cdot b$	$a$ und $b$ werden multipliziert	Multiplikation	\cdot	U+22C5
$\times$	$a\times b$			\times	U+2A2F
$:$	$a:b$	$a$ wird durch $b$ dividiert	Division (Mathematik)	:	U+003A
$/$	$a/b$			/	U+2215
$\div$	$a\div b$			\div	U+00F7
${\frac {~~}{~~}}$	${\tfrac {a}{b}}$			\frac	U+2044
$-$	$-a$	negative Zahl $a$ oder additiv Inverses von $a$	Unäres Minus	-	U+2212
$\pm$	$\pm a$	plus oder minus $a$	Plusminuszeichen	\pm	U+00B1
$\mp$	$\mp a$	minus oder plus $a$		\mp	U+2213
$(~)$	$(a)$	der Term $a$ wird zuerst ausgewertet	Klammer (Zeichen)	( )	U+0028 U+0029
$[~]$	$[a]$			[ ]	U+005B/D

Gleichheitszeichen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$=$	$a=b$	$a$ ist gleich $b$	Gleichung	=	U+003D
$\neq$	$a\neq b$	$a$ ist nicht gleich $b$	Ungleichung	\neq	U+2260
$\equiv$	$a\equiv b$	$a$ ist identisch mit $b$	Identitätsgleichung	\equiv	U+2261
$\approx$	$a\approx b$	$a$ ist ungefähr gleich $b$	Rundung	\approx	U+2248
$\sim$	$a\sim b$	$a$ ist proportional zu $b$	Proportionalität	\sim	U+223C
$\propto$	$a\propto b$			\propto	U+221D
${\widehat {=}}$	$a\,{\widehat {=}}\,b$	$a$ entspricht $b$	Entspricht-Zeichen	\widehat{=}	U+2259
$\sim$	$a\sim b$	$a$ wird genauso geschätzt wie $b$	Präferenzrelation	\sim	-
$\simeq$	$a\simeq b$	$a$ ist asymptotisch gleich $b$		\simeq	U+2243

Siehe auch: Das Gleichheitszeichen und seine Abwandlungen

Vergleichszeichen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$<$	$a<b$	$a$ ist kleiner als $b$	Vergleich (Zahlen)	<	U+003C
$>$	$a>b$	$a$ ist größer als $b$		>	U+003E
$\leq$	$a\leq b$	$a$ ist kleiner als $b$ oder gleich $b$		\le, \leq	U+2264
$\leqq$	$a\leqq b$			\leqq	U+2266
$\geq$	$a\geq b$	$a$ ist größer als $b$ oder gleich $b$		\ge, \geq	U+2265
$\geqq$	$a\geqq b$			\geqq	U+2267
$\ll$	$a\ll b$	$a$ ist viel kleiner als $b$		\ll	U+226A
$\gg$	$a\gg b$	$a$ ist viel größer als $b$		\gg	U+226B
$\lll$	$a\lll b$	$a$ ist sehr viel kleiner als $b$		\lll	U+22D8
$\ggg$	$a\ggg b$	$a$ ist sehr viel größer als $b$		\ggg	U+22D9
$\lessgtr$	$a\lessgtr b$	$a$ ist kleiner oder größer als $b$		\lessgtr	U+2276
$\gtrless$	$a\gtrless b$	$a$ ist größer oder kleiner als $b$		\gtrless	U+2277
$\prec$	$a\prec b$	$b$ wird gegenüber $a$ strikt vorgezogen	Präferenzrelation	\prec	U+227A
$\succ$	$a\succ b$	$a$ wird gegenüber $b$ strikt vorgezogen		\succ	U+227B
$\preccurlyeq$	$a\preccurlyeq b$	$b$ wird $a$ schwach vorgezogen bzw. $b$ ist mindestens so gut wie $a$		\preccurlyeq	U+227C
$\succcurlyeq$	$a\succcurlyeq b$	$a$ wird $b$ schwach vorgezogen bzw. $a$ ist mindestens so gut wie $b$		\succcurlyeq	U+227D

Siehe auch: Liste der Vergleichszeichen

Teilbarkeit

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\mid$	$a\mid b$	$a$ teilt $b$	Teilbarkeit	\mid	U+2223
$\parallel$	$a\parallel b$	$a$ teilt $b$ exakt		\parallel	U+2225
$\nmid$	$a\nmid b$	$a$ teilt $b$ nicht		\nmid	U+2224
$\perp$	$a\perp b$	$a$ und $b$ sind teilerfremd	Teilerfremdheit	\perp	U+22A5
$\sqcap$	$a\sqcap b$	größter gemeinsamer Teiler von $a$ und $b$	Größter gemeinsamer Teiler	\sqcap	U+2293
$\wedge$	$a\wedge b$			\wedge	U+2227
$\sqcup$	$a\sqcup b$	kleinstes gemeinsames Vielfaches von $a$ und $b$	Kleinstes gemeinsames Vielfaches	\sqcup	U+2294
$\vee$	$a\vee b$			\vee	U+2228
$\equiv$	$a\equiv b{\bmod {m}}$	$a$ und $b$ sind kongruent modulo $m$	Kongruenz (Zahlentheorie)	\equiv	U+2261

Intervalle

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$[~~]$	$[a,b]$	abgeschlossenes Intervall zwischen $a$ und $b$	Intervall	( ) [ ]	U+0028 U+0029 U+005B/D
$]~~[$	$]a,b[$	offenes Intervall zwischen $a$ und $b$
$(~~)$	$(a,b)$
$[~~[$	$[a,b[$	rechts halboffenes Intervall zwischen $a$ und $b$
$[~~)$	$[a,b)$
$]~~]$	$]a,b]$	links halboffenes Intervall zwischen $a$ und $b$
$(~~]$	$(a,b]$

Elementare Funktionen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$|~~|$	$|x|$	Betrag von $x$	Betragsfunktion	\vert	U+007C
$\left[~~\right]$	$\left[x\right]$	größte ganze Zahl kleiner oder gleich $x$ (veraltete Schreibweise)	Gaußklammer	[ ]	U+005B/D
$\lfloor ~~\rfloor$	$\lfloor x\rfloor$	größte ganze Zahl kleiner oder gleich $x$		\lfloor \rfloor	U+230A/B
$\lceil ~~\rceil$	$\lceil x\rceil$	kleinste ganze Zahl größer oder gleich $x$		\lceil \rceil	U+2308/9
${\sqrt {\,}}$	${\sqrt {x}}$	Wurzel aus $x$	Wurzel (Mathematik)	\sqrt	U+221A
	${\sqrt[{n}]{x}}$	$n$-te Wurzel aus $x$
$\%$	$p\,\%$	$p$ Prozent	Prozent	\%	U+0025

Anmerkung: die Potenzfunktion wird nicht durch ein eigenes Symbol, sondern durch Hochstellung des Exponenten dargestellt.

Komplexe Zahlen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\Re$	$\Re (z)$	Realteil der komplexen Zahl $z$	Komplexe Zahl	\Re	U+211C
$\Im$	$\Im (z)$	Imaginärteil der komplexen Zahl $z$		\Im	U+2111
${\bar {~}}$	${\bar {z}}$	Konjugiert komplexe Zahl der Zahl $z$	Komplexe Konjugation	\bar	U+0305
${}^{\ast }$	$z^{\ast }$			\ast	U+002A
$|~~|$	$|z|$	Betrag der komplexen Zahl $z$	Betragsfunktion	\vert	U+007C

Anmerkung: zur Bezeichnung des Real- und Imaginärteils einer komplexen Zahl sind vor allem die Abkürzungen $\operatorname {Re}$ und $\operatorname {Im}$ gebräuchlich.

Mathematische Konstanten

Symbol	Interpretation	Artikel	LaTeX	Unicode
$\pi$	Kreiszahl	Kreiszahl	\pi	U+03C0
$\mathrm {e}$	eulersche Zahl	Eulersche Zahl	\mathrm{e}	U+0065
$\Phi$	goldener Schnitt	Goldener Schnitt	\Phi	U+03A6
$\mathrm {i}$	imaginäre Einheit	Imaginäre Zahl	\mathrm{i}	U+0069

Siehe auch: mathematische Konstante für Symbole weiterer mathematischer Konstanten.

Analysis

Folgen und Reihen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\sum$	$\sum _{i=1}^{n},\sum _{i\in I}$	Summe von $i=1$ bis $n$ bzw. über alle $i$ in der Menge $I$	Summe	\sum	U+2211
$\prod$	$\prod _{i=1}^{n},\prod _{i\in I}$	Produkt von $i=1$ bis $n$ bzw. über alle $i$ in der Menge $I$	Produkt (Mathematik)	\prod	U+220F
$\coprod$	$\coprod _{i=1}^{n},\coprod _{i\in I}$	Koprodukt von $i=1$ bis $n$ bzw. über alle $i$ in der Menge $I$	Koprodukt	\coprod	U+2210
$(~~)$	$(a_{n})_{n}$	Folge mit den Folgengliedern $a_{1},a_{2},\ldots$	Folge (Mathematik)	( )	U+0028 U+0029
$\to$	$a_{n}\to a$	die Folge $(a_{n})$ konvergiert gegen den Grenzwert $a$	Grenzwert (Folge)	\to	U+2192
$\infty$	$n\to \infty$	$n$ divergiert nach unendlich	Unendlichkeit	\infty	U+221E

Funktionen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\to$	$f\colon A\to B$	die Funktion $f$ bildet von der Menge $A$ in die Menge $B$ ab	Funktion (Mathematik)	\to	U+2192
	$A\,{\stackrel {f}{\to }}\,B$
$\mapsto$	$f\colon x\mapsto y$	die Funktion $f$ bildet das Element $x$ auf das Element $y$ ab		\mapsto	U+21A6
	$x\,{\stackrel {f}{\mapsto }}\,y$
$(~~)$	$f(x)$	Funktionswert von $f$ für das Element $x$	Bild (Mathematik)	( )	U+0028 U+0029
	$f(X)$	Bild der Menge $X$ unter der Funktion $f$
$[~~]$	$f[X]$			[ ]	U+005B/D
$\vert$	$f\vert _{X}$	Einschränkung der Funktion $f$ auf die Menge $X$	Einschränkung	\vert	U+007C
$\cdot$	$f(\cdot )$	Platzhalter für eine Variable als Argument der Funktion $f$	Variable (Mathematik)	\cdot	U+22C5
${}^{-1}$	$f^{-1}$	Umkehrfunktion zu $f$	Umkehrfunktion	-1	U+207B
	$f^{-1}(Y)$	Urbild der Menge $Y$ unter der Funktion $f$	Urbild (Mathematik)
$\circ$	$f\circ g$	Verkettung der Funktionen $f$ und $g$	Komposition (Mathematik)	\circ	U+2218
$\ast$	$f\ast g$	Faltung der Funktionen $f$ und $g$	Faltung (Mathematik)	\ast	U+2217
${\hat {~}}$	${\hat {f}}$	Fourier-Transformierte der Funktion $f$	Fourier-Transformation	\hat	U+0302

Siehe auch: Symbolische Schreibweisen für Funktionen für weitere Notationsvarianten

Grenzwerte

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\uparrow$	$\lim _{x\uparrow a}f(x)$	linksseitiger Grenzwert der Funktion $f$ für $x$ gegen $a$	Grenzwert (Funktion)	\uparrow	U+2191
$\nearrow$	$\lim _{x\nearrow a}f(x)$			\nearrow	U+2197
$\to$	$\lim _{x\to a}f(x)$	beidseitiger Grenzwert der Funktion $f$ für $x$ gegen $a$		\to	U+2192
$\searrow$	$\lim _{x\searrow a}f(x)$	rechtsseitiger Grenzwert der Funktion $f$ für $x$ gegen $a$		\searrow	U+2198
$\downarrow$	$\lim _{x\downarrow a}f(x)$			\downarrow	U+2193
$X_{n}{\xrightarrow {p}}X$	$\operatorname {plim} (X_{n})=X$	Konvergenz in Wahrscheinlichkeit für $X_{n}$ gegen $X$	Konvergenz (Stochastik)	\to	U+2192
$X_{n}{\xrightarrow {d}}X$	$x_{n}{\xrightarrow {d}}x$	Konvergenz in Verteilung für $x_{n}$ gegen $x$		\to	U+2192
$X_{n}{\xrightarrow {m}}X$	$x_{n}{\xrightarrow {m}}x$	Konvergenz im quadratischen Mittel für $x_{n}$ gegen $x$		\to	U+2192

Asymptotisches Verhalten

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\sim$	$f\sim g$	die Funktion $f$ ist asymptotisch gleich der Funktion $g$	Asymptotische Analyse	\sim	U+223C
$o$	$f\in o(g)$	die Funktion $f$ wächst langsamer als $g$	Landau-Symbole	o	U+006F
${\mathcal {O}}$	$f\in {\mathcal {O}}(g)$	die Funktion $f$ wächst langsamer oder genauso schnell wie $g$		\mathcal{O}	U+1D4AA
$\Theta$	$f\in \Theta (g)$	die Funktion $f$ wächst genauso schnell wie $g$		\Theta	U+0398
$\Omega$	$f\in \Omega (g)$	die Funktion $f$ wächst schneller oder genauso schnell wie $g$		\Omega	U+03A9
$\omega$	$f\in \omega (g)$	die Funktion $f$ wächst schneller als $g$		\omega	U+03C9

Differentialrechnung

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
${}'$	$f',f''$	erste bzw. zweite Ableitung der Funktion $f$	Differentialrechnung	\prime	U+2032
$\cdot$	${\dot {f}},{\ddot {f}}$	erste bzw. zweite Ableitung von $f$ nach der Zeit (in der Physik)		\dot, \ddot	U+0307, U+0308
${}^{(~)}$	$f^{(n)}$	$n$-te Ableitung der Funktion $f$		( )	U+0028 U+0029
$\mathrm {d}$	${\frac {\mathrm {d} f}{\mathrm {d} x}}$	Ableitung der Funktion $f$ nach $x$		\mathrm{d}	U+0064
	$\mathrm {d} f$	totales Differential der Funktion $f$	Totales Differential
$\partial$	${\frac {\partial \!f}{\partial x}}$	partielle Ableitung der Funktion $f$ nach $x$	Partielle Ableitung	\partial	U+2202

Siehe auch: Notationen der Ableitung

Integralrechnung

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\int$	$\int _{a}^{b}$, $\displaystyle \int _{G}$	bestimmtes Integral zwischen $a$ und $b$ bzw. über das Gebiet $G$	Integralrechnung	\int	U+222B
$\oint$	$\oint _{\gamma }$	Integral über die Kurve $\gamma$	Kurvenintegral	\oint	U+222E
$\iint$	$\iint _{\mathcal {F}}$	Integral über die Fläche ${\mathcal {F}}$	Oberflächenintegral	\iint	U+222C
$\iiint$	$\iiint _{V}$	Integral über das Volumen $V$	Volumenintegral	\iiint	U+222D
$\int \limits _{a}^{\bar {b}}$	$\int \limits _{a}^{\bar {b}}f(x)\ \mathrm {d} x$	Oberintegral von $f$ auf $[a,b]$	Oberintegral	\int\limits_{a}^{\bar b} f(x) \ \mathrm{d}x
$\int \limits _{\underline {a}}^{b}$	$\int \limits _{\underline {a}}^{b}f(x)\ \mathrm {d} x$	Unterintegral von $f$ auf $[a,b]$	Unterintegral	\int\limits_{\underline a}^{b} f(x) \ \mathrm{d}x

Siehe auch: Varianten des Integralzeichens

Vektoranalysis

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\nabla$	$\nabla f$	Gradient der Funktion $f$	Gradient (Mathematik)	\nabla	U+2207
	$\nabla \cdot F$	Divergenz des Vektorfelds $F$	Divergenz eines Vektorfeldes
	$\nabla \times F$	Rotation des Vektorfelds $F$	Rotation eines Vektorfeldes
$\Delta$	$\Delta f$	Laplace-Operator der Funktion $f$	Laplace-Operator	\Delta	U+2206
$\square$	$\square f$	D’Alembert-Operator der Funktion $f$	D’Alembert-Operator	\square	U+25A1

Topologie

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\partial$	$\partial U$	Rand der Menge $U$	Rand (Topologie)	\partial	U+2202
${}^{\circ }$	$U^{\circ }$	Inneres der Menge $U$	Innerer Punkt	\circ	U+02DA
${\overline {~~}}$	${\overline {U}}$	Abschluss der Menge $U$	Abschluss (Topologie)	\bar	U+0305
${\dot {~}}$	${\dot {U}}(x)$	Punktierte Umgebung $U$ des Punkts $x$	Punktierte Umgebung	\dot	U+0307

Funktionalanalysis

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
${}'$	$V'$	topologischer Dualraum des topologischen Vektorraums $V$	Topologischer Dualraum	\prime	U+2032
${}''$	$V''$	Bidualraum des normierten Vektorraums $V$	Bidualraum
${\hat {~}}$	${\hat {X}}$	Vervollständigung des metrischen Raums $X$	Vollständiger Raum	\hat	U+0302
$\hookrightarrow$	$X\hookrightarrow Y$	Einbettung des topologischen Raums $X$ in den Raum $Y$	Einbettung (Mathematik)	\hookrightarrow	U+21AA
${}^{\ast }$	$T^{\ast }$	Adjungierter Operator des linearen Operators $T$	Adjungierter Operator	\ast	U+002A

Maßtheorie

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\ll$	$\nu \ll \mu$	Das Maß $\nu$ ist absolut stetig bezüglich $\mu$	Absolut stetiges Maß	\ll	U+226A
$\perp$	$\nu \perp \mu$	Das Maß $\nu$ ist singulär bezüglich $\mu$	Singuläres Maß	\perp	U+22A5
$\sigma$	$\sigma ({\mathcal {M}})$	Die kleinste $\sigma$-Algebra, welche ${\mathcal {M}}$ enthält	σ-Algebra	\sigma	U+03C3
$\delta$	$\delta ({\mathcal {E}})$	Das kleinste Dynkin-System, welches ${\mathcal {E}}$ enthält	Dynkin-System	\delta	U+03B4

Lineare Algebra und Geometrie

Elementargeometrie

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$[~~]$	$[AB]$	Strecke zwischen den Punkten $A$ und $B$	Strecke (Geometrie)	[ ]	U+005B/D
$|~~|$	$|AB|$	Länge der Strecke zwischen den Punkten $A$ und $B$		\vert	U+007C
${\overline {~~}}$	${\overline {AB}}$			\overline	U+0305
${\overrightarrow {~~}}$	${\overrightarrow {AB}}$	Verbindungsvektor der Punkte $A$ und $B$	Vektor	\vec	U+20D7
$(~~)$	$(AB)$	Verbindungsgerade der Punkte $A$ und $B$	Verbindungsgerade	( )	U+0028 U+0029
$\angle$	$\angle ABC$	Winkel mit den Schenkeln $BA$ und $BC$	Winkel	\angle	U+2220
$\triangle$	$\triangle ABC$	Dreieck mit den Eckpunkten $A$, $B$ und $C$	Dreieck	\triangle	U+25B3
$\square$	$\square {\mathit {ABCD}}$	Viereck mit den Eckpunkten $A$, $B$, $C$ und $D$	Viereck	\square	U+25A1
$\parallel$	$g\parallel h$	die Geraden $g$ und $h$ sind parallel zueinander	Parallelität (Geometrie)	\parallel	U+2225
$\nparallel$	$g\nparallel h$	die Geraden $g$ und $h$ sind nicht parallel zueinander		\nparallel	U+2226
$\perp$	$g\perp h$	die Geraden $g$ und $h$ sind orthogonal zueinander	Orthogonalität	\perp	U+22A5

Vektoren und Matrizen

Symbol	Interpretation	Artikel	LaTeX
${\begin{pmatrix}v_{1},\ldots ,v_{n}\end{pmatrix}}$	Zeilenvektor bestehend aus den Elementen $v_{1}$ bis $v_{n}$	Vektor	\begin{pmatrix} ... \end{pmatrix} oder \left( \begin{array}{...} ... \end{array} \right)
${\begin{pmatrix}v_{1}\\\vdots \\v_{m}\end{pmatrix}}$	Spaltenvektor bestehend aus den Elementen $v_{1}$ bis $v_{m}$
${\begin{pmatrix}a_{11}&\!\ldots \!&a_{1n}\\\vdots &\!\ddots \!&\vdots \\a_{m1}&\!\ldots \!&a_{mn}\end{pmatrix}}$	Matrix bestehend aus den Elementen $a_{11}$ bis $a_{mn}$	Matrix (Mathematik)

Vektorrechnung

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\cdot$	$v\cdot w$	Skalarprodukt der Vektoren $v$ und $w$	Skalarprodukt	\cdot	U+22C5
$(~~)$	$(v,w)$			( )	U+0028 U+0029
$\langle ~~\rangle$	$\langle v,w\rangle$ $\langle v\,|\,w\rangle$			\langle \rangle	U+27E8 U+27E9
$\times$	$v\times w$	Kreuzprodukt (Vektorprodukt) der Vektoren $v$ und $w$	Kreuzprodukt	\times	U+2A2F
$[~~]$	$[v,w]$			[ ]	U+005B/D
$(~~)$	$(u,v,w)$	Spatprodukt der Vektoren $u$, $v$ und $w$	Spatprodukt	( )	U+0028 U+0029
$\otimes$	$v\otimes w$	dyadisches Produkt der Vektoren $v$ und $w$	Dyadisches Produkt	\otimes	U+2297
$\wedge$	$v\wedge w$	Dachprodukt der Vektoren $v$ und $w$	Dachprodukt	\wedge	U+2227
$|~~|$	$|v|$	Betrag des Vektors $v$	Vektor	\vert	U+007C
$\|~~\|$	$\|v\|$	Norm des Vektors $v$	Vektornorm	\Vert, \|	U+2016
${\hat {~}}$	${\hat {v}}$	Einheitsvektor zum Vektor $v$	Einheitsvektor	\hat	U+0302

Matrizenrechnung

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\cdot$	$A\cdot B$	Produkt der Matrizen $A$ und $B$	Matrizenmultiplikation	\cdot	U+22C5
$\colon$	$A\,\colon \,B$	Frobenius-Skalarprodukt der Matrizen $A$ und $B$ (in der Physik)	Frobenius-Skalarprodukt	\colon	U+003A
$\circ$	$A\circ B$	Hadamard-Produkt der Matrizen $A$ und $B$	Hadamard-Produkt	\circ	U+2218
$\otimes$	$A\otimes B$	Kronecker-Produkt der Matrizen $A$ und $B$	Kronecker-Produkt	\otimes	U+2297
${}^{T}$	$A^{T}$	transponierte Matrix der Matrix $A$	Transponierte Matrix	T	U+0054
${}^{H}$	$A^{H}$	adjungierte Matrix der Matrix $A$	Adjungierte Matrix	H	U+0048
${}^{\ast }$	$A^{\ast }$			\ast	U+002A
${}^{\dagger }$	$A^{\dagger }$			\dagger	U+2020
${}^{-1}$	$A^{-1}$	inverse Matrix der Matrix $A$	Inverse Matrix	-1	U+207B
${}^{+}$	$A^{+}$	Moore-Penrose-Inverse der Matrix $A$	Pseudoinverse	+	U+002B
$|~~|$	$|A|$	Determinante der Matrix $A$	Determinante (Mathematik)	\vert	U+007C
$\|~~\|$	$\|A\|$	Norm der Matrix $A$	Matrixnorm	\Vert, \|	U+2016

Vektorräume

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$+$	$V+W$	Summe der Vektorräume $V$ und $W$	Direkte Summe	+	U+002B
$\oplus$	$V\oplus W$	direkte Summe der Vektorräume $V$ und $W$		\oplus	U+2295
$\times$	$V\times W$	direktes Produkt der Vektorräume $V$ und $W$	Direktes Produkt	\times	U+2A2F
$\otimes$	$V\otimes W$	Tensorprodukt der Vektorräume $V$ und $W$	Tensorprodukt	\otimes	U+2297
$/$	$V\,/\,U$	Faktorraum des Vektorraums $V$ nach dem Untervektorraum $U$	Faktorraum	/	U+002F
${}^{\perp }$	$U^{\perp }$	orthogonales Komplement des Untervektorraums $U$	Orthogonales Komplement	\perp	U+27C2
${}^{\ast }$	$V^{\ast }$	Dualraum des Vektorraums $V$	Dualraum	\ast	U+002A
${}^{0}$	$X^{0}$	Annihilatorraum der Menge von Vektoren $X$	Annihilator (Mathematik)	0	U+0030
$\langle ~~\rangle$	$\langle X\rangle$	lineare Hülle der Menge von Vektoren $X$	Lineare Hülle	\langle \rangle	U+27E8/9

Algebra

Relationen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\circ$	$R\circ S$	Komposition der Relationen $R$ und $S$	Komposition (Mathematik)	\circ	U+2218
	$a\circ b$	Verknüpfung der Elemente $a$ und $b$ (allgemein)	Verknüpfung (Mathematik)
$\bullet$	$a\bullet b$			\bullet	U+2219
$\ast$	$a\ast b$			\ast	U+2217
$\leq$	$a\leq b$	Ordnungsrelation zwischen den Elementen $a$ und $b$	Ordnungsrelation	\leq	U+2264
$\prec$	$a\prec b$	das Element $a$ ist Vorgänger des Elements $b$	Nachfolger (Mathematik)	\prec	U+227A
$\succ$	$a\succ b$	das Element $a$ ist Nachfolger des Elements $b$		\succ	U+227B
$\sim$	$a\sim b$	Äquivalenzrelation zwischen den Elementen $a$ und $b$	Äquivalenzrelation	\sim	U+223C
$[~~]$	$[a]$	Äquivalenzklasse des Elements $a$	Äquivalenzklasse	[ ]	U+005B/D
$/$	$M/\sim$	Faktormenge der Menge $M$ nach der Äquivalenzrelation $\sim$	Faktormenge (Mathematik)	/	U+002F
${}^{-1}$	$R^{-1}$	Umkehrrelation der Relation $R$	Umkehrrelation	-1	U+207B
${}^{+}$	$R^{+}$	Transitive Hülle der Relation $R$	Transitive Hülle (Relation)	+	U+002B
${}^{\ast }$	$R^{\ast }$	Reflexiv-transitive Hülle der Relation $R$		\ast	U+002A

Gruppentheorie

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\simeq$	$G\simeq H$	die Gruppen $G$ und $H$ sind isomorph	Gruppenisomorphismus	\simeq	U+2243
$\cong$	$G\cong H$			\cong	U+2245
$\times$	$G\times H$	Direktes Produkt der Gruppen $G$ und $H$	Direktes Produkt	\times	U+2A2F
$\rtimes$	$G\rtimes H$	Semidirektes Produkt der Gruppen $G$ und $H$	Semidirektes Produkt	\rtimes	U+22CA
$\wr$	$G\,\wr \,H$	Kranzprodukt der Gruppen $G$ und $H$	Kranzprodukt	\wr	U+2240
$\leq$	$U\leq G$	$U$ ist eine Untergruppe der Gruppe $G$	Untergruppe	\leq	U+2264
$<$	$U<G$	$U$ ist eine echte Untergruppe der Gruppe $G$		\lt	U+003C
$\vartriangleleft$	$N\vartriangleleft G$	$N$ ist ein Normalteiler der Gruppe $G$	Normalteiler	\vartriangleleft	U+22B2
$\trianglelefteq$	$N\trianglelefteq G$			\trianglelefteq
$/$	$G/N$	Faktorgruppe der Gruppe $G$ nach dem Normalteiler $N$	Faktorgruppe	/	U+002F
$\colon$	$(G\colon U)$	Index der Untergruppe $U$ in der Gruppe $G$	Index (Gruppentheorie)	\colon	U+003A
$\langle ~~\rangle$	$\langle E\rangle$	Untergruppe, die durch die Menge $E$ erzeugt wird	Erzeuger (Algebra)	\langle \rangle	U+27E8/9
$(~~)$	$(g,h)$	Konjugation der Gruppenelemente $g$ und $h$	Konjugation (Gruppentheorie)	( )	U+0028 U+0029
$[~~]$	$[g,h]$	Kommutator der Gruppenelemente $g$ und $h$	Kommutator (Mathematik)	[ ]	U+005B/D

Körpertheorie

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$/$	$L/K$	Erweiterung des Körpers $L$ über den Körper $K$	Körpererweiterung	/	U+002F
$\mid$	$L\mid K$			\mid	U+007C
$\colon$	$L\colon K$			\colon	U+003A
	$[L\colon K]$	Grad der Körpererweiterung $L$ über $K$	Erweiterungsgrad
${\overline {~~}}$	${\overline {K}}$	Algebraischer Abschluss des Körpers $K$	Algebraischer Abschluss	\overline	U+0305
$\mathbb {K}$		Körper der reellen oder komplexen Zahlen	Körper (Algebra)	\mathbb{K}	U+1D542
$\mathbb {F}$		endlicher Körper	Endlicher Körper	\mathbb{F}	U+1D53D

Ringtheorie

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
${}^{\ast }$	$R^{\ast }$	Einheitengruppe des Rings $R$	Einheitengruppe	\ast	U+2217
${}^{\times }$	$R^{\times }$			\times	U+2A2F
$\vartriangleleft$	$I\vartriangleleft R$	$I$ ist ein Ideal des Rings $R$	Ideal (Ringtheorie)	\vartriangleleft	U+22B2
$/$	$R/I$	Faktorring des Rings $R$ nach dem Ideal $I$	Faktorring	/	U+002F
$[~~]$	$R[X]$	Polynomring über dem Ring $R$ mit der Variablen $X$	Polynomring	[ ]	U+005B/D

Stochastik

Kombinatorik

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$!$	$n!$	Zahl der Permutationen von $n$ Elementen	Fakultät	!	U+0021
	$!n$	Zahl der fixpunktfreien Permutationen von $n$ Elementen	Subfakultät
	$n!!$	Zahl der echt involutorischen Permutationen ($n$ ungerade)	Doppelfakultät
${\tbinom {~}{~}}$	${\tbinom {n}{k}}$	Zahl der Kombinationen ohne Wiederholung von $k$ aus $n$ Elementen	Binomialkoeffizient	\binom	U+0028 U+0029
	${\tbinom {n}{k_{1},\ldots ,k_{r}}}$	Zahl der Anordnungen von $k_{1},\ldots ,k_{r}$ verschiedenen Elementen	Multinomialkoeffizient
$\left(\!{\tbinom {~}{~}}\!\right)$	$\left(\!{\tbinom {n}{k}}\!\right)$	Zahl der Kombinationen mit Wiederholung von $k$ aus $n$ Elementen	Multimenge	U+0028 U+0029
${\overline {~~}}$	$n^{\overline {m}}$	Steigende Faktorielle ab $n$ mit $m$ Faktoren	Fallende und steigende Faktorielle	\overline	U+0305
	$n^{\underline {m}}$	Fallende Faktorielle ab $n$ mit $m$ Faktoren		\underline	U+0332
$\#$	$n\#$	Produkt der Primzahlen kleiner oder gleich $n$	Primorial	\#	U+0023

Wahrscheinlichkeitsrechnung

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$P$	$P(A)$	Wahrscheinlichkeit des Ereignisses $A$	Wahrscheinlichkeitsmaß	P	U+1D443
$\mid$	$P(A\mid B)$	Wahrscheinlichkeit von $A$ unter der Voraussetzung $B$	Bedingte Wahrscheinlichkeit	\mid	U+007C
$\operatorname {E}$	$\operatorname {E} [X\mid Y]$	Erwartungswert der Zufallsvariable $X$ bedingt durch $Y$	Erwartungswert	-	U+0045
$\operatorname {E}$	$\operatorname {E} [X]$	Erwartungswert der Zufallsvariable $X$		-	U+0045
$\operatorname {Var}$	$\operatorname {Var} [X]$	Varianz der Zufallsvariable $X$	Varianz (Stochastik)	-	-
$\operatorname {sd}$	$\operatorname {sd} [X]$	Standardabweichung der Zufallsvariable $X$	Standardabweichung (Wahrscheinlichkeitstheorie)	-	-
$\operatorname {Cov}$	$\operatorname {Cov} [X,Y]$	Kovarianz der Zufallsvariablen $X$ und $Y$	Kovarianz (Stochastik)
$\rho$	$\rho (X,Y)$	Korrelation der Zufallsvariablen $X$ und $Y$	Korrelationskoeffizient	\rho	U+03C1
$R^{2}$	$\rho (X,Y)^{2}$	Quadrat der Korrelation zwischen den Zufallsvariablen $X$ und $Y$	Bestimmtheitsmaß	\mathit{R}^2	U+1D445 U+00B2
$\sim$	$X\sim F$	die Zufallsvariable $X$ folgt der Verteilung $F$	Wahrscheinlichkeitsverteilung	\sim	U+223C
$\nsim$	$X\nsim F$	die Zufallsvariable $X$ folgt nicht der Verteilung $F$		\nsim	U+2241
${\stackrel {a.s.}{\sim }}$	$X\;{\stackrel {a.s.}{\sim }}\;F$	die Zufallsvariable $X$ folgt fast sicher der Verteilung $F$		\approx	U+2248
${\stackrel {a}{\sim }}$	$X\;{\stackrel {a}{\sim }}\;F$	die Zufallsvariable $X$ folgt approximativ der Verteilung $F$		\approx	U+2248
${\stackrel {H_{0}}{\sim }}$	$X\;{\stackrel {H_{0}}{\sim }}\;F$	die Zufallsvariable $X$ folgt unter der Nullhypothese der Verteilung $F$		\sim	U+223C
$\perp \!\!\!\perp$	$X\perp \!\!\!\perp Y$	die Zufallsvariablen $X$ und $Y$ sind stochastisch unabhängig	Stochastisch unabhängige Zufallsvariablen	-	-

Anmerkung: für die Operatoren existieren einige Notationsvarianten; statt runder Klammern werden häufig auch eckige Klammern verwendet.

Statistik

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
${\tilde {~}}$	${\tilde {x}}$	Median der Werte $x_{1},\ldots ,x_{n}$	Median	\tilde	U+0303
${\bar {~}}$	${\bar {X}}$	Stichprobenmittelwert der Zufallsvariablen $X_{1},\ldots ,X_{n}$	Mittelwert	\bar	U+0305
${\bar {~}}$	${\bar {x}}$	Mittelwert der Werte $x_{1},\ldots ,x_{n}$	Mittelwert	\bar	U+0305
$\langle ~~\rangle$	$\langle f\rangle$	Mittelwert aller Werte einer Funktion $f$ (in der Physik)		\langle \rangle	U+27E8/9
${\hat {~}}$	${\hat {p}}$	Schätzwert für den Parameter $p$	Schätzfunktion	\hat	U+0302

Logik

Definitionszeichen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$:$	$A:=B$	$A$ wird per Definition gleich $B$ gesetzt	Definition	:	U+003A
	$A:\Leftrightarrow B$	$A$ wird per Definition gleichwertig zu $B$ gesetzt

Junktoren

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\land$	$A\land B$	Aussage $A$ und Aussage $B$	Konjunktion (Logik)	\land	U+2227
$\lor$	$A\lor B$	Aussage $A$ oder Aussage $B$ (oder beide)	Disjunktion	\lor	U+2228
$\Leftrightarrow$	$A\Leftrightarrow B$	Aussage $A$ folgt aus Aussage $B$ und umgekehrt	Logische Äquivalenz	\Leftrightarrow	U+21D4
$\leftrightarrow$	$A\leftrightarrow B$			\leftrightarrow	U+2194
$\Rightarrow$	$A\Rightarrow B$	aus Aussage $A$ folgt Aussage $B$	Implikation	\Rightarrow	U+21D2
$\rightarrow$	$A\rightarrow B$			\rightarrow	U+2192
$\nsim$	$A\nsim B$	entweder Aussage $A$ oder Aussage $B$	Kontravalenz/Antivalenz	\nsim	U+2241
$\oplus$	$A\oplus B$			\oplus	U+2295
$\veebar$	$A\,\veebar \,B$			\veebar	U+22BB
${\dot {\lor }}$	$A\,{\dot {\lor }}\,B$			\dot\lor	U+2A52
$\nleftrightarrow$	$A\nleftrightarrow B$			\nleftrightarrow	U+21AE
$\nLeftrightarrow$	$A\nLeftrightarrow B$			\nLeftrightarrow	U+21CE
$\lnot$	$\lnot A$	nicht Aussage $A$	Negation	\lnot	U+00AC
${\overline {~~}}$	${\overline {A}}$			\bar	U+0305

Siehe auch: Weitere Symbole für zweistellige Junktoren

Quantoren

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\forall$	$\forall \,x$	für alle Elemente $x$	Allquantor	\forall	U+2200
$\bigwedge$	$\bigwedge _{x}$			\bigwedge	U+22C0
$\exists$	$\exists \,x$	es existiert mindestens ein Element $x$	Existenzquantor	\exists	U+2203
$\bigvee$	$\bigvee _{x}$			\bigvee	U+22C1
$\exists !$	$\exists !\,x$	es existiert genau ein Element $x$	Anzahlquantor	\exists!	U+2203
$\bigvee ^{\centerdot }$	$\bigvee _{x}^{\centerdot }$			\dot\bigvee	U+2A52
$\nexists$	$\nexists \,x$	es existiert kein Element $x$	Existenzquantor	\nexists	U+2204

Deduktionszeichen

Symbol	Verwendung	Interpretation	Artikel	LaTeX	Unicode
$\vdash$	$A\vdash B$	Aussage $B$ ist syntaktisch aus Aussage $A$ ableitbar	Ableitbarkeitsrelation	\vdash	U+22A2
$\models$	$A\models B$	Aussage $B$ folgt semantisch aus Aussage $A$	Schlussfolgerung	\models, \vDash	U+22A8
	$\models A$	Aussage $A$ ist allgemeingültig	Tautologie (Logik)
$\top$	$A\top$			\top	U+22A4
$\bot$	$A\bot$	Aussage $A$ ist widersprüchlich	Kontradiktion	\bot	U+22A5
$\therefore$	$A\therefore B$	Aussage $A$ ist wahr, daher ist auch Aussage $B$ wahr	Ableitung (Logik)	\therefore	U+2234
$\because$	$A\because B$	Aussage $A$ ist wahr, denn auch Aussage $B$ ist wahr		\because	U+2235
↯		Widerspruch	Widerspruchsbeweis	\lightning	U+21AF
$\blacksquare$		Ende des Beweises	quod erat demonstrandum	\blacksquare	U+220E
$\Box$				\Box	U+25A1

Siehe auch

• Formelsatz
• Formelzeichen
• Liste mathematischer Abkürzungen
• Schreibweise von Zahlen
• Unicodeblock Verschiedene mathematische Symbole-A
• Unicodeblock Verschiedene mathematische Symbole-B
• Unicodeblock Mathematische Operatoren
• Unicodeblock Zusätzliche Mathematische Operatoren
• Mathematische Zeichen in Unicode

Literatur

• Tilo Arens, Frank Hettlich, Christian Karpfinger, Ulrich Kockelkorn, Klaus Lichtenegger, Hellmuth Stachel: Mathematik. 2. Auflage. Spektrum Akademischer Verlag, 2011, ISBN 3-8274-2347-3, S. 1483 ff. 
• Wolfgang Hackbusch: Taschenbuch der Mathematik, Band 1. 3. Auflage. Springer, 2010, ISBN 3-8351-0123-4, S. 1275 ff. 
• Deutsches Institut für Normung: DIN 1302: Allgemeine mathematische Zeichen und Begriffe, Beuth-Verlag, 1999.
• Deutsches Institut für Normung: DIN 1303: Vektoren, Matrizen, Tensoren; Zeichen und Begriffe, Beuth-Verlag, 1987.
• Internationale Organisation für Normung: DIN EN ISO 80000-2: Größen und Einheiten – Teil 2: Mathematische Zeichen für Naturwissenschaft und Technik, 2013.

Weblinks

Commons: Mathematische Symbole – Sammlung von Bildern, Videos und Audiodateien

• Scott Pakin: The Comprehensive LaTeX Symbol List. (PDF; 31 MB) 3. Januar 2024, archiviert vom Original am 8. April 2024; abgerufen am 8. April 2024 (englisch, der Originallink führt zu einem Spiegelserver des CTAN; zum Archivlink vergleiche Datei:Comprehensive LaTeX Symbol List.pdf). 
• Earliest Uses of Symbols of Set Theory and Logic