Formules mathématiques
Il y a trois environnements qui mettent LaTeX en mode mathématique :
math 	Pour les formules qui apparaissent directement dans le texte.
displaymath 	Pour les formules qui apparaissent sur leur propre ligne.
equation 	Parail que l’environnement displaymath sauf qu’il ajoute un numéro d’équation dans la marge de droite.
L’environnement math peut être utilsé aussi bien en mode paragraphe qu’en mode LR, mais les environnements displaymath et equation ne peuvent être utilisés qu’en mode paragraphe. Les environnements math et displaymath sont utilisés si souvent qu’ils ont les formes abrégées suivantes :

\(...\) au lieu de \begin{math}...\end{math}
\[...\] au lieu de \begin{displaymath}...\end{displaymath}

En fait, l’environnement math est si fréquent qu’il a une forme encore plus courte :

$ ... $ au lieu de \(...\)

La commande \boldmath change les lettres and symboles mathématiques pour qu’il soient en gras. Elle est utilisée en dehors du mode mathématique. À l’inverse, la commande \unboldmath change les glyphes mathématique pour qu’ils soient dans une fonte normale ; elle aussi est à utiliser en dehors du mode mathématique.
La déclaration \displaystyle force la taille et le style de la formule à être ceux de displaymath, par ex., avec les limites au dessus et en dessous le signe de sommation. Par exemple

$\displaystyle \sum_{n=0}^\infty x_n $

Indices inférieurs & supérieurs
En mode mathématique, utilisez le caractère caret ^ pour qu’une expression exp apparaisse en indice supérieur, c.-à-d. tapez ^{exp}. Similairement, en mode mathémtique, _{exp} fait un indice inférieur de exp.
Dans cet exemple le 0 et le 1 apparaissent comme indices inférieurs alors que le 2 est un indice supérieur.

\( (x_0+x_1)^2 \)

Pour avoir plus d’un caractère au sein de exp utilisez des accolades comme dans e^{-2x}.
LaTeX manipule la mise en indice supérieur d’un matériel et tout ce qui tient de cela de la manière naturelle, de sorte que des expressions telles que e^{x^2} et x_{a_0} seront composées comme il faut. Il fait même ce qu’il faut quand quelque-chose a à la fois un indice supérieur et un indice inférieur. Dans cet exemple le 0 apparaît au bas du signe intégrale alors que le 10 apparaît en haut.

\int_0^{10} x^2 \,dx

Vous pouvez mettre un indice supérieur ou inférieur avant un symbole avec une construction telle que {}_t K^2 en mode mathématique (le {} initial empèche l’indice préfixé d’être attaché à quelque symbole qui le précède dans l’expression).
En dehors du mode mathématique, une construction comme Un test$_\textnormal{indice inf.}$ produit un indice inférieur composé en mode texte, non pas en mode mathémque. Notez qu’il y a des paquetage spécialisée pour écrire des formule chimique, tel que mhchem.

