In matematica , molti simboli sono usati con un significato che non è sempre re-specificato nei documenti che li utilizzano. Le tabelle che compongono questo articolo elencano alcuni di questi simboli con le loro codifiche Unicode e TeX quando note, così come i loro nomi e usi. Questa tabella non può pretendere di essere esaustiva.
I simboli che utilizzano una lettera di un alfabeto sono raccolti nell'articolo " Tabella dei simboli letterali in matematica ".
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
complemento | ∁ | 2201 | \complement | complementare | ||
incrocio (o intestazione ) | ∩, ⋂ | 2229, 22C2 | & cap; | \cap, \bigcap | intersezione , intestazione del prodotto | |
forchetta | ⋔ | 22D4 | \pitchfork | intersezione trasversale | ||
unione | ∪, ⋃ | 222A, 22C3 | & cup; | \cup, \bigcup | incontro | |
⊂
⊆ |
2282
2286 |
nobr | & sub;
& sube; |
\subset, \subseteq | inclusione , implicazione logica | ||
⊃
⊇ |
2283
2287 |
& sup;
& supe; |
\supset, \supseteq | |||
⊄
⊈ |
2284
2288 |
& nsub; | \subsetneq | |||
⊅
⊉ |
2285
2289 |
\supsetneq | ||||
∈ ∉ ∋ |
2208 2209 220B |
& isin; & Non in; &o; |
\in \notin \ni o \owns |
l'appartenenza |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
barra verticale | | | 007C |
|o \vert \lverte\rvert |
valore assoluto , modulo di un numero complesso , determinante , cardinale di un insieme , tale che, sapendolo | ||
barra di divisibilità | ∣ ∤ |
2223 2224 |
\mid o \vert \nmid |
divisibilità , restrizione di funzioni , definizione di insiemi per comprensione , probabilità condizionata | ||
doppie barre verticali | ∥ | 2016 |
\|o \Vert \lVerte\rVert |
norma di un vettore | ||
parallelo | ∥ ∦ |
2225 2226 |
\parallel \nparallel |
parallelismo | ||
barra | / | 002F | / o \slash | divisione , definizione di insieme per comprensione , insieme di quozienti | ||
barra di divisione | ∕ | 2215 | / | divisione | ||
barra delle frazioni | ⁄ | 2044 | & frasl; | / | frazione | |
barra rovesciata | \ | 005C | \backslash | quoziente di gruppo con un'azione a sinistra | ||
differenza di insiemi | ∖ | 2216 | \setminus | impostare la differenza | ||
Di meno | - | 2212 | & meno; | - |
sottrazione , cambio di segno , differenza di set apice o pedice: parte negativa di un insieme di numeri |
|
obelus | ÷ | 00F7 | & dividere; | \div | divisione | |
filo orizzontale | \frac | barra delle frazioni | ||||
pari | = | 003D | = | uguaglianza , definizione , assegnazione | ||
irregolare | ≠ | 2260 | &Nato; | \neq | disuguaglianza | |
due punti è uguale, delta è uguale a | ≔, | 2254, 225C | , | := , \triangleq | definizione , assegnazione | |
simile a | ≡ | 2261 | & equiv; | \equiv | congruenza , identità |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
d round | ∂ | 2202 | & parziale; | \partial | derivata parziale , complesso differenziale | |
∝ | 221D | & prop; | \propto | proporzionalità | ||
simbolo dell'infinito | ∞ | 221E | & infin; | \infty | infinito |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
o barrato | ∅ | 2205 | & vuoto; | \emptyset o \varnothing | set vuoto ; anche diametro | |
il giro | ∘ | 2218 | \circ | composizione delle funzioni | ||
più cerchiato | ⊕, ⨁ | 2295 2A01 |
& oplus; | \oplus, \bigoplus | somma diretta , differenza simmetrica | |
moltiplicato per cerchiato | ⊗, ⨂ | 2297
2A02 |
& otimes; | \otimes, \bigotimes | prodotto tensore |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
simbolo radicale | √ | 221A | & radic; | \sqrt o \surd | radice quadrata | |
minore di maggiore di |
< > |
003C
003E |
& lt; & gt; |
\lto < \gto> |
confronto per un ordine rigoroso , sottogruppo | |
≤, ⩽ ≥, ⩾ |
2264, 2A7D 2265, 2A7E |
&il; & ge; |
\le, \leqslant \ge, \geqslant |
confronto per grandi ordini | ||
≺ ≻ |
227A 227B |
\prec \succ |
predecessore e successore in un sequel | |||
travi | ⟨
⟩ |
27E8
27E9 |
& lang;
&rango; |
\langle \rangle | sottospazio generato, spazio di polinomi con indeterminati non commutativi, prodotto scalare | |
AND logico | ∧ ⋀ |
2227 22C0 |
& e; |
\wedge \bigwedge |
congiunzione logica , GCD , prodotto smash , algebra esteriore del prodotto esterno |
|
OR logico | ∨ ⋁ |
2228 22C1 |
&oro; | \vee \bigvee | disgiunzione logica , PPCM , bouquet | |
∀ | 2200 | & per tutti; | \forall | quantificatore universale "per tutti" |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
Di più | + | 002B | + |
aggiunta apice o pedice: parte positiva di un insieme di numeri |
||
moltiplicazione croce | × | 00D7 | & times; | \times |
moltiplicazione , prodotto cartesiano , a volte prodotto incrociato esponente: gruppo di invertibili di un anello |
|
asterisco | ∗ | 2217 | & lowast; | * | prodotto di convoluzione , privato di zero in un insieme | |
esiste | ∃ | 2203 | &esistere; | \exists | quantificatore di esistenza | |
¬ | 00AC | & non; | \lnot | negazione logica | ||
⊥ | 22A5 | \bot | assurdo | |||
⊥ | 27C2 | & perp; | \perp | ortogonalità | ||
bretelle | # | 0023 | \# | cardinale di un insieme , somma connessa di varietà, primoriale | ||
simbolo di somma | ∑ | 2211 | & sum; | \sum | somma | |
simbolo del prodotto | ∏ | 220F | & prod; | \prod | Prodotto | |
simbolo del coprodotto | ∐ | 2210 | \coprod | co-prodotto | ||
prodotto semidiretto | ⋉, ⋊ | 22C9, 22CA | \ltimes, \rtimes | prodotto semidiretto |
Alcune frecce in LaTeX possono essere allungate anteponendo al nome del comando long(con una lettera maiuscola se necessario).
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
freccia (lunga) a destra (o a sinistra) | →, ⟶ ←, ⟵ |
2192, 27F6 2190, 27F5 |
& rarr; & larr; |
\to o \rightarrow \leftarrow |
applicazione , limite | |
freccia diacritica a destra in capo | ◌⃗ | 20D7 | \vec o \overrightarrow | vettore | ||
freccia (lunga) uno stop a destra | ↦, ⟼ | 21A6, 27FC | \mapsto | applicazione | ||
doppia freccia a destra (o a sinistra) | ⇒ ⇐ |
21D2 21D0 |
& rArr; & lArr; |
\Rightarrow \Leftarrow |
coinvolgimento | |
(lunga) doppia doppia freccia | ⇔, ⟺ | 21D4, 27FA | & hArr; | \Leftrightarrow o \iff | equivalenza logica | |
freccia destra con segno di spunta | ↪ | 21AA | \hookrightarrow | iniezione , incorporamento | ||
freccia destra con anello | ↬ | 21AC | \looparrowright | immersione | ||
freccia a doppia punta a destra | ↠ | 21A0 | \twoheadrightarrow | sovraiezione | ||
freccia nord-est | ↗ | 2197 | \nearrow | funzione crescente | ||
freccia sud-est | ↘ | 2198 | \searrow | funzione decrescente |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
tilde | ∼ | 223C | & sim; | \sim | approssimazione , equivalente , negazione logica , equivalenza in diritto di probabilità | |
quasi uguale | ≈ | 2248 | & asymp; | \approx | approssimazione | |
asintoticamente uguale | ≃ | 2243 | \simeq | approssimazione , omotopia equivalenza | ||
approssimativamente uguale | ≅ | 2245 | & cong; | \cong | isomorfismo | |
prodotto corona | ≀ | 2240 | \wr | prodotto corona | ||
segno integrale | ∫ | 222B | & int; | \int | integrante | |
∬
∭ |
222C
222D |
\iint \iiint | integrale multiplo | |||
pieno cerchiato | ∮ | 222E | \oint | integrale di flusso | ||
∯
∰ |
222F
2230 |
\oiint \oiiint | integrale di flusso multiplo |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
parentesi (sinistra, destra) | (e) | 0028, 0029 | bracketing , funzione argomento , destra e raggio , coefficiente binomiale , prodotto scalare , matrici | |||
gancio (sinistra, destra) | [e] | 005B, 005D | segmento e semiretta , intervallo , parte intera , matrici , spazio polinomiale , punto proiettivo , modulo | |||
parentesi graffa (sinistra, destra) | {e} | 007B, 007D | \{ e \} | insiemi , sistemi , parte frazionaria , numero di Stirling , parentesi di Poisson | ||
gancio matematico bianco (sinistra, destra) | ⟦E⟧ | 27E6, 27E7 |
[\![e ]\!] \llbrackete\rrbracket |
intervallo di numeri interi | ||
pavimento (sinistra, destra) | ⌊ e ⌋ | 230A, 230B | & lfloor; e & rfloor; | \lfloor e \rfloor | tutta la parte inferiore | |
soffitto (sinistra, destra) | ⌈ e ⌉ | 2308, 2309 | & lceil; e & rceil; | \lceil e \rceil | tutta la parte superiore |
I delimitatori possono essere ingrandite con comandi LaTeX usare prefissi \big, \Big, \bigg, \Bigg... o adattati all'altezza del contenuto delimitati prefissi \lefte \right.
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
incremento | ∆ | 2206 | & # 916; | \Delta | differenza simmetrica , discriminante , laplaciana | |
nabla | ∇ | 2207 | & nabla; | \nabla | gradiente , rotazionale | |
sottogruppo normale | ⊳, ⊵ ⊲, ⊴ |
22B3, 22B5 22B2, 22B4 |
\vartriangleright, \trianglerighteq \vartriangleleft,\trianglelefteq |
sottogruppo normale | ||
quadrato o quadrata | □ | 25A1 | \Box | d'Alembertien , necessità in logica modale , CQFD | ||
Questo doveva essere dimostrato | ∎ | 220E | \blacksquare | CQFD | ||
diamante | ◊ | 25CA | & loz; | \Diamond | possibilità in logica modale |
Nome | Unicode | HTML | Lattice | Utilizza | ||
---|---|---|---|---|---|---|
premio | ′ | 2032 | & premium; | ', \prime | derivato (primo), duale topologico | |
accento circonflesso | ^, ˆ, ◌̂ | 005E, 02C6, 0302 | , | \hat, \widehat | angolo geometrico , esclusione di una lista, duale , stimatore statistico | |
macron | ¯, ˉ, ◌̄ | 00AF, 02C9, 0304 | \bar{} | |||
evidenziando | ‾, ◌̅ | 203E, 0305 | \overline{} | complementare , completamento , coniugato , media | ||
round principale | ˚, ◌̊ | 02DA, 030A | \overset{\circ}{} | interni | ||
punto esclamativo | ! | 0021 | ! | negazione fattoriale e logica | ||
punto medio | · | 22C5 | & middot; o & sdot; | \cdot | prodotto scalare | |
Perciò | ∴ | 2234 | \therefore | risultato | ||
perché | ∵ | 2235 | \because | causa | ||
Punti di sospensione | ... | 2026 | & hellip; | \dots | ellisse | |
tre punti di sospensione | ⋮ | 22EE | \vdots | |||
tre punti medi | ⋯ | 22EF | \cdots | |||
tre punti diagonali | ⋰, ⋱ | 22F0, 22F1 | \ddots, \iddots |
Altri simboli sono definiti da Unicode nei seguenti intervalli:
Spiaggia | Nome ufficiale del blocco |
---|---|
2000 – 206F | Punteggiatura generale |
2070 – 209F | Esponenti e indici |
20D0 – 20FF | Segni combinatori per simboli |
2150 – 218F | Forme numeriche |
2190 – 21FF | Frecce |
2200 – 22FF | Operatori matematici |
2300 – 23FF | Vari segni tecnici ( 2336 – 237A= simboli APL ) |
25A0 – 25FF | Forme geometriche |
2600 – 26FF | Simboli vari |
2700 – 27BF | Casseau |
27C0 – 27EF | Vari simboli matematici - A |
27F0 – 27FF | Supplemento frecce A |
2900 – 297F | Supplemento frecce B |
2980 – 29FF | Vari simboli matematici-B |
2A00 – 2AFF | Operatori matematici aggiuntivi |
2B00 – 2BFF | Vari simboli e frecce |
3000 – 303F | Simboli e punteggiatura cinesi, giapponesi e coreani (CJC) |
10100 – 1013F | Numeri dell'Egeo |
1D400 – 1D7FF | Simboli matematici alfanumerici |