Seznam matematických symbolů

Některé matematické symboly

Tento seznam matematických symbolů ukazuje výběr nejběžnějších symbolů používaných v moderní matematické notaci ve vzorcích . Protože je prakticky nemožné vyjmenovat všechny symboly, které kdy byly v matematice použity, jsou v tomto seznamu uvedeny pouze ty symboly, které se často vyskytují ve třídě matematiky nebo v matematických studiích . Mnoho symbolů je standardizováno , například v DIN 1302 Obecné matematické symboly nebo velikosti a jednotky podle DIN EN ISO 80000-2 - Část 2: Matematické symboly pro vědu a techniku.

Následující seznam je do značné míry omezen na nealfanumerické znaky . Je rozdělena na podoblasti matematiky a seskupena podle obsahu v rámci podoblastí. Některé symboly mají různý význam v závislosti na kontextu, a proto se v seznamu objevují několikrát. Další informace o symbolech a jejich významu najdete v odkazovaných článcích.

Vysvětlení

U každého matematického symbolu jsou uvedeny následující informace:

symbol
Symbol reprezentovaný LaTeXem . Pokud existuje několik typografických variant, zobrazí se pouze jedna z variant.
použití
Příkladné použití symbolu ve vzorci. Písmena se používají jako zástupné symboly pro čísla , proměnné nebo složitější výrazy . Různá použití jsou uvedena samostatně.
výklad
Stručný textový popis významu vzorce v předchozím sloupci.
položky
Článek Wikipedie, který pokrývá význam ( sémantiku ) symbolu.
Latex
Příkaz LaTeX použitý k vytvoření symbolu. Znaky ze znakové sady ASCII lze až na několik výjimek ( dvojité křížení , zpětné lomítko , složená závorka , procentní znak použít přímo). Horní a dolní indexy se vytvářejí pomocí znaků ^a _nejsou výslovně specifikovány.
HTML
Symbol v HTML , pokud je definován jako pojmenovaný znak . Nejmenované znaky lze reprezentovat zadáním bodu kódu Unicode v následujícím sloupci &#xnnnn;, kde nnnnhexadecimální je Unicode. Horní a dolní indexy jsou vytvářeny pomocí <sup></sup>a <sub></sub>.
Unicode
Bod kódu odpovídajícího znaku Unicode . Některé znaky se kombinují a vyžadují zadání dalších znaků. V případě závorek jsou určeny body kódu otevírací a uzavírací závorky.

Teorie množin

Kvantová konstrukce

symbol použití výklad položky Latex HTML Unicode
prázdná sada Prázdná sada \varnothing,
\emptyset
&empty; U+2205
Set se skládá z prvků , a tak dále Sada (matematika) , třída (teorie množin) \{ \} U+007B/D
Sada nebo třída prvků, které splňují podmínku \mid U+007C
: U+003A

Nastavit operace

symbol použití výklad položky Latex HTML Unicode
Spojení sad a Unie sada \cup &cup; U+222A
Průměr z množství a Průsečík \cap &cap; U+2229
Rozdíl v množství a Rozdílná částka \setminus U+2216
symetrický rozdíl veličin a Symetrický rozdíl \triangle &#9651; U+25B3
Karteziánský součin sad a kartézský součin \times &times; U+2A2F
Spojení disjunktních sad a Nespojitý svaz \dot\cup U+228D
Nespojité spojení sad a \sqcup U+2294
Doplněk davu Doplněk (teorie množin) \mathrm{C} U+2201
\bar U+0305
Power set of set Power set \mathcal{P} U+1D4AB
\mathfrak{P} U+1D513

Kvantové vztahy

symbol použití výklad položky Latex HTML Unicode
je skutečnou podmnožinou Podmnožina \subset &sub; U+2282
\subsetneq U+228A
je podmnožinou \subseteq &sube; U+2286
je správná nadmnožina Nadmnožina \supset &sup; U+2283
\supsetneq U+228B
je nadmnožinou \supseteq &supe; U+2287
prvek je v sadě obsahovat Element (matematika) \in &isin; U+2208
\ni, \owns &ni; U+220B
prvek není v sadě obsahovat \notin &notin; U+2209
\not\ni U+220C