Symboles mathématiques
LaTeX fournit presque tout symbole mathématique dont vous êtes susceptible d’avoir besoin. Par exemple, si vous incluez $\pi$ dans votre code source, alors vous obtenez le symbole pi π.
Ci-dessous se trouve une liste de symboles généralement disponibles. Ce n’est en aucun cas une liste exhaustive. Chaque symbole y est décrit brièvement et avec sa classe de symbole (qui détermine l’espacement autour de lui) qui est donnée entre parenthèses. Les commandes pour ces symboles peuvent, sauf mention contraire, être utilisées seulement en mode mathématique.
Pour redéfinir une commande de sorte à pouvoir l’utiliser quel que soit le mode, voir \ensuremath.
\| 	∥ Parallèle (relation). Synonyme : \parallel.
\aleph 	ℵ Aleph, cardinal transfini (ordinaire).
\alpha 	α Lettre grecque en bas de casse alpha (ordinaire).
\amalg 	⨿ Union disjointe (binaire)
\angle 	∠ Angle géometrique (ordinaire). Similaire : sign inférieur-à < et chevron \langle.
\approx 	≈ Presque égal à (relation).
\ast 	∗ Opérateur astérisque, convolution, à six branches (binaire). Synonyme : *, ce qui est souvent un indice supérieur ou inférieur, comme dans l’étoile de Kleene. Similaire : \star, qui est à cinq branches, et est quelque-fois utilisée comme une opération binaire générale, and quelques-fois reservée pour la corrélation-croisée.
\asymp 	≍ Équivalent asymptomatiquement (relation).
\backslash 	\ contr’oblique (ordinaire). Similaire : soustraction d’ensemble \setminus, et \textbackslash pour une contr’oblique en-dehors du mode mathématique.
\beta 	β Lettre grecque en bas de casse beta (ordinaire).
\bigcap 	⋂ De taille Variable, ou n-aire, intersection (opérateur). Similaire : intersection binaire \cap.
\bigcirc 	⚪ Cercle, plus grand (binaire). Similaire : composition de fonction \circ.
\bigcup 	⋃ De taille variable, ou n-aire, union (opérateur). Similaire : union binaire \cup.
\bigodot 	⨀ De taille variable, ou n-aire, opérateur point encerclé (opérateur).
\bigoplus 	⨁ De taille variable, ou n-aire, opérateur plus encerclé (opérateur).
\bigotimes 	⨂ De taille variable, ou n-aire, opérateur multiplié encerclé (opérateur).
\bigtriangledown 	▽ De taille variable, ou n-aire, triangle ouvert pointant vers le bas(opérateur).
\bigtriangleup 	△ De taille variable, ou n-aire, triangle ouvert pointant vers le haut (opérateur).
\bigsqcup 	⨆ De taille variable, ou n-aire, union carrée (opérateur).
\biguplus 	⨄ De taille variable, ou n-aire, opérateur union avec un plus (opérateur). (Notez que le nom a juste un p.)
\bigvee 	⋁ De taille variable, ou n-aire, et-logique (opérateur).
\bigwedge 	⋀ De taille variable, ou n-aire, ou-logique (opérateur).
\bot 	⊥ Taquet vers le haut, minimum, plus petit élément d’un ensemble partiellement ordonné, ou une contradiction (ordinaire). Voir aussi \top.
\bowtie 	⋈ Jonction naturelle de deux relations (relation).
\Box 	□ Opérateur modal pour la nécessité ; boîte ouverte carrée (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\bullet 	 • Puce (binaire). Similaire : point de multiplication \cdot.
\cap 	∩ Intersection de deux ensembles (binaire). Similaire : opérateur de taille variable \bigcap.
\cdot 	⋅ Multiplication (binaire). Similaire : Point puce \bullet.
\chi 	χ Lettre grecque en bas de casse chi (ordinaire).
\circ 	∘ Composition de fonctions, opérateur rond (binaire). Similaire : opérateur de taille variable \bigcirc.
\clubsuit 	♣ Trèfle de carte à jouer (ordinaire).
\complement 	∁ Complement d’ensemble, utilisée en indice supérieur comme dans $S^\complement$ (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. On utilise aussi : $S^{\mathsf{c}}$ ou $\bar{S}$.
\cong 	≅ Congruent (relation).
\coprod 	∐ Coproduit (opérateur).
\cup 	∪ Réunion de deux ensembles (binaire). opérateur de taille variable \bigcup.
\dagger 	† Relation obèle (binaire).
\dashv 	⊣ Taquet gauche, tiret avec barre verticale à droite, tourniquet pour gauchers (relation). Similaire : taquet droit, tourniquet \vdash.
\ddagger 	‡ Relation double obèle (binaire).
\Delta 	Δ Delta grec capital, utilisé pour indiquer une incrémentation (ordinaire).
\delta 	δ Delta grec bas-de-casse (ordinaire).
\Diamond 	◇ Opérateur grand carreau (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\diamond 	⋄ Opérateur Carreau, ou puce carreau (binaire). Similaire : grand carreau \Diamond, puce disque \bullet.
\diamondsuit 	♢ Carreau de carte à jouer (ordinaire).
\div 	÷ Signe de division, obélus (binaire).
\doteq 	≐ Approche la limite (relation). Similaire : géométriquement égal à \Doteq.
\downarrow 	↓ Flèche vers le bas, converge (relation). Similaire : flèche à ligne double vers le bas \Downarrow.
\Downarrow 	⇓ Flèche à ligne double vers le bas (relation). Similaire : flèche à ligne simple vers le bas \downarrow.
\ell 	ℓ Lettre l bas de casse cursive (ordinaire).
\emptyset 	∅ Symbole ensemble vide (ordinaire). La forme en variante est \varnothing.
\epsilon 	ϵ Lettre grecque bas de casse epsilon lunaire (ordinaire). Sembable à la lettre en texte grec. En mathématiques on utilise plus fréquemment l’epsilon minuscule de ronde \varepsilon ε. En relation avec : la relation ensembliste « appartenir à » \in ∈.
\equiv 	≡ Équivalence (relation).
\eta 	η Lettre grecque en bas de casse (ordinaire).
\exists 	∃ Quanteur « Il existe » (ordinaire).
\flat 	♭ Bémol (ordinaire).
\forall 	∀ Quanteur « Pour tout » (ordinaire).
\frown 	⌢ Moue (ordinaire).
\Gamma 	Γ Lettre grecque en capitale (ordinaire).
\gamma 	γ Lettre grecque en bas de casse (ordinaire).
\ge 	≥ Supérieur ou égal à (relation). Synonyme : \geq.
\geq 	≥ Supérieur ou égal à (relation). Synonyme : \ge.
\gets 	← Auquel est assignée la valeur (relation). Synonyme : \leftarrow.
\gg 	≫ Beaucoup plus grand que (relation). Similaire : Beaucoup plus petit que \ll.
\hbar 	ℏ Constante de Planck sur deux pi (ordinaire).
\heartsuit 	♡ Cœur de carte jouer (ordinaire).
\hookleftarrow 	↩ Flèche vers la gauche avec crochet (relation).
\hookrightarrow 	↪ Flèche vers la gauche avec crochet (relation).
\iff 	⟷ Si et seulement si (relation). C’est un \Longleftrightarrow avec un \thickmuskip de chaque côté.
\Im 	ℑ Partie imaginaire (ordinaire). Voir aussi : partie réelle \Re.
\in 	∈ Appartient à (relation). Voir aussi : lettre grecque bas de casse epsilon lunaire \epsilon ϵ et l’epsilon minuscule de ronde \varepsilon.
\infty 	∞ Infini (ordinaire).
\int 	∫ Intégrale (opérateur).
\iota 	ι Lettre grecque en bas de casse (ordinaire).
\Join 	⨝ Symbole jointure condensé (relation). Ceci n’est pas disponible en TeX de base.
\kappa 	κ Lettre grecque en bas de casse (ordinaire).
\Lambda 	Λ Lettre grecque en capitale (ordinaire).
\lambda 	λ Lettre grecque en bas de casse (ordinaire).
\land 	∧ Et logique (binaire). Synonyme : \wedge. Voir aussi ou-logique \lor.
\langle 	⟨ Chevron mathématique gauche, ou séquence, crochet (ouvrant). Similaire : inférieur à <. Correspond à \rangle.
\lbrace 	{ Accolade gauche (ouvrant). Synonyme : \{. Correspond à \rbrace.
\lbrack 	[ Crochet gauche (ouvrant). Synonyme : [. Correspond à \rbrack.
\lceil 	⌈ Plafond à gauche, ressemble à un crochet mais avec le pied coupé (ouvrant). Correspond à \rceil.
\le 	≤ Inférieur ou égal à (relation). C’est un synonyme de \leq.
\leadsto 	⇝ flèche vers la droite en tire-bouchon (relation). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\Leftarrow 	⇐ Est impliqué par, flèche vers la gauche à double-ligne (relation). Similaire : flèche vers la gauche à simple ligne \leftarrow.
\leftarrow 	← Flèche vers la gauche à simple ligne (relation). Synonyme : \gets. Similaire : Flèche vers la gauche à double-ligne \Leftarrow.
\leftharpoondown 	↽ Harpon vers la gauche à simple ligne avec crochet vers le bas (relation).
\leftharpoonup 	↼ Harpon vers la gauche à simple ligne avec crochet vers le haut (relation).
\Leftrightarrow 	⇔ Bi-implication ; double flèche bilatérale (relation). Similaire : flèche bilatérale \leftrightarrow.
\leftrightarrow 	↔ Flèche bilatérale (relation). Similaire : double flèche bilatérale \Leftrightarrow.
\leq 	≤ Inférieur ou égal à (relation). Synonyme : \le.
\lfloor 	⌊ Plancher à gauche (ouvrant). Correspond à : \rfloor.
\lhd 	◁ Pointe de flèche, c.-à-d. triangle pointant vers la gauche (binaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. For the normal subgroup symbol you should load amssymb and use \vartriangleleft (qui est une relation et ainsi donne un meilleur espacement).
\ll 	≪ Beaucoup plus petit que (relation). Similaire : Beaucoup plus grand que \gg.
\lnot 	¬ Négation logique (ordinaire). Synonyme : \neg.
\longleftarrow 	⟵ Longue flèche vers la gauche à ligne simple (relation). Similaire : longue flèche gauche à ligne double \Longleftarrow.
\longleftrightarrow 	⟷ Longue flèche bilatérale à ligne simple (relation). Similaire : longue flèche bilatérale à ligne double \Longleftrightarrow.
\longmapsto 	⟼ Longue flèche d’un taquet vers la droite à ligne simple (relation). Similaire : version courte \mapsto.
\longrightarrow 	⟶ Longue flèche vers la droite à ligne simple (relation). Similaire : longue flèche vers la droite à ligne double \Longrightarrow.
\lor 	∨ Ou-logique (binaire). Synonyme : \wedge.
\mapsto 	↦ Flèche d’un taquet vers la droite (relation). Similaire : version longue \longmapsto.
\mho 	℧ Conductance, symbole Ohm culbuté (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\mid 	∣ Barre verticale à ligne simple (relation). une utilisation typique de \mid est pour un ensemble \{\, x \mid x\geq 5 \,\}.
Similaire : \vert et | produisent le même symbole de barre verticale à ligne simple mais sans aucun espacement (on les classe comme « ordinaires ») et vous ne devriez pas les utiliser comme symbole de relation mais seulement comme des ordinaux, c.-à-d. comme des symboles de note en bas de page. Pour dénoter une valeur absolue, voir l’entrée de \vert et pour une norme voir l’entrée de \Vert.
\models 	⊨ Vrai, ou satisfait ; double turnstile, short double dash (relation). Similaire : long double dash \vDash.
\mp 	∓ Moins ou plus (relation).
\mu 	μ Lettre grecque en bas de casse (ordinaire).
\nabla 	∇ Del de Hamilton, ou différentiel, opérateur (ordinaire).
\natural 	♮ Bécarre (ordinaire).
\ne 	≠ Non égal (relation). Synonyme : \neq.
\nearrow 	↗ Flèche nord-est (relation).
\neg 	¬ Négation logique (ordinaire). Synonyme : \lnot. Utilisé parfois au lieu du symbole de négation: \sim.
\neq 	≠ Non égal (relation). Synonyme : \ne.
\ni 	∋ Signe d’appartenance réfléchi ; « contient comme élément » (relation). Synonyme : \owns. Similaire : « appartient à » \in.
\not 	̸ Barre oblique longue utilisée pour rayer un opérateur la suivant (relation).
Beaucoup opérateurs en négation qui n’ont pas besoin de \not sont disponibles, en particulier avec le paquetage amssymb. Par exemple, \notin est sans doute préférable à \not\in d’un point de vue typographique.
\notin 	∉ N’appartient pas à (relation). Similaire : non contenu dans \nsubseteq.
\nu 	ν Lettre grecque en bas de casse (ordinaire).
\nwarrow 	↖ Flèche nord-ouest (relation).
\odot 	⊙ Point cerclé (binaire). Similaire : opérateur de taille variable \bigodot.
\oint 	∮ Intégrale de contour, intégrale avec un cercle au milieu (opérateur).
\Omega 	Ω Lettre grecque en capitale (ordinaire).
\omega 	ω Lettre grecque en bas de casse (ordinaire).
\ominus 	⊖ Signe moins, ou tiret, cerclé (binaire).
\oplus 	⊕ Signe plus cerclé (binaire). Similaire : opérateur de taille variable \bigoplus.
\oslash 	⊘ Barre de fraction, ou barre oblique, cerclée (binaire).
\otimes 	⊗ Signe de multiplication, ou croix, cerclé (binaire). Similaire : opérateur de taille variable \bigotimes.
\owns 	∋ Epsilon d’appartenance réfléchi ; « contient comme élément » (relation). Synonyme : \ni. Similaire : appartient à \in.
\parallel 	∥ Parallèle (relation). Synonyme : \|.
\partial 	∂ Différentielle partielle (ordinaire).
\perp 	⟂ Perpendiculaire (relation). Similaire : \bot utilise le même glyphe mais l’espacement est différent parce qu’il est dans la classe ordinaire.
\phi 	ϕ Lettre grecque en bas de casse (ordinaire). La forme en variante est \varphi φ.
\Pi 	Π Lettre grecque en capitale (ordinaire).
\pi 	π Lettre grecque en bas de casse (ordinaire). La forme en variante est \varpi ϖ.
\pm 	± Plus or minus (binaire).
\prec 	≺ Précède (relation). Similaire : inférieur à <.
\preceq 	⪯ Précède ou égal, précède par-dessus signe égal à une ligne (relation). Similaire : inférieur ou égal \leq.
\prime 	′ Prime, ou minute au sein d’une expression temporelle (ordinaire). Typiquement utilisé en indice supérieur $A^\prime$. Il est à noter sque $f^\prime$ et $f'$ produisent le même résultat. Un avantage de la seconde forme est que $f'''$ produit le symbole désiré, c.-à-d. le même résultat que $f^{\prime\prime\prime}$, mais en nécessitant moins de saisie. Il est à noter que vous ne pouvez utiliser \prime qu’en mode mathématique. Utiliser le quote ' en mode texte produit un caractère différent (apostrophe ou guillemet anglais simple de droite).
\prod 	∏ Produit (opérateur).
\propto 	∝ Proportionnel à (relation)
\Psi 	Ψ Lettre grecque en capitale (ordinaire).
\psi 	ψ Lettre grecque en bas de casse (ordinaire).
\rangle 	⟩ Chevron mathématique droit, ou séquence, crochet (fermant). Similaire : supérieur à >. Correspond à \langle.
\rbrace 	} Accolade de droite (fermante). Synonyme : \}. Correspond à \lbrace.
\rbrack 	] Crochet droit (fermant). Synonyme : ]. Correspond à \lbrack.
\rceil 	⌉ Plafond droit (fermant). Correspond à \lceil.
\Re 	ℜ Partie réelle, nombres réels, R capital gothique (ordinaire). En relation avec : R majuscule ajouré, ou gras de tableau d’école \mathbb{R} ; pour accéder à cela charger le paquetage amsfonts.
\restriction 	↾ Restriction d’une fonction (relation). Synonyme : \upharpoonright. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\revemptyset 	⦰ Symbole ensemble vide inversé (ordinaire). En relation avec : \varnothing. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage stix.
\rfloor 	⌋ Plancher droit, un crochet droit avec la dent du haut coupée (fermant). Correspond à \lfloor.
\rhd 	◁ Pointe de flèche, c.-à-d. u triangle pointant vers la droite (binaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. Pour le symbole normal de sousgroupe vous devriez plutôt charger amssymb et utiliser \vartriangleright (qui est une relation et ainsi donne un meilleur espacement).
\rho 	ρ Lettre grecque en bas de casse (ordinaire). La forme en variante est \varrho ϱ.
\Rightarrow 	⇒ Implique, flèche vers la droite à double-ligne (relation). Similaire : flèche vers la droite \rightarrow.
\rightarrow 	→ Flèche vers la droite à ligne simple (relation). Synonyme : \to. Similaire : flèche vers droite à ligne double \Rightarrow.
\rightharpoondown 	⇁ Harpon vers la droite avec crochet vers le bas (relation).
\rightharpoonup 	⇀ Harpon vers la droite avec crochet vers la haut (relation).
\rightleftharpoons 	⇌ Harpon vers la droite avec crochet vers le haut au dessus d’un harpon vers la gauche avec crochet vers le bas (relation).
\searrow 	↘ Flèche pointant sud-est (relation).
\setminus 	⧵ Difference ensembliste, barre de faction inversée ou contr’oblique, comme \ (binaire). Similaire : contr’oblique \backslash et aussi \textbackslash hors du mode mathémaitque.
\sharp 	♯ Dièse (ordinaire).
\Sigma 	Σ Lettre grecque en capitale (ordinaire).
\sigma 	σ Lettre grecque en bas de casse (ordinaire). La forme en variante est \varsigma ς.
\sim 	∼ Similaire à, dans une relation (relation).
\simeq 	≃ Similaire ou égal à, dans une relation (relation).
\smallint 	∫ Signe intégrale qui ne change pas en taille plus grande au sein d’une formule hors texte (opérateur).
\smile 	⌣ Arc concave en haut, sourire (ordinaire).
\spadesuit 	♠ Pique de carte à jouer (ordinaire).
\sqcap 	⊓ Symbole d’intersection carré (binaire). Similaire : intersection cap.
\sqcup 	⊔ Symbole d’union carré (binaire). Similaire : union \cup. En relation avec : opérateur de taille variable \bigsqcup.
\sqsubset 	⊏ Symbole carré de sous-ensemble (relation). Similaire : sous-ensemble \subset. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\sqsubseteq 	⊑ Symbole carré de sous-ensemble ou égal à (binaire). Similaire : subset or égal à \subseteq.
\sqsupset 	⊐ Symbole carré de sur-ensemble (relation). Similaire : superset \supset. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\sqsupseteq 	⊒ Symbole carré de sur-ensemble ou égal à (binaire). Similaire : sur-ensemble ou égal \supseteq.
\star 	⋆ Étoile à cinq branches, quelque-fois utilisée comme une opération binaire générale mais quelque-fois réservée pour la corrélation croisée (binaire). Similaire : les synonymes astérisque * anet \ast, qui sont à six branches, et apparaissent plus souvent comme indice supérieur et inférieur, comme c’est le cas avec l’étoile de Kleene.
\subset 	⊂ Est contenu (occasionnellement, est impliqué par) (relation).
\subseteq 	⊆ Est contenu ou égal à (relation).
\succ 	≻ Vient après, suit (relation). Similaire : inférieur à >.
\succeq 	⪰ Suit ou est égal à (relation). Similaire : inférieur ou égal à \leq.
\sum 	∑ Summation (opérateur). Similaire : Lettre grecque capitale \Sigma.
\supset 	⊃ Contient (relation).
\supseteq 	⊇ Contient ou est égal à (relation).
\surd 	√ Symbole racine (ordinaire). La commande LaTeX \sqrt{..} compose la racine de l’argument, avec une barre qui s’étend pour couvrir l’argument.
\swarrow 	↙ Flèche pointant au sud-ouest (relation).
\tau 	τ Lettre grecque en bas de casse (ordinaire).
\theta 	θ Lettre grecque en bas de casse (ordinaire). La forme en variante est \vartheta ϑ.
\times 	× Signe de multiplication d’école primaire (binaire). Voir aussi \cdot.
\to 	→ Flèche en ligne simple vers la droite (relation). Synonyme : \rightarrow.
\top 	⊤ Taquet vers le haut ; dessus, plus grand élément d’un poset (ordinaire). Voir aussi \bot.
\triangle 	△ Triangle (ordinaire).
\triangleleft 	◁ Triangle non-rempli pointant à gauche (binaire). Similaire : \lhd. Pour le symbole normal de sous-groupe vous devez charger amssymb et utiliser \vartriangleleft (qui est une relation et ainsi donne un meilleur espacement).
\triangleright 	▷ Triangle non-rempli pointant à droite (binaire). Pour le symbole normal de sousgroupe vous devez à la place charger amssymb et utiliser \vartriangleright (qui est une relation et ainsi donne un meilleur espacement).
\unlhd 	⊴ Pointe de flèche non-pleine soulignée pointant vers la gauche, c.-à-d. triangle avec une ligne en dessous (binaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. Pour le symbole normal de sous-groupe chargez amssymb et utilisez \vartrianglelefteq (qui est une relation et ainsi donne un meilleur espacement).
\unrhd 	⊵ Pointe de flèche non-pleine soulignée pointant vers la droite, c.-à-d. triangle avec une ligne en dessous (binaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. Pour le symbole normal de sous-groupe chargez amssymb et utilisez \vartrianglerighteq (qui est une relation et ainsi donne un meilleur espacement).
\Uparrow 	⇑ Flèche vers le haut à ligne double (relation). Similaire : flèche vers le haut à ligne simple \uparrow.
\uparrow 	↑ Single-line upward-pointing flèche, diverges (relation). Similaire : double-line up-pointing flèche \Uparrow.
\Updownarrow 	⇕ Double-line upward-and-downward-pointing flèche (relation). Similaire : single-line upward-and-downward-pointing flèche \updownarrow.
\updownarrow 	↕ flèche haut et bas à ligne simple (relation). Similaire : flèche haut et bas à ligne double \Updownarrow.
\upharpoonright 	↾ Harpon vers le haut avec crochet à droite (relation). Synonyme : \restriction. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\uplus 	⊎ Union de multiensemble, un symbole union avec un symbole plus en son sein (binaire). Similaire : union \cup. En relation avec : opérateur de taille variable \biguplus.
\Upsilon 	Υ Lettre grecque en capitale (ordinaire).
\upsilon 	υ Lettre grecque en bas de casse (ordinaire).
\varepsilon 	ε Epsilon de ronde en bas de casse (ordinaire). Plus largement utilise en mathematique que la forme non variante epsilon lunaire \epsilon ϵ. En relation avec : « appartient à » \in.
\vanothing 	∅ Symbole ensemble vide. Similaire : \emptyset. En relation avec : \revemptyset. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.
\varphi 	φ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \phi ϕ.
\varpi 	ϖ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \pi π.
\varrho 	ϱ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \rho ρ.
\varsigma 	ς Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \sigma σ.
\vartheta 	ϑ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \theta θ.
\vdash ⊢ Taquet droit ; prouve, implique ; 	portillon/tourniquet ; barre verticale et un tiret (relation). Similaire : portillon inversé \dashv.
\vee 	∨ Ou logique ; une forme de v pointant vers le bas (binaire). En relation avec : Et logique \wedge. Similaire : Opérateur de taille variable \bigvee.
\Vert 	‖ Double barre verticale (ordinaire). Similaire : barre verticale simple \vert.
Pour une norme vous pouvez utiliser le paquetage mathtools et ajouter \DeclarePairedDelimiter\norm{\lVert}{\rVert} à votre préambule. Ceci vous donne trois variantes de commande pour faire des barres verticales correctement espacées horizontalement : si dans le corps du document vous écrivez la version étoilée $\norm*{M^\perp}$ alors la hauteur des barres verticales correspond à celle de l’argument, alors qu’avec \norm{M^\perp} les barres ne grnadissent pas avec la hauteur de l’argument mais à la place reste de la hauteur par défaut, et \norm[commande-taille]{M^\perp} donne aussi des barres qui ne grandissent pas mais sont de la taille donnée dans la commande-taille, par ex. \Bigg.
\vert 	| Barre verticale simple (ordinaire). Similaire : barre à double-ligne verticale \Vert. Pour usage tel qu’au sein de la définition d’un ensemble, utilisez \mid parce que c’est une relation.
Pour une valeur aboslue vous pouvez utilise le paquetage mathtools et ajouter \DeclarePairedDelimiter\abs{\lvert}{\rvert} à votre préambule. Ceci vous donne trois variantes de commande pour les barres simples verticales qui sont correctement espacées verticalement : si dans le corps du document vous écrivrez la version étoilée $\abs*{\frac{22}{7}}$ alors la hauteur des barres verticales correspond à la hauteur de l’argument, alors qu’avec \abs{\frac{22}{7}} les pabarres ne grandissent pas avec l’argument ais à la place sont de la hauteur par défaut, et \abs[commande-taille]{\frac{22}{7}} donne aussi des barres qui ne grandissent pas mais qui sont rélgées à la taille donnée par la commande-taille, par ex. \Bigg.
\wedge 	∧ Et logique (binaire). Synonyme : \land. Voir aussi ou logique \vee. Similaire : opérateur de taille variable \bigwedge.
\wp 	℘ « p » de Weierstrass, fonction elliptique de Weierstrass (ordinaire).
\wr 	≀ Produit couronnne (binaire).
\Xi 	Ξ Lettre grecque en capitale (ordinaire).
\xi 	ξ Lettre grecque en bas de casse (ordinaire).
\zeta 	ζ Lettre grecque en bas de casse (ordinaire).

Fonctions mathématiques
En mode mathématique ces commandes produisent des noms de fonction en police romaine et avec l’espacement adéquat.
\arccos 	\arccos
\arcsin 	\arcsin
\arctan 	\arctan
\arg 	\arg
\bmod 	Opérateur modulo binaire (x \bmod y)
\cos 	\cos
\cosh 	\cosh
\cot 	\cos
\coth 	\cosh
\csc 	\csc
\deg 	\deg
\det 	\deg
\dim 	\dim
\exp 	\exp
\gcd 	\gcd
\hom 	\hom
\inf 	\inf
\ker 	\ker
\lg 	\lg
\lim 	\lim
\liminf 	\liminf
\limsup 	\limsup
\ln 	\ln
\log 	\log
\max 	\max
\min 	\min
\pmod 	Modulo parenthésé, comme dans (\pmod 2^n - 1)
\Pr 	\Pr
\sec 	\sec
\sin 	\sin
\sinh 	\sinh
\sup 	\sup
\tan 	\tan
\tanh 	\tanh

Accents mathématiques
LaTeX fournit diverse commandes pour produire des lettres accentuées en math. Elles diffèrent de celles concernant les accents en texte normal (voir Accents).
\acute 	 Accent aigu mathématique : \acute{x}.
\bar 	 Accent barre suscrite mathématique : \bar{x}.
\breve 	 Accent brève mathématique : \breve{x}.
\check 	 Accent háček (caron) mathématique : \check{x}.
\ddot 	 Accent diérèse (tréma) mathématique : \ddot{x}.
\dot 	 Accent point suscrit mathématique : \dot{x}.
\grave 	 Accent grave mathématique : \grave{x}.
\hat 	 Accent chapeau (circonflexe) mathématique : \hat{x}.
\imath 	 I sans point mathématique.
\jmath 	 J sans point mathématique.
\mathring 	 Accent rond-en-chef mathématique : x*.
\tilde 	 Accent tilde mathématique : \tilde{x}.
\vec 	 Symbole vecteur mathématique : \vec{x}.
\widehat 	 Accent chapeau large mathématique : \widehat{x+y}.
\widetilde 	 Accent tilde mathématique : \widetilde{x+y}.

Espacement en mode mathématique
Au sein d’un environnement math, LaTeX ignore les espaces que vous tapez et met à la place l’espacement correspondant aux règles normales pour les textes mathématiques.
En mode mathématique, beaucoup de définitions sont exprimées dans l’unité mathématique mu donnée par 1 em = 18 mu, où le em est pris de la famille courante des symboles mathématiques (voir Units of length).
\; 	 Normalement 5.0mu plus 5.0mu. Le nom long est \thickspace. Utilisable seulement en mode mathématique.
\: 	\> 	 Normalement 4.0mu plus 2.0mu minus 4.0mu. The longer name is \medspace. Utilisable seulement en mode mathématique.
\, 	 Normalement 3mu. Le nom long est \thinspace. Utilisable à la fois en mode mathématique et en mode texte. Voir \thinspace.
\! 	 Une espace finie négative. Normalement -3mu. Utilisable seulement en mode mathématique.
\quad 	 Vaut 18mu, c.-à-d. 1em. Souvent utilisé pour l’espace entourant les équation ou expression, par ex. pour l’espace entre deux équation au sein d’un environnement displaymath. Utilisable à la fois en mode mathématique et en mode texte.
\qquad 	 Une longueur de 2 quads, soit 36mu = 2em. Utilisable à la fois en mode mathématique et en mode texte.
Dans cet exemple une espace fine sépare la fonction de la forme différentielle.

\int_0^1 f(x)\,dx

Recueil de diverses commandes utiles en math
\* 	 Un symbole de multipliciation discrétionnaire, sur lequel un saut de ligne est autorisé. En l’absence de saut, la multiplication est indiquée implicitement par un espace, alors qu’en cas de saut un symbole × est imprimé immédiatement avant le saut. Ainsi

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{french}
\begin{document}
Mais \(A_3 = 0\), ainsi le produit de tous les termes de
\(A_1\) à \(A_4\), c.-à-d.\ \(A_1\* A_2\* A_3 \* A_4\),
est égal à zéro.
\end{document}

produit une sortie de ce type (on a omis une partie du texte pour faire apparaître la césure au même endroit que dans une sortie TeX)  :
Mais A_3 = 0, ainsi […] de A_1 à A_4, c.-à-d. A_1 A_2 \times A_3 A_4, est égal à zéro.
\cdots 	Des points de suspension élevés au centre de la ligne.
\ddots 	Des points de suspension en diagonale : \ddots.
\frac{num}{dén} 	 Produit la fraction num divisé par dén.
\left delim1 ... \right delim2 	 Les deux délimiteurs ne se correspondent par nécessairement ; ‘.’ tient lieu de délimiteur nul, ne produisant rien en sortie. Les délimiteurs sont dimensionnés selon la portion de formule mathématique qu’ils embrassent. Exemple : \left( \sum_{i=1}^{10} a_i \right].
\mathdollar 	Signe dollar en mode mathématique : $.
\mathellipsis 	Points de suspension (épacés pour du texte) en mode mathématique : ….
\mathparagraph 	Signe paragraphe (pied-de-mouche) en mode mathématique : ¶.
\mathsection 	Signe section en mode mathématique.
\mathsterling 	Signe livre sterling mode mathématique : £.
\mathunderscore 	Signe « souligné » en mode mathématique : _.
\overbrace{math} 	Génère une accolade au dessus de math. Par exemple, \overbrace{x+\cdots+x}^{k \;\textrm{fois}}.
\overline{texte} 	Génère une ligne horizontale au dessus de texte. Par exemple, \overline{x+y}.
\sqrt[nième]{arg} 	Produit la représentation de la racine carrée de arg. L’argument optionnel nième détermine quelle racine produire. Par exemple, la racine cubique de x+y serait tapée comme $\sqrt[3]{x+y}$.
\stackrel{texte}{relation} 	Place texte au dessus de relation. Par exemple, \stackrel{f}{\longrightarrow}.
\underbrace{math} 	Génère math avec une accolade en-dessous. Par exemple, \underbrace{x+y+z}_{>\,0}.
\underline{texte} 	A pour effet que texte, ce qui peut être ou non en mode mathématique, soit souligné. La ligne est toujours sous le texte, en prenant en compte les jambages.
\vdots 	Produit des points de suspension alignés verticalement.