Table des symboles mathématiques

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

Nom	Unicode		HTML	LaTeX		Usages
barre verticale	|	7C		$|$	| ou \vert {{{1}}}	valeur absolue, module d'un nombre complexe, déterminant, cardinal d'un ensemble
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 \parallel	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

Nom	Unicode		HTML	LaTeX		Usages
	∅	2205	∅	$\emptyset, \quad\varnothing$	\emptyset ou \varnothing	ensemble vide
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

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

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	→ ←	$\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	⇒ ⇐	$\begin{array}{l}\Rightarrow\\ \Leftarrow\end{array}$	\Rightarrow \Leftarrow	implication
	⇔, ⟺	21D4, 27FA	⇔	$\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

Articles détaillés : Table Unicode des flèches, Supplément A, Supplément B et Flèches épaisses.

Parenthèses, crochets et accolades

Nom	Unicode		HTML	LaTeX		Usages
parenthèses	( et )			$(\quad)$		parenthésage, argument de fonction, droite et demi-droite, coefficient binomial, produit scalaire, matrices
crochets	[ et ]			$[\quad]$		segment et demi-droite, partie entière, produit mixte, matrices, espace de polynômes, point projectif
accolades	{ et }			$\{\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 ⌋		⌊ et ⌋	$\lfloor\quad \rfloor$	\lfloor et \rfloor	partie entière
crochets hauts	⌈ et ⌉		⌈ et ⌉	$\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

Nom	Unicode		HTML	LaTeX		Usages
incrément	∆	2206		$\Delta$	\Delta	laplacien, différence symétrique
nabla	∇	2207	∇	$\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	◊	$\Diamond$	\Diamond	possibilité en logique modale

Ponctuation et diacritiques

Nom	Unicode		HTML	LaTeX		Usages
prime	′	2032	′	$', \prime$	', \prime	dérivée, dual topologique
point d'exclamation	!			$!$	!	factorielle, négation logique
point médian	·	22C5	· ou ⋅	$\cdot$	\cdot	produit scalaire
par conséquent	∴	2234		$\therefore$	\therefore	conséquence
parce que	∵	2235		$\because$	\because	cause
points de suspension	…		…	$\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

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	multiplication, produit cartésien, parfois produit vectoriel en exposant : groupe des inversibles d'un anneau
astérisque	∗	2217	∗	$*$	*	produit de convolution
il existe	∃	2204	&exists;	$\exists$	\exists	quantificateur d'existence
	¬	AC	¬	$\lnot$	\lnot	négation logique
	⊥	22A5		$\bot$	\bot	absurde
	⊥	27C2	⊥	$\perp$	\perp	orthogonalité
croisillon	#			$\#$	\#	cardinal d'un ensemble
symbole somme	∑	2211	∑	$\sum$	\sum	somme
symbole produit	∏	220F	∏	$\prod$	\prod	produit
symbole coproduit	∐	2210		$\coprod$	\coprod	coproduit
produit semi-direct	⋉, ⋊	22C9, 22CA		$\ltimes, \rtimes$	\ltimes, \rtimes	produit semi-direct

Autres symboles avec courbes

Nom	Unicode		HTML	LaTeX		Usages
complément	∁	2201		$\complement$	\complement	complémentaire
intersection	⋂, ⋂	222A, 22C2	∩	$\cap, \bigcap$	\cap, \bigcap	intersection
fourche	⋔	22D4		$\pitchfork$	\pitchfork	intersection transverse
union	∪, ⋃	2229, 22C3	∪	$\cup, \bigcup$	\cup, \bigcup	réunion (mathématiques)
	⊂, ⊆	2282, 2286	⊂, ⊆	$\subset, \subseteq$	\subset, \subseteq	inclusion, implication logique
	⊃, ⊇	2283, 2287	⊃, ⊇	$\supset, \supseteq$	\supset, \supseteq
	⊄, ⊈	2284, 2288	⊄	$\subsetneq$	\subsetneq
		2285, 2289		$\supsetneq$	\supsetneq
	∈ ∉ ∋	2208 2209 220B	∈ ∉ ∋	$\begin{array}{l}\in\\ \notin\\ \ni\end{array}$	\in \notin \ni ou \owns	appartenance
tilde	~	223C	∼	$\sim$	\sim	approximation, équivalent, négation logique, équivalence en loi de probabilité
presque égal	≈	2248	≈	$\approx$	\approx	approximation
asymptotiquement égal	≃	2243		$\simeq$	\simeq	approximation, équivalence d'homotopie
approximativement égal	≅	2245	≅	$\cong$	\cong	isomorphisme
produit en couronne	≀	2240		$\wr$	\wr	produit en couronne
signe intégral	∫	222B	∫	$\int$	\int	intégrale
	∬,∭	222C, 222D		$\iint, \iiint$	\iint, \iiint, \oint	intégrale multiple
	∮∯, ∰	222E, 222F, 2230		$\oint$	\iint, \iiint, \oint	intégrale de flux
d rond	∂	2202	&partial;	$\partial$	\partial	dérivée partielle, complexe différentiel
	∝	221D	∝	$\propto$	\propto	proportionnalité
symbole infini	∞	221E	∞	$\infty$	\infty	infini

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

Liens externes

• Extrait du standard Unicode, version 5.0 : Contient les définitions des différents opérateurs.