Table de symboles mathématiques

En mathématiques, de nombreux symboles sont employés avec une signification qui n'est pas toujours reprécisée dans les
documents qui les emploient. Les tables qui constituent cet article répertorient certains de ces symboles avec leurs codages
Unicode et TeX lorsqu'ils sont connus, ainsi que leur nom et leurs usages. Ce tableau ne saurait prétendre à l'exhaustivité.

Les symboles utilisant une lettre d'un alphabet sont rassemblés sur l'article « Table des symboles littéraux en
mathématiques ».

Anses
Nom Unicode HTML LaTeX Usages

complément ∁ 2201 \complement complémentaire

intersection \cap, intersection,

∩, ⋂ 2229, 22C2 ∩
(ou cap) \bigcap cap-produit

intersection
fourche ⋔ 22D4 \pitchfork
transverse

\cup,
union ∪, ⋃ 222A, 22C3 ∪ réunion
\bigcup

⊂ 2282 nobr|⊂
\subset,
⊆ 2286 ⊆ \subseteq

⊃ 2283 ⊃
\supset,
⊇ 2287 ⊇ \supseteq
inclusion,
implication
⊄ 2284 logique
\nsubset,
⊄
⊈ 2288 \subsetneq

⊅ 2285
\nsupset,
⊉ 2289 \supsetneq

appartient à
(est un ∈ 2208 ∈ \in
élément de)

n'appartient
pas à (n'est
∉ 2209 ∉ \notin
pas un
élément de) appartenance
contient
comme ∋ 220B ∋ \ni ou \owns
élément

ne contient
\notni ou
pas comme ∌ 220C ∌
\not\owns
élément

⌢ 2322 \frown cap-produit

⌣ 2323 \smile cup-produit

Barres et tirets
Nom Unicode HTML LaTeX Usages

| ou \vert valeur absolue, module d'un nombre complexe, déterminant,

barre verticale | 007C
\lvert et \rvert cardinal d'un ensemble, tel que, sachant que

∣ 2223 \mid ou \vert divisibilité, restriction de fonction, définition d'ensemble par

barre de divisibilité
∤ 2224 \nmid compréhension, probabilité conditionnelle
barres verticales \| ou \Vert
∥ 2016 norme d'un vecteur
doubles \lVert et \rVert

∥ 2225 \parallel
parallèle parallélisme
∦ 2226 \nparallel

division, définition d'ensemble par compréhension, ensemble

barre oblique / 002F / ou \slash
quotient
barre oblique de
∕ 2215 / division
division

barre de fraction ⁄ 2044 ⁄ / fraction

barre oblique
\ 005C \backslash quotient de groupe par une action à gauche
inversée

différence
∖ 2216 \setminus différence ensembliste
d'ensembles
soustraction, changement de signe, différence ensembliste

moins − 2212 − - en exposant ou en indice : partie négative d'un

ensemble de nombres

obélus ÷ 00F7 ÷ \div division

filet horizontal \frac barre de fraction

égal = 003D = égalité, définition, affectation

inégale ≠ 2260 ≠ \neq inégalité

deux-points égal, ≔, 2254, ,

:= , \triangleq définition, affectation
delta sur égal 225C

identique à ≡ 2261 ≡ \equiv congruence, identité

Boucles
Nom Unicode HTML LaTeX Usages

d rond ∂ 2202 &partial; \partial dérivée partielle, complexe différentiel

∝ 221D ∝ \propto proportionnalité

symbole infini ∞ 221E ∞ \infty infini

Cercles et symboles cerclés

Nom Unicode HTML LaTeX Usages

\emptyset ou
o barré ∅ 2205 ∅ ensemble vide ; aussi diamètre
\varnothing

rond ∘ 2218 \circ composition de fonctions

⊕, 2295 somme directe, différence

plus cerclé ⊕ \oplus, \bigoplus
⨁ 2A01 symétrique

