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
Symbole
Verwendungen
Interpretationen
Artikel
LaTeX
Unicode
∅
{ }
leere Menge
Leere Menge
\varnothing,\emptyset
U+2205
{ }
{ a , b , … }
Menge bestehend aus den Elementen a , b und so weiter
Menge (Mathematik) , Klasse (Mengenlehre)
\{ \}
U+007B; U+007D
∣
{ a ∣ T ( a ) }
Menge oder Klasse der Elemente a , die die Bedingung T ( a ) erfüllen
\mid
U+007C
:
{ a : T ( a ) }
:
U+003A
Mengenoperationen
Symbole
Verwendungen
Interpretationen
Artikel
LaTeX
Unicode
∪
A ∪ B
Vereinigung der Mengen A und B
Vereinigungsmenge
\cup
U+222A
⋃
⋃ i = 1 n A i , ⋃ i ∈ 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
∩
A ∩ B
Durchschnitt der Mengen A und B
Schnittmenge
\cap
U+2229
⋂
⋂ i = 1 n A i , ⋂ i ∈ 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
∖
A ∖ B
Differenz der Mengen A und B
Differenzmenge
\setminus
U+2216
△
A △ B
symmetrische Differenz der Mengen A und B
Symmetrische Differenz
\triangle
U+25B3
×
A × B
kartesisches Produkt der Mengen A und B
Kartesisches Produkt
\times
U+2A2F
∪ ˙
A ∪ ˙ B
Vereinigung disjunkter Mengen A und B
Disjunkte Vereinigung
\dot\cup
U+228D
⊔
A ⊔ B
Disjunkte Vereinigung der Mengen A und B
\sqcup
U+2294
C
A C
Komplement der Menge A
Komplement (Mengenlehre)
^\mathrm{C}
U+2201
‾
A ‾
\overline
U+0305
𝒫
𝒫 ( A )
Potenzmenge der Menge A
Potenzmenge
\mathcal{P}
U+1D4AB
𝔓
𝔓 ( A )
\mathfrak{P}
U+1D513
Mengenrelationen
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
⊂
A ⊂ B
A ist echte Teilmenge von B
Teilmenge
\subset
U+2282
⊊
A ⊊ B
\subsetneq
U+228A
⊆
A ⊆ B
A ist Teilmenge von B
\subseteq
U+2286
⊃
A ⊃ B
A ist echte Obermenge von B
Obermenge
\supset
U+2283
⊋
A ⊋ B
\supsetneq
U+228B
⊇
A ⊇ B
A ist Obermenge von B
\supseteq
U+2287
∈
a ∈ A
das Element a ist in der Menge A enthalten
Element (Mathematik)
\in
U+2208
∋
A ∋ a
\ni, \owns
U+220B
∉
a ∉ A
das Element a ist nicht in der Menge A enthalten
\notin
U+2209
∌
A ∌ a
\not\ni
U+220C
Hinweis : Die Symbole ⊂ und ⊃ werden nicht einheitlich verwendet und schließen häufig die Gleichheit der beiden Mengen nicht aus.
Vorlage:Siehe auch
Zahlenmengen
Mächtigkeiten
Arithmetik
Rechenzeichen
Symbol
Verwendungen
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
⋅
a ⋅ b
a und b werden multipliziert
Multiplikation
\cdot
U+22C5
×
a × b
\times
U+2A2F
:
a : b
a wird durch b dividiert
Division (Mathematik)
:
U+003A
/
a / b
/
U+2215
÷
a ÷ b
\div
U+00F7
a b
\frac
U+2044
−
− a
negative Zahl a oder additiv Inverses von a
Unäres Minus
-
U+2212
±
± a
plus oder minus a
Plusminuszeichen
\pm
U+00B1
∓
∓ 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
≠
a ≠ b
a ist nicht gleich b
Ungleichung
\neq
U+2260
≡
a ≡ b
a ist identisch mit b
Identitätsgleichung
\equiv
U+2261
≈
a ≈ b
a ist ungefähr gleich b
Rundung
\approx
U+2248
∼
a ∼ b
a ist proportional zu b
Proportionalität
\sim
U+223C
∝
a ∝ b
\propto
U+221D
= ^
a = ^ b
a entspricht b
Entspricht-Zeichen
\widehat{=}
U+2259
∼
a ∼ b
a wird genauso geschätzt wie b
Präferenzrelation
\sim
-
≃
a ≃ b
a ist asymptotisch gleich b
\simeq
U+2243
Vorlage:Siehe auch
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
≤
a ≤ b
a ist kleiner als b oder gleich b
\le, \leq
U+2264
≦
a ≦ b
\leqq
U+2266
≥
a ≥ b
a ist größer als b oder gleich b
\ge, \geq
U+2265
≧
a ≧ b
\geqq
U+2267
≪
a ≪ b
a ist viel kleiner als b
\ll
U+226A
≫
a ≫ b
a ist viel größer als b
\gg
U+226B
⋘
a ⋘ b
a ist sehr viel kleiner als b
\lll
U+22D8
⋙
a ⋙ b
a ist sehr viel größer als b
\ggg
U+22D9
≶
a ≶ b
a ist kleiner oder größer als b
\lessgtr
U+2276
≷
a ≷ b
a ist größer oder kleiner als b
\gtrless
U+2277
≺
a ≺ b
b wird gegenüber a strikt vorgezogen
Präferenzrelation
\prec
U+227A
≻
a ≻ b
a wird gegenüber b strikt vorgezogen
\succ
U+227B
≼
a ≼ b
b wird a schwach vorgezogen bzw. b ist mindestens so gut wie a
\preccurlyeq
U+227C
≽
a ≽ b
a wird b schwach vorgezogen bzw. a ist mindestens so gut wie b
\succcurlyeq
U+227D
Vorlage:Siehe auch
Teilbarkeit
Intervalle
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
[ ]
[ a , b ]
abgeschlossenes Intervall zwischen a und b
Intervall
( )[ ]
U+0028 U+0029U+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
[ ]
[ x ]
größte ganze Zahl kleiner oder gleich x (veraltete Schreibweise)[ 1]
Gaußklammer
[ ]
U+005B/D
⌊ ⌋
⌊ x ⌋
größte ganze Zahl kleiner oder gleich x
\lfloor \rfloor
U+230A/B
⌈ ⌉
⌈ x ⌉
kleinste ganze Zahl größer oder gleich x
\lceil \rceil
U+2308/9
x
Wurzel aus x
Wurzel (Mathematik)
\sqrt
U+221A
x n
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
ℜ
ℜ ( z )
Realteil der komplexen Zahl z
Komplexe Zahl
\Re
U+211C
ℑ
ℑ ( z )
Imaginärteil der komplexen Zahl z
\Im
U+2111
¯
z ¯
Konjugiert komplexe Zahl der Zahl z
Komplexe Konjugation
\bar
U+0305
∗
z ∗
\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 Re und Im gebräuchlich.
Mathematische Konstanten
Siehe auch: mathematische Konstante für Symbole weiterer mathematischer Konstanten.
Analysis
Folgen und Reihen
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
∑
∑ i = 1 n , ∑ i ∈ I
Summe von i = 1 bis n bzw. über alle i in der Menge I
Summe
\sum
U+2211
∏
∏ i = 1 n , ∏ i ∈ I
Produkt von i = 1 bis n bzw. über alle i in der Menge I
Produkt (Mathematik)
\prod
U+220F
∐
∐ i = 1 n , ∐ i ∈ 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 , …
Folge (Mathematik)
( )
U+0028 U+0029
→
a n → a
die Folge ( a n ) konvergiert gegen den Grenzwert a
Grenzwert (Folge)
\to
U+2192
∞
n → ∞
n divergiert nach unendlich
Unendlichkeit
\infty
U+221E
Funktionen
Siehe auch: Symbolische Schreibweisen für Funktionen für weitere Notationsvarianten
Grenzwerte
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
↑
lim x ↑ a f ( x )
linksseitiger Grenzwert der Funktion f für x gegen a
Grenzwert (Funktion)
\uparrow
U+2191
↗
lim x ↗ a f ( x )
\nearrow
U+2197
→
lim x → a f ( x )
beidseitiger Grenzwert der Funktion f für x gegen a
\to
U+2192
↘
lim x ↘ a f ( x )
rechtsseitiger Grenzwert der Funktion f für x gegen a
\searrow
U+2198
↓
lim x ↓ a f ( x )
\downarrow
U+2193
X n → p X
plim ( X n ) = X
Konvergenz in Wahrscheinlichkeit für X n gegen X
Konvergenz (Stochastik)
\to
U+2192
X n → d X
x n → d x
Konvergenz in Verteilung für x n gegen x
\to
U+2192
X n → m X
x n → m x
Konvergenz im quadratischen Mittel für x n gegen x
\to
U+2192
Asymptotisches Verhalten
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
∼
f ∼ g
die Funktion f ist asymptotisch gleich der Funktion g
Asymptotische Analyse
\sim
U+223C
o
f ∈ o ( g )
die Funktion f wächst langsamer als g
Landau-Symbole
o
U+006F
𝒪
f ∈ 𝒪 ( g )
die Funktion f wächst langsamer oder genauso schnell wie g
\mathcal{O}
U+1D4AA
Θ
f ∈ Θ ( g )
die Funktion f wächst genauso schnell wie g
\Theta
U+0398
Ω
f ∈ Ω ( g )
die Funktion f wächst schneller oder genauso schnell wie g
\Omega
U+03A9
ω
f ∈ ω ( 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
⋅
f ˙ , 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
d
d f d x
Ableitung der Funktion f nach x
\mathrm{d}
U+0064
d f
totales Differential der Funktion f
Totales Differential
∂
∂ f ∂ x
partielle Ableitung der Funktion f nach x
Partielle Ableitung
\partial
U+2202
Vorlage:Siehe auch
Integralrechnung
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
∫
∫ a b , ∫ G
bestimmtes Integral zwischen a und b bzw. über das Gebiet G
Integralrechnung
\int
U+222B
∮
∮ γ
Integral über die Kurve γ
Kurvenintegral
\oint
U+222E
∬
∬ ℱ
Integral über die Fläche ℱ
Oberflächenintegral
\iint
U+222C
∭
∭ V
Integral über das Volumen V
Volumenintegral
\iiint
U+222D
∫ a b ¯
∫ a b ¯ f ( x ) d x
Oberintegral von f auf [ a , b ]
Oberintegral
\int\limits_ { a}^{ \bar b} f(x) \ \mathrm { d} x
∫ a _ b
∫ a _ b f ( x ) d x
Unterintegral von f auf [ a , b ]
Unterintegral
\int\limits_ { \underline a}^{ b} f(x) \ \mathrm { d} x
Vorlage:Siehe auch
Vektoranalysis
Topologie
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
^
X ^
Vervollständigung des metrischen Raums X
Vollständiger Raum
\hat
U+0302
↪
X ↪ Y
Einbettung des topologischen Raums X in den Raum Y
Einbettung (Mathematik)
\hookrightarrow
U+21AA
∗
T ∗
Adjungierter Operator des linearen Operators T
Adjungierter Operator
\ast
U+002A
Maßtheorie
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
≪
ν ≪ μ
Das Maß ν ist absolut stetig bezüglich μ
Absolut stetiges Maß
\ll
U+226A
⊥
ν ⊥ μ
Das Maß ν ist singulär bezüglich μ
Singuläres Maß
\perp
U+22A5
σ
σ ( ℳ )
Die kleinste σ -Algebra, welche ℳ enthält
σ-Algebra
\sigma
U+03C3
δ
δ ( ℰ )
Das kleinste Dynkin-System, welches ℰ enthält
Dynkin-System
\delta
U+03B4
Lineare Algebra und Geometrie
Elementargeometrie
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
[ ]
[ A B ]
Strecke zwischen den Punkten A und B
Strecke (Geometrie)
[ ]
U+005B/D
| |
| A B |
Länge der Strecke zwischen den Punkten A und B
\vert
U+007C
‾
A B ‾
\overline
U+0305
→
A B →
Verbindungsvektor der Punkte A und B
Vektor
\vec
U+20D7
( )
( A B )
Verbindungsgerade der Punkte A und B
Verbindungsgerade
( )
U+0028 U+0029
∠
∠ A B C
Winkel mit den Schenkeln B A und B C
Winkel
\angle
U+2220
△
△ A B C
Dreieck mit den Eckpunkten A , B und C
Dreieck
\triangle
U+25B3
◻
◻ 𝐴 𝐵 𝐶 𝐷
Viereck mit den Eckpunkten A , B , C und D
Viereck
\square
U+25A1
∥
g ∥ h
die Geraden g und h sind parallel zueinander
Parallelität (Geometrie)
\parallel
U+2225
∦
g ∦ h
die Geraden g und h sind nicht parallel zueinander
\nparallel
U+2226
⊥
g ⊥ h
die Geraden g und h sind orthogonal zueinander
Orthogonalität
\perp
U+22A5
Vektoren und Matrizen
Symbol
Interpretation
Artikel
LaTeX
( v 1 , … , v n )
Zeilenvektor bestehend aus den Elementen v 1 bis v n
Vektor
\begin{pmatrix}...\end{pmatrix} oder\left(\begin{array}{...}...\end{array}\right)
( v 1 ⋮ v m )
Spaltenvektor bestehend aus den Elementen v 1 bis v m
( a 1 1 … a 1 n ⋮ ⋱ ⋮ a m 1 … a m n )
Matrix bestehend aus den Elementen a 1 1 bis a m n
Matrix (Mathematik)
Vektorrechnung
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
⋅
v ⋅ w
Skalarprodukt der Vektoren v und w
Skalarprodukt
\cdot
U+22C5
( )
( v , w )
( )
U+0028 U+0029
⟨ ⟩
⟨ v , w ⟩ ⟨ v | w ⟩
\langle \rangle
U+27E8 U+27E9
×
v × 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
⊗
v ⊗ w
dyadisches Produkt der Vektoren v und w
Dyadisches Produkt
\otimes
U+2297
∧
v ∧ 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
^
v ^
Einheitsvektor zum Vektor v
Einheitsvektor
\hat
U+0302
Matrizenrechnung
Vektorräume
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
+
V + W
Summe der Vektorräume V und W
Direkte Summe
+
U+002B
⊕
V ⊕ W
direkte Summe der Vektorräume V und W
\oplus
U+2295
×
V × W
direktes Produkt der Vektorräume V und W
Direktes Produkt
\times
U+2A2F
⊗
V ⊗ 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
⊥
U ⊥
orthogonales Komplement des Untervektorraums U
Orthogonales Komplement
\perp
U+27C2
∗
V ∗
Dualraum des Vektorraums V
Dualraum
\ast
U+002A
0
X 0
Annihilatorraum der Menge von Vektoren X
Annihilator (Mathematik)
0
U+0030
⟨ ⟩
⟨ X ⟩
lineare Hülle der Menge von Vektoren X
Lineare Hülle
\langle \rangle
U+27E8/9
Algebra
Relationen
Gruppentheorie
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
≃
G ≃ H
die Gruppen G und H sind isomorph
Gruppenisomorphismus
\simeq
U+2243
≅
G ≅ H
\cong
U+2245
×
G × H
Direktes Produkt der Gruppen G und H
Direktes Produkt
\times
U+2A2F
⋊
G ⋊ H
Semidirektes Produkt der Gruppen G und H
Semidirektes Produkt
\rtimes
U+22CA
≀
G ≀ H
Kranzprodukt der Gruppen G und H
Kranzprodukt
\wr
U+2240
≤
U ≤ 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
⊲
N ⊲ G
N ist ein Normalteiler der Gruppe G
Normalteiler
\vartriangleleft
U+22B2
⊴
N ⊴ G
\trianglelefteq
/
G / N
Faktorgruppe der Gruppe G nach dem Normalteiler N
Faktorgruppe
/
U+002F
:
( G : U )
Index der Untergruppe U in der Gruppe G
Index (Gruppentheorie)
\colon
U+003A
⟨ ⟩
⟨ E ⟩
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
∣
L ∣ K
\mid
U+007C
:
L : K
\colon
U+003A
[ L : K ]
Grad der Körpererweiterung L über K
Erweiterungsgrad
‾
K ‾
Algebraischer Abschluss des Körpers K
Algebraischer Abschluss
\overline
U+0305
𝕂
Körper der reellen oder komplexen Zahlen
Körper (Algebra)
\mathbb{K}
U+1D542
𝔽
endlicher Körper
Endlicher Körper
\mathbb{F}
U+1D53D
Ringtheorie
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
∗
R ∗
Einheitengruppe des Rings R
Einheitengruppe
\ast
U+2217
×
R ×
\times
U+2A2F
⊲
I ⊲ 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
( )
( n k )
Zahl der Kombinationen ohne Wiederholung von k aus n Elementen
Binomialkoeffizient
\binom
U+0028 U+0029
( n k 1 , … , k r )
Zahl der Anordnungen von k 1 , … , k r verschiedenen Elementen
Multinomialkoeffizient
( ( ) )
( ( n k ) )
Zahl der Kombinationen mit Wiederholung von k aus n Elementen
Multimenge
U+0028 U+0029
‾
n m ‾
Steigende Faktorielle ab n mit m Faktoren
Fallende und steigende Faktorielle
\overline
U+0305
n m _
Fallende Faktorielle ab n mit m Faktoren
\underline
U+0332
#
n #
Produkt der Primzahlen kleiner oder gleich n
Primorial
\#
U+0023
Wahrscheinlichkeitsrechnung
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
~
x ~
Median der Werte x 1 , … , x n
Median
\tilde
U+0303
¯
X ¯
Stichprobenmittelwert der Zufallsvariablen X 1 , … , X n
Mittelwert
\bar
U+0305
¯
x ¯
Mittelwert der Werte x 1 , … , x n
Mittelwert
\bar
U+0305
⟨ ⟩
⟨ f ⟩
Mittelwert aller Werte einer Funktion f (in der Physik)
\langle \rangle
U+27E8/9
^
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 : ⇔ B
A wird per Definition gleichwertig zu B gesetzt
Junktoren
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
∧
A ∧ B
Aussage A und Aussage B
Konjunktion (Logik)
\land
U+2227
∨
A ∨ B
Aussage A oder Aussage B (oder beide)
Disjunktion
\lor
U+2228
⇔
A ⇔ B
Aussage A folgt aus Aussage B und umgekehrt
Logische Äquivalenz
\Leftrightarrow
U+21D4
↔
A ↔ B
\leftrightarrow
U+2194
⇒
A ⇒ B
aus Aussage A folgt Aussage B
Implikation
\Rightarrow
U+21D2
→
A → B
\rightarrow
U+2192
≁
A ≁ B
entweder Aussage A oder Aussage B
Kontravalenz /Antivalenz
\nsim
U+2241
⊕
A ⊕ B
\oplus
U+2295
⊻
A ⊻ B
\veebar
U+22BB
∨ ˙
A ∨ ˙ B
\dot\lor
U+2A52
↮
A ↮ B
\nleftrightarrow
U+21AE
⇎
A ⇎ B
\nLeftrightarrow
U+21CE
¬
¬ A
nicht Aussage A
Negation
\lnot
U+00AC
‾
A ‾
\bar
U+0305
Vorlage:Siehe auch
Quantoren
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
∀
∀ x
für alle Elemente x
Allquantor
\forall
U+2200
⋀
⋀ x
\bigwedge
U+22C0
∃
∃ x
es existiert mindestens ein Element x
Existenzquantor
\exists
U+2203
⋁
⋁ x
\bigvee
U+22C1
∃ !
∃ ! x
es existiert genau ein Element x
Anzahlquantor
\exists!
U+2203
⋁ ⋅
⋁ x ⋅
\dot\bigvee
U+2A52
∄
∄ x
es existiert kein Element x
Existenzquantor
\nexists
U+2204
Deduktionszeichen
Symbol
Verwendung
Interpretation
Artikel
LaTeX
Unicode
⊢
A ⊢ B
Aussage B ist syntaktisch aus Aussage A ableitbar
Ableitbarkeitsrelation
\vdash
U+22A2
⊨
A ⊨ B
Aussage B folgt semantisch aus Aussage A
Schlussfolgerung
\models, \vDash
U+22A8
⊨ A
Aussage A ist allgemeingültig
Tautologie (Logik)
⊤
A ⊤
\top
U+22A4
⊥
A ⊥
Aussage A ist widersprüchlich
Kontradiktion
\bot
U+22A5
∴
A ∴ B
Aussage A ist wahr, daher ist auch Aussage B wahr
Ableitung (Logik)
\therefore
U+2234
∵
A ∵ B
Aussage A ist wahr, denn auch Aussage B ist wahr
\because
U+2235
↯
Widerspruch
Widerspruchsbeweis
\lightning
U+21AF
◼
Ende des Beweises
quod erat demonstrandum
\blacksquare
U+220E
◻
\Box
U+25A1
Siehe auch
Literatur
Weblinks
Vorlage:Commonscat
Einzelnachweise