Poznámka : Symboly a nejsou používány jednotně a často nevylučují rovnost obou množin.

Sady čísel

symbol použití výklad položky Latex HTML Unicode
prvočísla prvočíslo \mathbb{P} &Popf; U+2119
přirozená čísla Přirozené číslo \mathbb{N} &Nopf; U+2115
celá čísla Celé číslo \mathbb{Z} &Zopf; U+2124
konečné pole s charakteristikou prvočísla Konečné tělo \mathbb{F} &Fopf; U+1D53D
racionální čísla Racionální číslo \mathbb{Q} &Qopf; U+211A
iracionální čísla (Skutečné) iracionální číslo \mathbb{I} &Iopf; U+1D540
algebraická čísla (Komplexní) algebraické číslo \mathbb{A} &Aopf; U+1D538
transcendentní čísla Skutečné transcendentní číslo \mathbb{T} &Topf; U+1D54B
reálná čísla Reálné číslo \mathbb{R} &Ropf; U+211D
hyperreálná čísla Hyper skutečné číslo {}^*\mathbb{R} * &Ropf; U+211D
komplexní čísla Komplexní číslo \mathbb{C} &Copf; U+2102
Kvaterniony Čtveřice \mathbb{H} &Hopf; U+210D
Octonions Octonion \mathbb{O} U+1D546
Sedenions Sedenion \mathbb{S} U+1D54A
Funkční
analýza
Algebry \mathbb{K} &Kopf; U+1D542

Pravomoci

symbol použití výklad položky Latex HTML Unicode
Mohutnost sady Moc (matematika) \vert U+007C
\# U+0023
Tloušťka kontinua Continuum (matematika) \mathfrak{c} U+1D520
, ... Kardinální čísla Kardinální číslo (matematika) \aleph U+2135
, ... Čísla Beth Beth funkce \beth U+2136

aritmetický

Aritmetický symbol

symbol použití výklad položky Latex HTML Unicode
a jsou přidány přidání + U+002B
je odečteno od odčítání - &minus; U+2212
\textdiscount,\slashdiv,⁒ &#8274; U+2052
a jsou znásobeny násobení \cdot &middot; U+22C5
\times &times; U+2A2F
je děleno Divize (matematika) : U+003A
/ &frasl; U+2215
\div &divide; U+00F7
\frac U+2044
záporné číslo nebo aditivní inverzní hodnota Unární mínus - &minus; U+2212
plus mínus Znaménko plus mínus \pm &plusmn; U+00B1
mínus nebo plus \mp U+2213
termín je vyhodnocen jako první Konzola (znak) ( ) U+0028/9
[ ] U+005B/D

Znamení rovnosti

symbol použití výklad položky Latex HTML Unicode
je rovný rovnice = U+003D
To není to samé Nerovnost \neq &ne; U+2260
je identický s Rovnice identity \equiv &equiv; U+2261
je přibližně stejný Zaokrouhlování \approx &asymp; U+2248
je úměrné Proporcionalita \sim &sim; U+223C
\propto &prop; U+221D
je ekvivalentní Znamení zápasů \widehat{=} U+2259
je stejně ceněn jako Vztah preference \sim -
je asymptoticky stejná \simeq &simeq; U+2243

Srovnávací znamení

symbol použití výklad položky Latex HTML Unicode
je menší než Porovnání (čísla) < &lt; U+003C
je větší než > &gt; U+003E
je menší nebo roven \le, \leq &le; U+2264
\leqq U+2266
je větší nebo rovno \ge, \geq &ge; U+2265
\geqq U+2267
je mnohem menší než \ll U+226A
je mnohem větší než \gg U+226B
je mnohem menší než \lll U+22D8
je mnohem větší než \ggg U+22D9
je menší než nebo větší než \lessgtr U+2276
je větší nebo menší než \gtrless U+2277
je přísně upřednostňováno Vztah preference \prec U+227A
je přísně upřednostňováno \succ U+227B
je upřednostňován před slabým nebo je přinejmenším stejně dobrý jako \preccurlyeq U+227C
je upřednostňován před slabým nebo je přinejmenším stejně dobrý jako \succcurlyeq U+227D

