Table de symboles mathématiques

Cette page contient des caractères spéciaux ou non latins. Si certains caractères de cet article s’affichent mal (carrés vides, points d’interrogation…), 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	\|	007C		$\|$	`\|` 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	/	002F		$/$	`/` ou `\slash`	division, définition d'ensemble par compréhension, ensemble quotient
barre oblique de division	∕	2215		$/$	`/`	division
barre de fraction	⁄	2044	&frasl;	$/$	`/`	fraction
barre oblique inversée	\	005C		$\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	÷	00F7	÷	$\div$	`\div`	division
filet horizontal				$\frac{\quad}{\quad}$	`\frac`	barre de fraction
égal	=	003D		$=$	`=`	égalité, définition, affectation
	≠	2260	≠	$\neq$	`\neq`	inégalité
deux-points égal	≔	2254		$:=$	`:=`	définition, affectation
identique à	≡	2261	&equiv;	$\equiv$	`\equiv`	congruence, identité

Cercles et symboles cerclés

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;	$\oplus, \bigoplus$	`\oplus`, `\bigoplus`	somme directe, différence symétrique
multiplié par cerclé	⊗, ⨂	2297 2A02	&otimes;	$\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	< >	003C 003E	< >	$\begin{array}{l}< \\ >\end{array}$	`\lt` ou `<` `\gt` ou `>`	comparaison pour un ordre strict, sous-groupe
	≤, ⩽ ≥, ⩾	2264, 2A7D 2265, 2A7E	≤ ≥	$\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
	⟨ ⟩	27E8 27E9	&lang; &rang;	$\langle\quad \rangle$	`\langle` `\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`	quantificateur universel « 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	◌⃗	20D7		$\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 )	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, Intervalle, partie entière, 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

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

Ponctuation et diacritiques

Nom	Unicode		HTML	LaTeX		Usages
prime	′	2032	′	$', \prime$	`'`, `\prime`	dérivée (première), dual topologique
accent circonflexe	^, ˆ, ◌̂	005E, 02C6, 0302		$\hat{}$ , $\widehat{}$	`\hat`, `\widehat`	angle géométrique, exclusion d'une liste, dual, estimateur statistique
macron	¯, ˉ, ◌̄	00AF, 02C9, 0304		$\bar{\ }$	`\bar{}`
surlignement	‾, ◌̅	203E, 0305		$\overline{\ }$	`\overline{}`	complémentaire^{[réf. souhaitée]}, complétion, conjugué
rond en chef	˚, ◌̊	02DA, 030A		$\overset{\circ}{}$	`\overset{\circ}{}`	intérieur
point d'exclamation	!	0021		$!$	`!`	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	…	2026	…	$\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	+	002B		$+$	`+`	addition en exposant ou en indice : partie positive d'un ensemble de nombres
croix de multiplication	×	00D7	×	$\times$	`\times`	multiplication, produit cartésien, parfois produit vectoriel 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	&exists;	$\exists$	`\exists`	quantificateur d'existence
	¬	00AC	¬	$\lnot$	`\lnot`	négation logique
	⊥	22A5		$\bot$	`\bot`	absurde
	⊥	27C2	&perp;	$\perp$	`\perp`	orthogonalité
croisillon	#	0023		$\#$	`\#`	cardinal d'un ensemble, somme connexe de variétés
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	⋂, ⋂	2229, 22C2	∩	$\cap, \bigcap$	`\cap`, `\bigcap`	intersection
fourche	⋔	22D4		$\pitchfork$	`\pitchfork`	intersection transverse
union	∪, ⋃	222A, 22C3	∪	$\cup, \bigcup$	`\cup`, `\bigcup`	réunion
	⊂ ⊆	2282 2286	nobr\|⊂ &sube;	$\subset, \subseteq$	`\subset, \subseteq`	inclusion, implication logique
	⊃ ⊇	2283 2287	⊃ &supe;	$\supset, \supseteq$	`\supset, \supseteq`
	⊄ ⊈	2284 2288	&nsub;	$\subsetneq$	`\subsetneq`
	⊅ ⊉	2285 2289		$\supsetneq$	`\supsetneq`
	∈ ∉ ∋	2208 2209 220B	∈ ∉ &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	≈	$\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é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	∞	$\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

Voir aussi

Extrait du standard Unicode, version 5.0 : contient les définitions des différents opérateurs
Règles françaises de typographie mathématique : comment rédiger correctement un document mathématique qui soit typographiquement correct

Portail des mathématiques

This article is issued from Wikipédia - version of the Wednesday, August 19, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.