2297
multiplié par ⊗,
⊗ \otimes, \bigotimes produit tensoriel
cerclé ⨂ 2A02

Chevrons et angles
Nom Unicode HTML LaTeX Usages

symbole \sqrt ou
√ 221A √ racine carrée
radical \surd
 003C
inférieur à
< &lt; \lt ou < comparaison pour un ordre strict,
supérieur
à
> 003E &gt; \gt ou > sous-groupe

\le,
≤, ⩽ 2264, 2A7D &le; \leqslant
comparaison pour un ordre large
≥, ⩾ 2265, 2A7E &ge; \ge,
\geqslant

≺ 227A \prec prédécesseur et successeur dans une

≻ 227B \succ suite

négligeabilité ou prépondérance entre

≪ 226A \ll
valeurs numériques, absolue
≫ 226B \gg
continuité d’une mesure
27E8 &lang;
\langle, sous-espace engendré, espace de
chevrons ⟨⟩ polynômes à indéterminées non
27E9 &rang; \rangle
commutatives, produit scalaire

conjonction logique, PGCD, smash-

∧ 2227 \wedge
ET logique &and; produit, produit extérieur
⋀ 22C0 \bigwedge
algèbre extérieure, produit vectoriel

OU ∨ 2228 \vee
&or; disjonction logique, PPCM, bouquet
logique ⋁ 22C1 \bigvee

∀ 2200 &forall; \forall quantificateur universel « pour tout »

Croisements et symboles en traits droits

Nom Unicode HTML LaTeX Usages

addition

plus + 002B + en exposant ou en indice : partie positive d'un

ensemble de nombres

multiplication, produit cartésien, parfois produit vectoriel

croix de
× 00D7 &times; \times
multiplication en exposant : groupe des inversibles d'un anneau

astérisque ∗ 2217 &lowast; * produit de convolution, privé de zéro dans un ensemble

il existe ∃ 2203 &exist; \exists quantificateur d'existence

il n'existe pas ∄ 2204 &nexist; \nexists quantificateur d'inexistence

¬ 00AC &not; \lnot négation logique

⊥ 22A5 \bot absurde

⊥ 27C2 &perp; \perp orthogonalité

vrai
⊤ 22A4 \top
en exposant : matrice transposée

taquet ⊢ 22A2 \vdash partition d'un entier, déduction syntaxique

cardinal d'un ensemble, somme connexe de variétés,

croisillon # 0023 \#
primorielle

symbole somme ∑ 2211 &sum; \sum somme

symbole produit ∏ 220F &prod; \prod produit

symbole coproduit ∐ 2210 \coprod coproduit

 ⋉, 22C9, \ltimes,
produit semi-direct produit semi-direct
⋊ 22CA \rtimes

Flèches
Certaines flèches en LaTeX peuvent être rallongées en préfixant le nom de la commande par long (avec une majuscule le
cas échéant).
 Nom Unicode HTML LaTeX Usages

→, 2192 ,
(longue) flèche vers la droite (ou ⟶ 27F6 &rarr; \to ou \rightarrow
1, 2 application, limite
vers la gauche) ←, 2190 , &larr; \leftarrow
⟵ 27F5

diacritique flèche vers la droite en \vec ou

3 ◌⃗ 20D7 vecteur
chef \overrightarrow

(longue) flèche d'un taquet vers la ↦, 21A6 ,

1, 2 \mapsto application
droite ⟼ 27FC

double flèche vers la droite (ou ⇒ 21D2 &rArr; \Rightarrow

1 implication
vers la gauche) ⇐ 21D0 &lArr; \Leftarrow

1, 2 ⇔, 21D4, \Leftrightarrow ou
(longue) double flèche bilatérale &hArr; équivalence logique
⟺ 27FA \iff

1 injection, plongement, suivre une

flèche vers la droite avec crochet ↪ 21AA \hookrightarrow
loi de probabilité
1
flèche vers la droite avec boucle ↬ 21AC \looparrowright immersion

