Table des symboles mathématiques

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Crystal Clear app fonts.svg Cette page contient des caractères spéciaux. Si certains caractères de cet article s’affichent mal (carrés vides, points d’interrogation, etc.), consultez la page d’aide Unicode.

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é.

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

Barres et tirets[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
barre verticale | 7C | | ou \vert
{{{1}}}
valeur absolue, module d'un nombre complexe, déterminant, cardinal d'un ensemble, tel que, sachant que
barre de divisibilité
2223
2224
\begin{array}{c}\mid\\ \nmid\end{array} \mid ou \vert
\nmid
divisibilité, restriction de fonction, définition d'ensemble par compréhension, probabilité conditionnelle
barres verticales doubles 2016 \Vert \| ou \Vert
\lVert et \rVert
norme d'un vecteur
parallèle
2225
2226
\begin{array}{c}\parallel\\ \nparallel\end{array} \parallel
\nparallel
parallélisme
barre oblique / 2F / / division, définition d'ensemble par compréhension, ensemble quotient
barre oblique de division 2212 / / division
barre de fraction 2044 ⁄ / / fraction
barre oblique inversée \ 5C \backslash \backslash quotient de groupe par une action à gauche
différence d'ensembles 2216 \setminus \setminus différence ensembliste
moins 2212 − - - soustraction, changement de signe, différence ensembliste

en exposant ou en indice : partie négative d'un ensemble de nombres

obélus ÷ F7 ÷ \div \div division
filet horizontal \frac{\quad}{\quad} \frac barre de fraction
égal = = = égalité, définition, affectation
2260 ≠ \neq \neq inégalité
deux-points égal 2254 := := définition, affectation
identique à 2261 ≡ \equiv \equiv congruence, identité

Cercles et symboles cerclés[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
2205 ∅ \emptyset, \quad\varnothing \emptyset ou \varnothing ensemble vide ; aussi diamètre
rond 2218 \circ \circ composition de fonctions
plus cerclé ⊕, ⨁ 2295
2A01
⊕ \oplus, \bigoplus \oplus, \bigoplus somme directe, différence symétrique
multiplié par cerclé ⊗, ⨂ 2297, 2A01 ⊗ \otimes, \bigotimes \otimes, \bigotimes produit tensoriel

Chevrons et angles[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
symbole radical 221A √ \surd \sqrt ou \surd racine carrée
chevron <
>
&lt;
&gt;
\begin{array}{l}< \\ >\end{array} \lt ou <
\gt ou >
comparaison pour un ordre strict, sous-groupe
≤, ⩽
≥, ⩾
2264, 2A7D
2265, 2A7E
&le;
&ge;
\begin{array}{l}\le, \leqslant\\ \ge, \geqslant\end{array} \le, \leqslant
\ge, \geqslant
comparaison pour un ordre large

227A
227B
\begin{array}{c}\prec \\ \succ\end{array} \prec
\succ
prédécesseur et successeur dans une suite
⟨ et ⟩ 27E8, 27E9 &lang; et &rang; \langle\quad \rangle \langle et \rangle sous-espace engendré, espace de polynômes à indéterminées non commutatives
ET logique
2227
22C0
&and; \begin{array}{c}\wedge\\ \bigwedge\end{array} \wedge
\bigwedge
conjonction logique, PGCD, smash-produit, produit extérieur
algèbre extérieure
OU logique
2228
22C1
&or; \begin{array}{c}\vee\\ \bigvee\end{array} \vee\bigvee disjonction logique, PPCM, bouquet
2200 &forall; \forall \forall pour tout

Flèches[modifier | modifier le code]

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
flèche à droite ou à gauche →, ⟶
←, ⟵
2192, 27F6
2190, 27F5
&rarr;
&larr;
\begin{array}{l}\to\\ \leftarrow\end{array} \to ou \rightarrow
\leftarrow
application, limite
flèche suscrite ◌⃗ 2027 \vec{\ }, \overrightarrow{\quad} \vec ou \overrightarrow vecteur
flèche à béquille ↦, ⟼ 21A6, 27FC \mapsto \mapsto application

21D2
21D0
&rArr;
&lArr;
\begin{array}{l}\Rightarrow\\ \Leftarrow\end{array} \Rightarrow
\Leftarrow
implication
⇔, ⟺ 21D4, 27FA &hArr; \Leftrightarrow, \iff \Leftrightarrow ou \iff équivalence logique
21AA \hookrightarrow \hookrightarrow injection, plongement
21AC \looparrowright \looparrowright immersion
21A0 \twoheadrightarrow \twoheadrightarrow surjection
2197 \nearrow \nearrow fonction croissante
2198 \searrow \searrow fonction décroissante

Parenthèses, crochets et accolades[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
parenthèses ( et ) 0028, 0029 (\quad) parenthésage, argument de fonction, droite et demi-droite, coefficient binomial, produit scalaire, matrices
crochets [ et ] 005B, 005D [\quad] segment et demi-droite, partie entière, produit mixte, matrices, espace de polynômes, point projectif
accolades { et } 007B, 007D \{\quad\} \{ et \} ensembles, systèmes, partie fractionnaire, nombre de Stirling, crochet de Poisson
crochets doubles ⟦ et ⟧ 27E6, 27E7 [\![\quad ]\!] [\![ et ]\!]
\llbracket et \rrbracket
intervalle d'entiers
crochets bas ⌊ et ⌋ 230A, 230B &lfloor; et &rfloor; \lfloor\quad \rfloor \lfloor et \rfloor partie entière
crochets hauts ⌈ et ⌉ 2308, 2309 &lceil; et &rceil; \lceil\quad \rceil \lceil et \rceil entier supérieur

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[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
incrément 2206 &#916; \Delta \Delta laplacien, différence symétrique
nabla 2207 &nabla; \nabla \nabla gradient, rotationnel
sous-groupe normal ⊳,⊵
⊲,⊴
22B2, 22B4
22B3, 22B5
\begin{array}{c}\vartriangleright, \trianglerighteq\\ \vartriangleleft, \trianglelefteq\end{array} \vartriangleright, \trianglerighteq
\vartriangleleft, \trianglelefteq
sous-groupe normal
carré 9633 \Box \Box d'alembertien, nécessité en logique modale
ce qu'il fallait démontrer 220E \blacksquare \blacksquare CQFD
losange 9674 &loz; \Diamond \Diamond possibilité en logique modale

Ponctuation et diacritiques[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
prime 2032 &prime; ', \prime ', \prime dérivée, dual topologique
point d'exclamation  ! ! ! factorielle, négation logique
point médian · 22C5 &middot; ou &sdot; \cdot \cdot produit scalaire
par conséquent 2234 \therefore \therefore conséquence
parce que 2235 \because \because cause
points de suspension &hellip; \dots \dots ellipse
trois points suspendus 22EE \vdots \vdots
trois points médians 22EF \cdots \cdots
trois points diagonaux ⋰, ⋱ 22F0, 22F1 \ddots, iddots \ddots, \iddots

Autres symboles en traits droits[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
plus + + + addition

en exposant ou en indice : partie positive d'un ensemble de nombres

croix de multiplication × D7 &times; \times \times multiplication, produit cartésien, parfois produit vectoriel

en exposant : groupe des inversibles d'un anneau

astérisque 2217 &lowast; * * produit de convolution
il existe 2203 &exists; \exists \exists quantificateur d'existence
¬ AC &not; \lnot \lnot négation logique
22A5 \bot \bot absurde
27C2 &perp; \perp \perp orthogonalité
croisillon # \# \# cardinal d'un ensemble
symbole somme 2211 &sum; \sum \sum somme
symbole produit 220F &prod; \prod \prod produit
symbole coproduit 2210 \coprod \coprod coproduit
produit semi-direct ⋉, ⋊ 22C9, 22CA \ltimes, \rtimes \ltimes, \rtimes produit semi-direct
Estimateur statistique ^ Estimateur statistique

Autres symboles avec courbes[modifier | modifier le code]

Nom Unicode HTML LaTeX Usages
complément 2201 \complement \complement complémentaire
intersection ⋂, ⋂ 222A, 22C2 &cap; \cap, \bigcap \cap, \bigcap intersection
fourche 22D4 \pitchfork \pitchfork intersection transverse
union ∪, ⋃ 2229, 22C3 &cup; \cup, \bigcup \cup, \bigcup réunion
⊂, ⊆ 2282, 2286 &sub;, &sube; \subset, \subseteq \subset, \subseteq inclusion, implication logique
⊃, ⊇ 2283, 2287 &sup;, &supe; \supset, \supseteq \supset, \supseteq
⊄, ⊈ 2284, 2288 &nsub; \subsetneq \subsetneq
2285, 2289 \supsetneq \supsetneq


2208
2209
220B
&isin;
&notin;
&ni;
\begin{array}{l}\in\\ \notin\\ \ni\end{array} \in
\notin
\ni ou \owns
appartenance
tilde ~ 223C &sim; \sim \sim approximation, équivalent, négation logique, équivalence en loi de probabilité
presque égal 2248 &asymp; \approx \approx approximation
asymptotiquement égal 2243 \simeq \simeq approximation, équivalence d'homotopie
approximativement égal 2245 &cong; \cong \cong isomorphisme
produit en couronne 2240 \wr \wr produit en couronne
signe intégral 222B &int; \int \int intégrale
∬,∭ 222C, 222D \iint, \iiint \iint, \iiint intégrale multiple
∮∯, ∰ 222E, 222F, 2230 \oint \oint intégrale de flux
d rond 2202 &partial; \partial \partial dérivée partielle, complexe différentiel
221D &prop; \propto \propto proportionnalité
symbole infini 221E &infin; \infty \infty infini

Plages d'Unicode[modifier | modifier le code]

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

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :

Liens externes[modifier | modifier le code]