Dělitelnost

symbol použití výklad položky Latex HTML Unicode
Rozkoly Dělitelnost \mid U+2223
přesně rozděluje \parallel U+2225
nemá ani sdílet \nmid U+2224
a jsou coprime Coprime \perp &perp; U+22A5
největší společný faktor a Největší společný dělitel \sqcap U+2293
\wedge &and; U+2227
nejméně společný násobek a Nejmenší společný násobek \sqcup U+2294
\vee &or; U+2228
a jsou shodné modulo Shoda (teorie čísel) \equiv &equiv; U+2261

Intervaly

symbol použití výklad položky Latex HTML Unicode
dokončený interval mezi a časový úsek ( )
[ ]
U+0028/9
U+005B/D
otevřený interval mezi a
pravý pootevřený interval mezi a
vlevo pootevřený interval mezi a

Elementární funkce

symbol použití výklad položky Latex HTML Unicode
množství Funkce množství \vert U+007C
největší celé číslo menší nebo rovné Gaussova závorka [ ] U+005B/D
\lfloor \rfloor &lfloor; &rfloor; U+230A/B
nejmenší celé číslo větší nebo rovno \lceil \rceil &lceil; &rceil; U+2308/9
čtvereček z Kořen (matematika) \sqrt &radic; U+221A
-tý kořen
procento procento \% U+0025

Poznámka : výkon funkce není zastoupen vlastním symbolem, ale superscripting na exponent .

Složitá čísla

symbol použití výklad položky Latex HTML Unicode
Skutečná část komplexního čísla Komplexní číslo \Re U+211C
Imaginární část komplexního čísla \Im U+2111
Konjuguje komplexní číslo Konjugace (matematika) \bar U+0305
\ast &lowast; U+002A
Částka komplexního čísla Funkce množství \vert U+007C

Poznámka: pro označení skutečné a imaginární části komplexního čísla jsou zkratky a zvláště běžné.

Matematické konstanty

symbol použití výklad položky Latex HTML Unicode
Číslo kruhu Číslo kruhu \pi &pi; U+03C0
Eulerovo číslo Eulerovo číslo \mathrm{e} U+0065
Zlatý řez Zlatý řez \Phi &Phi; U+03A6
imaginární jednotka Imaginární číslo \mathrm{i} U+0069

Viz také: matematická konstanta pro symboly jiných matematických konstant.

Analýza

Sekvence a hodnosti

symbol použití výklad položky Latex HTML Unicode
Součet se ani přes všechny v sadě celkový \sum &sum; U+2211
Produkt až do výše nebo nad částku v množství Produkt (matematika) \prod &prod; U+220F
Koprodukt až ze sady nebo nad ní Koprodukt \coprod U+2210
Následujte členy sekvence Epizoda (matematika) ( ) U+0028/9
posloupnost konverguje k mezní hodnotě Mezní hodnota (sekvence) \to &rarr; U+2192
usiluje o nekonečno nekonečno \infty &infin; U+221E

Funkce

symbol použití výklad položky Latex HTML Unicode
funkce je částka ve výši od Funkce (matematika) \to &rarr; U+2192
funkce formování prvku k prvku z \mapsto U+21A6
Funkční hodnota prvku Obrázek (matematika) ( ) U+0028/9
Obrázek davu pod funkcí
[ ] U+005B/D
Omezení funkce na množství Omezení \vert U+007C
Zástupný symbol pro proměnnou jako argument funkce Proměnná (matematika) \cdot &middot; U+22C5
Inverzní funkce k Inverzní funkce -1 U+207B
Archetyp davu pod funkcí Archetyp (matematika)
Zřetězení funkcí a Složení (matematika) \circ U+2218
Konvoluce funkcí a Konvoluce (matematika) \ast &lowast; U+2217
Fourierova transformace funkce Fourierova transformace \hat U+0302