flèche vers la droite à deux

1 ↠ 21A0 \twoheadrightarrow surjection
pointes
1
flèche nord-est ↗ 2197 \nearrow fonction croissante
1
flèche sud-est ↘ 2198 \searrow fonction décroissante
1
flèche vers la droite ondulée ↝ 2190 \leadsto loi de probabilité

flèche semi-circulaire en sens

1 ↷ 21B7 \curvearrowright action de groupe
négatif en chef

Ondulations
Nom Unicode HTML LaTeX Usages

approximation,
équivalent, négation
tilde ∼ 223C &sim; \sim
logique, équivalence en
loi de probabilité

presque égal ≈ 2248 &asymp; \approx approximation

approximation,
asymptotiquement
≃ 2243 \simeq équivalence
égal
d'homotopie

approximativement
≅ 2245 &cong; \cong isomorphisme
égal

produit en
≀ 2240 \wr produit en couronne
couronne

signe intégral ∫ 222B &int; \int intégrale

∬ 222C
\iint
intégrale multiple
∭ 222D \iiint

intégrale cerclée ∮ 222E \oint intégrale de flux

∯ 222F
∯∰ \oiint
intégrale multiple de flux
∰ 2230 \oiiint

Parenthèses, crochets et accolades

 Nom Unicode HTML LaTeX Usages

parenthésage, argument de fonction, droite et demi-droite,

parenthèse 0028,
4 ( et ) coefficient binomial, produit scalaire, matrices, symbole de
(gauche, droite) 0029
Legendre

segment et demi-droite, intervalle, partie entière, matrices,

espace de polynômes, classe d'équivalence, point projectif,
crochet (gauche, 005B,
4 [ et ] modulo, commutateur dans un groupe ou dans un anneau,
droit) 005D
crochet de Lie, degré d'une extension de corps, indice d'un
sous-groupe, produit mixte
accolade (gauche, 007B, ensemble, système, partie fractionnaire, nombre de Stirling,
4 { et } \{ et \}
droite) 007D crochet de Poisson

crochet [\![ et ]\!]

⟦ et 27E6,
mathématique blanc \llbracket et intervalle d'entiers
5 ⟧ 27E7
(gauche, droit) \rrbracket

&lfloor; \lfloor et
plancher (à gauche, ⌊ et 230A,
6 et partie entière inférieure
à droite) ⌋ 230B \rfloor
&rfloor;

plafond (à gauche, ⌈ et 2308, &lceil; et \lceil et

6 partie entière supérieure
à droite) ⌉ 2309 &rceil; \rceil

Les délimiteurs peuvent être agrandis avec LaTeX à l'aide des commandes préfixes \big, \Big, \bigg, \Bigg… ou
adaptés à la hauteur du contenu délimité à l'aide des préfixes \left et \right.

Polygones
Nom Unicode HTML LaTeX Usages
différence symétrique, discriminant,
incrément ∆ 2206 &#916; \Delta
laplacien

nabla ∇ 2207 &nabla; \nabla gradient, rotationnel

22B3, \vartriangleright,
⊳,⊵ 22B5 \trianglerighteq
sous-groupe normal sous-groupe normal
⊲,⊴ 22B2, \vartriangleleft,
22B4 \trianglelefteq

d'alembertien, nécessité en logique

carré □ 25A1 \Box
modale, CQFD

ce qu'il fallait
∎ 220E \blacksquare CQFD
démontrer

losange ◊ 25CA &loz; \Diamond possibilité en logique modale

Ponctuation et diacritiques
Nom Unicode HTML LaTeX Usages

prime ′ 2032 &prime; ', \prime dérivée (première), dual topologique

^, ˆ, 005E, 02C6, angle géométrique, exclusion d'une liste,

accent circonflexe , \hat, \widehat
◌̂ 0302 dual, estimateur statistique