Viz také: Symbolické notace pro funkce pro jiné varianty notace

Mezní hodnoty

symbol použití výklad položky Latex HTML Unicode
levý limit funkce pro proti Mezní hodnota (funkce) \uparrow &uarr; U+2191
\nearrow U+2197
oboustranná mezní hodnota funkce pro proti \to &rarr; U+2192
pravý limit funkce pro proti \searrow U+2198
\downarrow &darr; U+2193
Konvergence v pravděpodobnosti pro proti Konvergence (stochastika) \to &rarr; U+2192
Konvergence v distribuci pro proti \to &rarr; U+2192
Kořenová střední kvadratická konvergence pro proti \to &rarr; U+2192

Asymptotické chování

symbol použití výklad položky Latex HTML Unicode
funkce je asymptoticky stejná jako funkce Asymptotická analýza \sim &sim; U+223C
funkce roste pomaleji než Landau symboly o U+006F
funkce roste pomaleji nebo tak rychle jako \mathcal{O} U+1D4AA
funkce roste stejně rychle jako \Theta &Theta; U+0398
funkce roste rychleji nebo stejně rychle jako \Omega &Omega; U+03A9
funkce roste rychleji než \omega &omega; U+03C9

Diferenciální počet

symbol použití výklad položky Latex HTML Unicode
první nebo druhá derivace funkce Diferenciální počet \prime &prime; U+2032
první nebo druhá derivace času po čase (ve fyzice) \dot, \ddot U+0307
-th derivace funkce ( ) U+0028/9
Odvození funkce podle \mathrm{d} U+0064
celkový diferenci funkce Totální diferenciál
parciální derivace funkce na Parciální derivace \partial &part; U+2202

Integrální počet

symbol použití výklad položky Latex HTML Unicode
, definitivní integrál mezi a nad oblastí Integrální počet \int &int; U+222B
Integrální přes křivku Křivkový integrál \oint U+222E
Integrální nad oblastí Povrchový integrál \iint U+222C
Integrovaný přes hlasitost Objemový integrál \iiint U+222D
Horní integrál ze dne Horní integrál
\int\limits_{a}^{\bar b} f(x) \ dx
Dílčí integrál dne Dílčí integrál
\int\limits_{\underline a}^{b} f(x) \ dx

Vektorová analýza

symbol použití výklad položky Latex HTML Unicode
Přechod funkce Přechod (matematika) \nabla &nabla; U+2207
Divergence vektorového pole Divergence vektorového pole
Otočení vektorového pole Otočení vektorového pole
Laplaceův operátor funkce Laplaceův operátor \Delta &Delta; U+2206
D'Alembertův operátor funkce Operátor D'Alembert \square U+25A1

topologie

symbol použití výklad položky Latex HTML Unicode
Okraj davu Edge (topologie) \partial &part; U+2202
Srdce davu Vnitřní bod \circ &deg; U+02DA
Dokončení davu Stupeň (topologie) \bar U+0305
Tečkovaná sousedství bodu Tečkované prostředí \dot U+0307

Funkční analýza

symbol použití výklad položky Latex HTML Unicode
topologický duální prostor topologického vektorového prostoru Topologický duální prostor \prime &prime; U+2032
Oboustranný prostor normalizovaného vektorového prostoru Dvoulůžkový pokoj
Dokončení metrického prostoru Kompletní prostor \hat U+0302
Vložení topologického prostoru do prostoru Vkládání (matematika) \hookrightarrow U+21AA
Vedlejší operátor lineárního operátoru Pomocný operátor \ast &lowast; U+002A

Teorie měření

symbol použití výklad položky Latex HTML Unicode
Opatření je absolutně konstantní, pokud jde o Absolutně konstantní míra \ll U+226A
Toto opatření je v jednotném čísle Singulární míra \perp U+22A5
Nejmenší algebra, která obsahuje σ-algebra \sigma U+03C3
Nejmenší Dynkinův systém, který obsahuje Dynkinův systém \delta U+03B4

Lineární algebra a geometrie

Elementární geometrie

symbol použití výklad položky Latex HTML Unicode
Vzdálenost mezi body a Trasa (geometrie) [ ] U+005B/D
Délka trasy mezi body a \vert U+007C
\overline U+0305
Spojovací vektor bodů a vektor \vec U+20D7
Přímka spojující body a Spojovací vedení ( ) U+0028/9
Úhel se stehny a úhel \angle &ang; U+2220
Trojúhelník s rohovými body , a trojúhelník \triangle U+25B3
Obdélník s rohy , , a náměstí \square U+25A1
rovné čáry a jsou navzájem rovnoběžné Rovnoběžnost (geometrie) \parallel U+2225
přímky a nejsou navzájem rovnoběžné \nparallel U+2226
rovné čáry a jsou navzájem kolmé Ortogonalita \perp &perp; U+22A5

Vektory a matice

symbol výklad položky Latex
Vektor čáry sestávající z prvků do vektor \begin{pmatrix}
...
\end{pmatrix}

nebo

\left(
\begin{array}{...}
...
\end{array}
\right)
Sloupcový vektor skládající se z prvků do
Matice sestávající z prvků do Matice (matematika)

Vektorový výpočet

symbol použití výklad položky Latex HTML Unicode
Tečkový součin vektorů a Skalární produkt \cdot &middot; U+22C5
( ) U+0028/9

\langle \rangle &lang; &rang; U+27E8/9
Křížový součin (vektorový součin) vektorů a Křížový produkt \times &times; U+2A2F
[ ] U+005B/D
Pozdní součin vektorů , a Pozdní výrobek ( ) U+0028/9
dyadický součin vektorů a Dyadický výrobek \otimes &otimes; U+2297
Deštník součin vektorů a Střešní výrobek \wedge U+2227
Množství vektoru vektor \vert U+007C
Norma vektoru Vektorová norma \Vert, \| U+2016
Jednotkový vektor na vektor Jednotkový vektor \hat U+0302

Maticový výpočet

symbol použití výklad položky Latex HTML Unicode
Součin matric a Násobení matice \cdot &middot; U+22C5
Frobeniusův bodový součin matic a (ve fyzice) Bodový výrobek Frobenius \colon U+003A
Hadamardský produkt z matric a Výrobek Hadamard \circ U+2218
Kroneckerův produkt z matric a Výrobek Kronecker \otimes &otimes; U+2297
transponovaná matice matice Transponovaná matice T U+0054
pomocná matice matice Pomocná matice H U+0048
\ast &lowast; U+002A
\dagger &dagger; U+2020
inverzní matice matice Inverzní matice -1 U+207B
Moore-Penrose Inverse of the Matrix Pseudo-inverzní + U+002B
Determinant matice Determinant (matematika) \vert U+007C
Norma matice Maticová norma \Vert, \| U+2016

Vektorové mezery

symbol použití výklad položky Latex HTML Unicode
Součet vektorových mezer a Přímá částka + U+002B
přímý součet vektorových prostorů a \oplus &oplus; U+2295
přímý součin vektorových prostorů a Přímý produkt \times &times; U+2A2F
Tenzorový součin vektorových prostorů a Tenzorový výrobek \otimes &otimes; U+2297
Faktorový prostor vektorového prostoru za subvektorovým prostorem Prostor faktoru / &frasl; U+002F
ortogonální doplněk podprostoru Ortogonální doplněk \perp &perp; U+27C2
Duální prostor vektorového prostoru Duální prostor \ast &lowast; U+002A
Annihilator prostor sady vektorů Annihilator (matematika) 0 U+0030
lineární obálka množiny vektorů Lineární obálka \langle \rangle &lang; &rang; U+27E8/9

algebra

Vztahy