¯, ˉ, 00AF, 02C9,
macron \bar{}
◌̄ 0304
7
complémentaire , moyenne, conjugué,
surlignement ‾, ◌̅ 203E, 0305 \overline{}
adhérence, clôture algébrique

\overset{\circ}
rond en chef ˚, ◌̊ 02DA, 030A intérieur
{}

point
! 0021 ! factorielle, négation logique
d'exclamation
&middot; ou produit scalaire, produit matriciel de
point médian · 22C5 \cdot
&sdot; Hadamard

par conséquent ∴ 2234 \therefore conséquence

 parce que ∵ 2235 \because cause

points de
… 2026 &hellip; \dots
suspension

trois points
⋮ 22EE \vdots
suspendus
ellipse
trois points
⋯ 22EF \cdots
médians

trois points ⋰,
22F0, 22F1 \ddots, \iddots
diagonaux ⋱

Plages d'Unicode
D'autres symboles sont définis par Unicode dans les plages suivantes :

Plage Nom officiel du bloc

2000 – 206F Ponctuation générale

2070 – 209F Exposants et indices

20D0 – 20FF Signes combinatoires pour symboles

2150 – 218F Formes numérales

2190 – 21FF Flèches

2200 – 22FF Opérateurs mathématiques

2300 – 23FF Signes techniques divers (2336 – 237A = symboles APL)

25A0 – 25FF Formes géométriques

2600 – 26FF Symboles divers

2700 – 27BF Casseau

27C0 – 27EF Divers symboles mathématiques - A

27F0 – 27FF Supplément A de flèches

2900 – 297F Supplément B de flèches

2980 – 29FF Divers symboles mathématiques-B

2A00 – 2AFF Opérateurs mathématiques supplémentaires

2B00 – 2BFF Divers symboles et flèches

3000 – 303F Symboles et ponctuation Chinois, japonais et coréen (CJC)

10100 – 1013F Nombres égéens

1D400 – 1D7FF Symboles mathématiques alphanumériques

Notes et références
1. Unicode 5.0, Flèches, 2190–21FF (lire en ligne (http://unicode.org/fr/charts/PDF/U2190.pdf)), p. 208,209
2. Unicode 5.0, Supplément A de flèches, 27F0–27FF (lire en ligne (https://www.unicode.org/fr/charts/PDF/U27F0.pdf)),
p. 248
3. Unicode 5.0, Signes combinatoires pour symboles, 20D0–20FF (lire en ligne (https://www.unicode.org/fr/charts/PDF/U20
D0.pdf)), p. 200
4. Unicode 5.0, Commandes C0 et latin de base, 0000–007F (lire en ligne (https://www.unicode.org/fr/charts/PDF/U0000.p
df)), p. 4-6
5. Unicode 5.0, Divers symboles mathématiques - A, 27C0–27EF (lire en ligne (https://www.unicode.org/fr/charts/PDF/U27
C0.pdf)), p. 247
6. Unicode 5.0, Signes techniques divers, 2300–23FF (lire en ligne (https://www.unicode.org/fr/charts/PDF/U2300.pdf)),
p. 218
7. Bourbaki, Nicolas., Théorie des ensembles, Springer, 2006, 337 p. (ISBN 978-3-540-34035-5, 3540340351 et
1281086657, OCLC 262827695 (https://worldcat.org/fr/title/262827695), lire en ligne (https://www.worldcat.org/oclc/2628
27695))

Voir aussi
Sur les autres projets Wikimedia :
Vocabulaire et notations mathématiques,
sur Wikiversity

Liens externes
Contient les caractères Unicode (https://unicode.org/charts/)
Règles françaises de typographie mathématique (http://sgalex.free.fr/typo-maths_fr.pdf) : comment rédiger
correctement un document mathématique qui soit typographiquement correct

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Table_de_symboles_mathématiques&oldid=207888238 ».