symbol použití výklad položky Latex HTML Unicode
Složení vztahů a Složení (matematika) \circ U+2218
Propojení prvků a (obecně) Vazba (matematika)
\bullet &bull; U+2219
\ast &lowast; U+2217
Pořadí vztah mezi prvky a Vztah objednávky \leq &le; U+2264
prvek je předchůdcem prvku Nástupce (matematika) \prec U+227A
prvek je nástupcem prvku \succ U+227B
Vztah ekvivalence mezi prvky a Vztah ekvivalence \sim &sim; U+223C
Třída ekvivalence prvku Třída ekvivalence [ ] U+005B/D
Faktorová množina množiny podle vztahu ekvivalence Sada faktorů (matematika) / &frasl; U+002F
Inverzní vztah vztahu Inverzní vztah -1 U+207B
Přechodná obálka vztahu Přechodná obálka (relace) + U+002B
Reflexně-tranzitivní obálka vztahu \ast &lowast; U+002A

Skupinová teorie

symbol použití výklad položky Latex HTML Unicode
skupiny a jsou izomorfní Skupinový izomorfismus \simeq U+2243
\cong &cong; U+2245
Přímý součin skupin a Přímý produkt \times &times; U+2A2F
Polopřímý součin skupin a Polopřímý produkt \rtimes U+22CA
Věnec součin skupin a Věnec výrobek \wr U+2240
je podskupina skupiny Podskupina \leq &le; U+2264
je skutečnou podskupinou skupiny \lt &lt; U+003C
je normální součástí skupiny Normální dělič \vartriangleleft U+22B2
\trianglelefteq
Faktorová skupina skupiny za normálním dělitelem Faktorová skupina / &frasl; U+002F
Index podskupiny ve skupině Index (teorie skupin) \colon U+003A
Vygeneruje se podskupina podle částky Výrobce (algebra) \langle \rangle &lang; &rang; U+27E8/9
Konjugace prvků skupiny a Konjugace (teorie skupin) ( ) U+0028/9
Komutátor prvků skupiny a Komutátor (matematika) [ ] U+005B/D

Teorie těla

symbol použití výklad položky Latex HTML Unicode
Prodloužení těla přes tělo Zvětšení těla / &frasl; U+002F
\mid U+007C
\colon U+003A
Stupeň zvětšení těla nad Stupeň roztažnosti
Algebraické uzavření těla Algebraický stupeň \overline U+0305
Pole reálných nebo komplexních čísel Tělo (algebra) \mathbb{K} U+1D542
konečné tělo Konečné tělo \mathbb{F} U+1D53D

Teorie prstenu

symbol použití výklad položky Latex HTML Unicode
Skupina jednotek prstenu Skupina jednotek \ast &lowast; U+2217
\times &times; U+2A2F
je ideálem prstenu Ideální (teorie prstenů) \vartriangleleft U+22B2
Faktorový prsten prstenu podle ideálu Faktorový prsten / &frasl; U+002F
Polynomiální prstenec nad prstencem s proměnnou Polynomiální prstenec [ ] U+005B/D

Stochastika

Kombinatorika

symbol použití výklad položky Latex HTML Unicode
Počet permutací prvků Fakulta ! U+0021
Počet permutací prvků bez pevných bodů Vedlejší fakulta
Počet skutečných evolutivních permutací ( lichých) Dvojitá fakulta
Počet kombinací bez opakování z prvků Binomický koeficient \binom U+0028/9
Počet uspořádání různých prvků Multinomický koeficient
Počet kombinací s opakováním z prvků Vícenásobné U+0028/9
Zvyšování faktoriálu ze s faktory Padající a rostoucí faktoriál \overline U+0305
Padající faktoriál s faktory \underline U+0332
Součin prvočísel menších nebo rovných Primární \# U+0023

výpočet pravděpodobnosti

symbol použití výklad položky Latex HTML Unicode
Pravděpodobnost události Opatření pravděpodobnosti P U+2119
Pravděpodobnost předpokladu Podmíněná pravděpodobnost \mid U+007C
Očekávaná hodnota náhodné proměnné kvůli Očekávaná hodnota - U+1D53C U+223C
Očekávaná hodnota náhodné proměnné - U+1D53C
Rozptyl náhodné proměnné Variance (stochastika) - -
Standardní odchylka náhodné veličiny Směrodatná odchylka (teorie pravděpodobnosti) - -
Kovariance náhodných proměnných a Covariance (stochastika)
Korelace náhodných proměnných a Korelační koeficient \rho &rho; U+03C1
Čtverec korelace mezi náhodnými proměnnými a Koeficient determinace \rho &rho; U+03C1
náhodná proměnná sleduje rozdělení Rozdělení pravděpodobnosti \sim &sim; U+223C
náhodná proměnná nesleduje rozdělení \nsim &nsim; U+2241
náhodná proměnná téměř jistě sleduje rozdělení \approx &asymp; U+2248
náhodná proměnná přibližně sleduje rozdělení \approx &asymp; U+2248
náhodná proměnná sleduje rozdělení podle nulové hypotézy \sim &sim; U+223C
náhodné proměnné a jsou stochasticky nezávislé Stochasticky nezávislé náhodné proměnné - - -

Poznámka: pro operátory existuje několik variant zápisu; místo kulatých závorek se často používají hranaté závorky.

statistika

symbol použití výklad položky Latex HTML Unicode
Medián hodnot Medián \tilde U+0303
Ukázkový průměr náhodné proměnné Průměrný \bar U+0305
Průměr hodnot Průměrný \bar U+0305
Průměr všech hodnot funkce (ve fyzice) \langle \rangle &lang; &rang; U+27E8/9
Odhadovaná hodnota parametru Odhad \hat U+0302

logika

Znamení definice

symbol použití výklad položky Latex HTML Unicode
je podle definice nastaven na stejnou hodnotu definice : U+003A
je nastaven ekvivalentní podle definice

Křižovatky

symbol použití výklad položky Latex HTML Unicode
Prohlášení a prohlášení Konjunkce (logika) \land &and; U+2227
Prohlášení nebo prohlášení (nebo obojí) Disjunkce \lor &or; U+2228
Výpověď vyplývá z prohlášení a naopak Logická ekvivalence \Leftrightarrow &hArr; U+21D4
\leftrightarrow &harr; U+2194
prohlášení následuje po prohlášení implikace \Rightarrow &rArr; U+21D2
\rightarrow &rarr; U+2192
buď prohlášení, nebo prohlášení Kontravalence / antivalence \nsim &nsim; U+2241
\oplus &oplus; U+2295
\veebar U+22BB
\dot\lor U+2A52
\nleftrightarrow U+21AE
\nLeftrightarrow U+21CE
ne prohlášení negace \lnot &not; U+00AC
\bar U+0305

Kvantifikátory

symbol použití výklad položky Latex HTML Unicode
pro všechny prvky Univerzální kvantifikátor \forall &forall; U+2200
\bigwedge U+22C0
existuje alespoň jeden prvek Existenciální kvantifikátor \exists &exist; U+2203
\bigvee U+22C1
existuje přesně jeden prvek Číselný kvantifikátor \exists! &exist; U+2203
\dot\bigvee U+2A52
neexistuje žádný prvek Existenciální kvantifikátor \nexists U+2204

Srážkové znaky

symbol použití výklad položky Latex HTML Unicode
Prohlášení je syntakticky z výpisu odvoditelné Vztah derivovatelnosti \vdash U+22A2
Příkaz sémanticky vyplývá z příkazu závěr \models, \vDash &DoubleRightTee; U+22A8
Prohlášení je obecně platné Tautologie (logika)
\top &perp; U+22A4
Prohlášení je rozporuplné Rozpor \bot U+22A5
Prohlášení je pravdivé, proto je také pravdivé Odvození (logika) \therefore U+2234
Prohlášení je pravdivé, protože tvrzení je také pravdivé \because U+2235
Rozpor Důkaz rozporu \lightning U+21AF
Konec dokazování quod erat demonstrandum \blacksquare U+220E
\Box U+25A1

Viz také

literatura

webové odkazy

Commons : Mathematical symbols  - sbírka obrázků, videí a zvukových souborů