Aide de Wikipédia Modifier un article, une section, un titre, etc.

La syntaxe suivante est à utiliser avec l'éditeur visuel ou le wikicode (avec le wikicode la formule TeX doit être insérée entre deux balises <math> et </math>).

Caractères

TeX n'accepte que les caractères latins non accentués, sauf dans le champ de la commande \text (2^e ligne du tableau « Catalogue »). Ailleurs les caractères grecs ont chacun leur code (par exemple \alpha pour ${\displaystyle \alpha }$, voir la section « Jeux de caractères »), et les caractères accentués sont représentés par le code de l'accent précédant le caractère non accentué (par exemple \acute e pour ${\displaystyle {\acute {e))}$, voir la 1^re ligne du tableau « Catalogue »).

Commandes et environnements

Les commandes commencent par une contre-oblique \, suivie :

• soit d'un nom composé uniquement de lettres non diacritées. Une espace, un chiffre ou tout autre caractère closent le nom, par exemple : x\mapsto2 donne ${\displaystyle x\mapsto 2}$ ;
• soit d’un seul caractère spécial (non-lettre), ex. : \# donne ${\displaystyle \#}$.

Les caractères + - = / ' | * < > ( ), les chiffres arabes et les lettres de l'alphabet non diacritées peuvent être tapés directement. Les autres symboles doivent être créés avec les commandes appropriées : les caractères réservés # $ % ^ & _ { } ~ \ sont obtenus respectivement par \# \$ \% \^ \& \_ \{ \} \~ \backslash.

Une commande peut accepter un ou plusieurs arguments. Les arguments obligatoires doivent former un bloc au sens de LaTeX : s'ils ne font qu'un caractère de long, ils peuvent être écrits tels quels : \sqrt x donne ${\displaystyle {\sqrt {x))}$ ; sinon, ils doivent être délimités par des accolades : \sqrt{xyz} donne ${\displaystyle {\sqrt {xyz))}$. Les commandes elles-mêmes sont aussi considérées comme des blocs : \sqrt\frac12 donne ${\displaystyle {\sqrt {\frac {1}{2))))$ et pas ${\displaystyle {\sqrt {\backslash ))frac12}$. Il est néanmoins conseillé d'utiliser les accolades même quand elles ne sont pas indispensables : \sqrt{\frac{1}{2)).

Des premières règles ci-avant, on déduit qu'on peut omettre l'espace entre la commande et son premier argument, si celui-ci n'est pas un caractère accepté dans un nom de commande : \sqrt2 est équivalent à \sqrt 2 ou \sqrt{2}, mais \sqrtx n'est pas valide et doit être écrit \sqrt{x} ou \sqrt x. À l'inverse, on peut écrire autant d'espaces et de sauts à la ligne que l'on désire.

Les arguments facultatifs sont entre crochets, avant les arguments obligatoires : \sqrt[n]{x} donne ${\displaystyle {\sqrt[{n}]{x))}$.

Les environnements sont des régions dans lesquelles sont appliquées certaines règles particulières ; ils forment un contexte spécifique. Ils commencent par \begin{nom de l'environnement} et se terminent par \end{nom de l'environnement}. Par exemple, \begin{bmatrix}a & b \\ c & d\end{bmatrix} donne :

${\displaystyle {\begin{bmatrix}a&b\\c&d\end{bmatrix))}$

On distingue les commandes « locales » ou « ponctuelles » des commandes « globales », appelées commutateurs. Les premières ne s'appliquent qu'à leur argument : \mathrm ABC donne ${\displaystyle \mathrm {A} BC~}$ ; les secondes s'appliquent à tout le texte jusqu'à la fin du groupe : \rm ABC donne ${\displaystyle {\rm {ABC~))}$. Un groupe peut être un environnement entier, l'argument d'une commande ou être créé — délimité — à l'aide d'accolades : {\rm A}BC donne ${\displaystyle {\rm {A))BC~}$. Généralement, les commutateurs sont des versions obsolètes mais plus courtes des commandes locales.

Taille

Pour modifier la taille des formules, on peut utiliser les commutateurs \displaystyle, \textstyle, \scriptstyle et \scriptscriptstyle :

1. La taille displaystyle est la taille par défaut, l'équation dépasse toujours de la hauteur de ligne.

   \frac{1}{2} ou \displaystyle\frac{1}{2} donne ${\displaystyle {\frac {1}{2))}$

2. textstyle est la taille d'une équation composée d'une seule ligne et sans grand symbole, elle est équivalente à displaystyle dans ce cas-là, sinon elle est plus petite. Elle dépasse néanmoins toujours la hauteur de ligne.

   \textstyle\frac{1}{2} donne ${\displaystyle \textstyle {\frac {1}{2))}$ mais \textstyle a est équivalent à a et donne ${\displaystyle \textstyle a}$.

3. scriptstyle est la taille des exposants et indices. Si elle est composée d'une seule ligne, elle est contenue dans la hauteur de ligne, sinon elle la dépasse très légèrement.

   \scriptstyle\frac{1}{2} donne ${\displaystyle \scriptstyle {\frac {1}{2))}$.

4. scriptscriptstyle est la plus petite. C'est la seule qui permette de faire entrer une équation de plusieurs lignes à l'intérieur d'une hauteur de ligne.

   \scriptscriptstyle\frac{1}{2} donne ${\displaystyle \scriptscriptstyle {\frac {1}{2))}$.

Quelques exemples

Formule	displaystyle	textstyle	scriptstyle	scriptscriptstyle
a	${\displaystyle a}$	${\displaystyle \textstyle a}$	${\displaystyle \scriptstyle a}$	${\displaystyle \scriptscriptstyle a}$
\frac{a}{b}	${\displaystyle {\frac {a}{b))}$	${\displaystyle \textstyle {\frac {a}{b))}$	${\displaystyle \scriptstyle {\frac {a}{b))}$	${\displaystyle \scriptscriptstyle {\frac {a}{b))}$
\tfrac{a}{b}	${\displaystyle {\tfrac {a}{b))}$	${\displaystyle \textstyle {\tfrac {a}{b))}$	${\displaystyle \scriptstyle {\tfrac {a}{b))}$	${\displaystyle \scriptscriptstyle {\tfrac {a}{b))}$
\dfrac{a}{b}	${\displaystyle {\dfrac {a}{b))}$	${\displaystyle \textstyle {\dfrac {a}{b))}$	${\displaystyle \scriptstyle {\dfrac {a}{b))}$	${\displaystyle \scriptscriptstyle {\dfrac {a}{b))}$
\int_a^b	${\displaystyle \int _{a}^{b))$	${\displaystyle \textstyle \int _{a}^{b))$	${\displaystyle \scriptstyle \int _{a}^{b))$	${\displaystyle \scriptscriptstyle \int _{a}^{b))$
\sum_a^b	${\displaystyle \sum _{a}^{b))$	${\displaystyle \textstyle \sum _{a}^{b))$	${\displaystyle \scriptstyle \sum _{a}^{b))$	${\displaystyle \scriptscriptstyle \sum _{a}^{b))$
\frac{\sum_a^b}{\sum_a^b}	${\displaystyle {\frac {\sum _{a}^{b)){\sum _{a}^{b))))$	${\displaystyle \textstyle {\frac {\sum _{a}^{b)){\sum _{a}^{b))))$	${\displaystyle \scriptstyle {\frac {\sum _{a}^{b)){\sum _{a}^{b))))$	${\displaystyle \scriptscriptstyle {\frac {\sum _{a}^{b)){\sum _{a}^{b))))$
\vec{M}	${\displaystyle {\vec {M))}$	${\displaystyle \textstyle {\vec {M))}$	${\displaystyle \scriptstyle {\vec {M))}$	${\displaystyle \scriptscriptstyle {\vec {M))}$
\overrightarrow{M}	${\displaystyle {\overrightarrow {M))}$	${\displaystyle \textstyle {\overrightarrow {M))}$	${\displaystyle \scriptstyle {\overrightarrow {M))}$	${\displaystyle \scriptscriptstyle {\overrightarrow {M))}$

Ponctuation

Selon le Lexique des règles typographiques en usage à l'Imprimerie nationale éd. 2002, p. 110, la ponctuation s'applique aux formules mathématiques, y compris celles qui sont centrées. Elles doivent donc notamment comporter un point si c'est la fin d'une phrase.

Points de suspension

Pour obtenir des espacements corrects, les points de suspension doivent être réalisés avec les commandes \ldots et \cdots (cette dernière pour les centrer verticalement, notamment entre des opérateurs).

Illustration :

• incorrect : ${\displaystyle x_{1},...,x_{n))$ et ${\displaystyle x_{1}+...+x_{n))$ (utilisation de ...)
• correct : ${\displaystyle x_{1},\ldots ,x_{n))$ et ${\displaystyle x_{1}+\cdots +x_{n))$ (utilisation de \ldots et \cdots).

On peut également utiliser les commandes suivantes qui sont plus précises sur le contexte mathématique :

• \dotsc entre virgules : x_{1}, \dotsc, x_{n} donne : ${\displaystyle x_{1},\dotsc ,x_{n))$
• \dotsb entre opérateurs binaires : x_{1}+\dotsb+x_{n} donne : ${\displaystyle x_{1}+\dotsb +x_{n))$
• \dotsm pour représenter un produit : x_{1}\dotsm x_{n} donne : ${\displaystyle x_{1}\dotsm x_{n))$
• \dotsi pour aligner avec une intégrale : \int\dotsi donne : ${\displaystyle \int \dotsi }$

Usage des accolades

Les accolades peuvent être utilisées même lorsqu'elles ne sont pas nécessaires. Leur usage rend le code source plus lisible et facilite les modifications ultérieures.

Par exemple, on préférera \frac{1}{2} à \frac 1 2 et surtout à \frac12.

De même, \sum_{k=1}^{n}{k^{2)) est plus clair que \sum_{k=1}^nk^2. De plus, si l'on doit par exemple modifier la borne supérieure de la somme en n+1, il faudra de toutes façons placer ces accolades. On rencontre cette situation également avec les intégrales.

Virgule comme séparateur décimal

La virgule est une puce par défaut en LaTeX. Si une virgule doit être affectée comme séparateur décimal, on écrira la virgule entre accolades.

nombre avec virgule (correctement)	2{,}718	${\displaystyle 2{,}718}$
nombre avec virgule (incorrect)	2,718	${\displaystyle 2,718}$

Aide

Si vous éprouvez des difficultés, n'hésitez pas à demander de l'aide aux utilisateurs TEXniciens ou à vous rendre sur l'atelier TEX.

Fonctionnalité	Syntaxe	Rendu
Fonctions standard	\sin x	${\displaystyle \sin x}$
	\sin(x)	${\displaystyle \sin(x)}$
Fonctions non standard	\operatorname{fonction}[1]	${\displaystyle \operatorname {fonction} }$
Fonctions trigonométriques	\sin \cos \tan \cot \sec \csc \operatorname{tg}[1]	${\displaystyle \sin \ \cos \ \tan \ \cot \ \sec \ \csc \,\operatorname {tg} }$
Fonctions trigonométriques réciproques	\arcsin \arccos \arctan	${\displaystyle \arcsin \ \arccos \ \arctan }$
Fonctions hyperboliques	\operatorname{sh}[1] \operatorname{ch} \operatorname{th} \coth	${\displaystyle \operatorname {sh} \ \operatorname {ch} \ \operatorname {th} \ \coth }$
Fonctions d'analyse	\lim \sup \inf \limsup \liminf \log \ln \lg \exp \arg \min \max	${\displaystyle \lim \sup \inf \limsup \liminf \log \ln \lg \exp \arg \min \max }$
Fonctions d'algèbre	\det \deg \dim \hom \ker	${\displaystyle \det \deg \dim \hom \ker }$

Fonctionnalité	Syntaxe	Rendu
Diacritiques	\hat o \widehat {abc} \acute o \dot o \ddot o \vec o \check o \grave o \breve o \tilde o \widetilde {abc} \bar o	${\displaystyle {\hat {o))\;{\widehat {abc))\;{\acute {o))\;{\dot {o))\;{\ddot {o))\;{\vec {o))\;{\check {o))\;{\grave {o))\;{\breve {o))\;{\tilde {o))\;{\widetilde {abc))\;{\bar {o))}$
Texte dans une formule[2]	\text{Texte, même avec accents}	${\displaystyle {\text{Texte, même avec accents))}$
Opérateurs binaires	\star \times \circ \cdot \bullet \cap \cup \sqcup \vee \wedge \odot \oslash \oplus \ominus \otimes \div \pm \mp \triangle \triangleleft \triangleright	${\displaystyle \star \ \times \ \circ \ \cdot \ \bullet \ \cap \ \cup \ \sqcup \ \vee \ \wedge }$ ${\displaystyle \odot \ \oslash \ \oplus \ \ominus \ \otimes \ \div \ \pm \ \mp \ \triangle \ \triangleleft \ \triangleright }$
Opérateurs n-aires	\sum \prod \coprod \int \iint \iiint \iiiint \oint \oiint, etc. \bigcup \bigcap \bigsqcup \bigvee \bigwedge \bigoplus \bigotimes \bigodot \biguplus	${\displaystyle \sum \prod \coprod \int \iint \iiint \iiiint \oint \oiint }$ ${\displaystyle \bigcup \bigcap \bigsqcup \bigvee \bigwedge \bigoplus \bigotimes \bigodot \biguplus }$
Ellipses	x + \cdots + y	${\displaystyle x+\cdots +y}$
Délimiteurs	( ) [ ] [\![ ]\!] \{ \} \lfloor \rfloor \lceil \rceil \langle \rangle / \backslash | \|	${\displaystyle (\;)\;[\;]\;[\![\;]\!]\;\{\;\}\;\lfloor \;\rfloor \;\lceil \;\rceil \;\langle \;\rangle \;/\;\backslash \;|\;\|}$
Arithmétique modulaire	a \equiv b \pmod c ou b \bmod c	${\displaystyle a\equiv b{\pmod {c))}$ ou ${\displaystyle b{\bmod {c))}$
Probabilités	\Pr	${\displaystyle \Pr }$
Dérivées	\nabla \partial x \mathrm{d}x \dot x \ddot x	${\displaystyle \nabla \ \partial x\ \mathrm {d} x\ {\dot {x))\ {\ddot {x))}$
Racines	\sqrt 2\approx 1{,}4	${\displaystyle {\sqrt {2))\approx 1{,}4}$
	\sqrt[n]{x}	${\displaystyle {\sqrt[{n}]{x))}$
Norme	\| x \|	${\displaystyle \|x\|}$
Logique	\forall \exists \nexists \lnot \land \lor \to \leftrightarrow \Rightarrow \Leftarrow \Leftrightarrow \vdash \models	${\displaystyle \forall \ \exists \ \nexists \ \lnot \ \land \ \lor \ \to \ \leftrightarrow \ \Rightarrow \ \Leftarrow \ \Leftrightarrow \ \vdash \ \models }$
Ensembles	\emptyset \varnothing \cap \cup \setminus \smallsetminus	${\displaystyle \emptyset \ \varnothing \ \cap \ \cup \ \setminus \ \smallsetminus }$
Relations d'ensembles	\subset \subseteq \supset \supseteq \in \ni \notin	${\displaystyle \subset \;\subseteq \;\supset \;\supseteq \;\in \;\ni \;\notin }$
	\sqsubset \sqsubseteq \sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup	${\displaystyle \sqsubset \ \sqsubseteq \ \sqsupset \ \sqsupseteq \ \sqcap \ \sqcup \ \bigsqcup }$
Relations (à nier par le préfixe \not)	\sim \simeq \cong < > \le \ge \leqslant \geqslant \ll \gg \lll \ggg \equiv \approx = \neq \propto	${\displaystyle \sim \ \simeq \ \cong \ <\ >\ \leq \ \geq \ \leqslant \ \geqslant \ \ll \ \gg \ \lll \ \ggg \ \equiv \ \approx \ =\ \neq \ \propto }$
Géométrie	\Diamond \Box \square \triangle \angle \perp \mid \nmid \parallel 45^\circ	${\displaystyle \Diamond \;\Box \;\square \;\triangle \;\angle \;\perp \;\mid \;\nmid \;\parallel \;45^{\circ ))$
Flèches (liste complète si caractère Unicode existant)	\leftarrow \rightarrow \to \leftrightarrow \longleftarrow \longrightarrow \longleftrightarrow \nearrow \searrow \swarrow \nwarrow \uparrow \downarrow \updownarrow \mapsto \longmapsto \hookleftarrow \hookrightarrow \rightharpoonup \leftharpoonup \rightharpoondown \leftharpoondown \rightleftharpoons	${\displaystyle \leftarrow \ \rightarrow \ \to \ \leftrightarrow \ \longleftarrow \ \longrightarrow \ \longleftrightarrow \ \nearrow \ \searrow \ \swarrow \ \nwarrow \ \uparrow \ \downarrow \ \updownarrow }$ ${\displaystyle \mapsto \ \longmapsto \ \hookleftarrow \ \hookrightarrow \rightharpoonup \ \leftharpoonup \ \rightharpoondown \ \leftharpoondown \ \rightleftharpoons }$
	\leftrightharpoons \curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \Rrightarrow \rightarrowtail \looparrowright \curvearrowright \circlearrowright \Rsh \downdownarrows \multimap \leftrightsquigarrow \rightsquigarrow \nLeftarrow \nleftrightarrow \nRightarrow \nLeftrightarrow	${\displaystyle \leftrightharpoons \curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \Rrightarrow \rightarrowtail \looparrowright }$${\displaystyle \curvearrowright \circlearrowright \Rsh \downdownarrows \multimap \leftrightsquigarrow \rightsquigarrow \nLeftarrow \nleftrightarrow \nRightarrow \nLeftrightarrow }$
	\Leftarrow \Rightarrow \Leftrightarrow \Longleftarrow \Longrightarrow \Longleftrightarrow \iff \Uparrow \Downarrow \Updownarrow	${\displaystyle \Leftarrow \ \Rightarrow \ \Leftrightarrow \ \Longleftarrow \ \Longrightarrow \ \Longleftrightarrow \ \iff \ \Uparrow \ \Downarrow \ \Updownarrow }$
	\xrightarrow[\text{texte facultatif}]{\text{texte)) \xleftarrow[\text{texte facultatif}]{\text{texte))	${\displaystyle {\xrightarrow[{\text{texte facultatif))]{\text{texte))}\ {\xleftarrow[{\text{texte facultatif))]{\text{texte))))$
Symboles divers	\hbar \wr \dagger \ddagger \infty \vdash \top \bot \models \vdots \ddots \cdots \ldots \imath \jmath \ell \Re \Im \wp \mho \sharp \flat \natural \% \complement \And \Finv \Game \smile \frown \wr	${\displaystyle \hbar \wr \dagger \ddagger \infty \ \vdash \ \top \ \bot \ \models \ \vdots \ \ddots \ \cdots \ \ldots }$ ${\displaystyle \imath \ \jmath \ \ell \ \Re \ \Im \ \wp \ \mho \ \sharp \ \flat \ \natural \ \%\ \complement \ \And \ \Finv \ \Game \ \smile \ \frown \ \wr }$
	\vartriangle \triangledown \lozenge \circledS \measuredangle \nexists \Bbbk \backprime \blacktriangle \blacktriangledown	${\displaystyle \vartriangle \triangledown \lozenge \circledS \measuredangle \nexists \Bbbk \backprime \blacktriangle \blacktriangledown }$
	\blacksquare \blacklozenge \bigstar \sphericalangle \diagup \diagdown \dotplus \Cap \Cup \barwedge	${\displaystyle \blacksquare \blacklozenge \bigstar \sphericalangle \diagup \diagdown \dotplus \Cap \Cup \barwedge }$
	\veebar \doublebarwedge \boxminus \boxtimes \boxdot \boxplus \divideontimes \ltimes \rtimes \leftthreetimes	${\displaystyle \veebar \doublebarwedge \boxminus \boxtimes \boxdot \boxplus \divideontimes \ltimes \rtimes \leftthreetimes }$
	\rightthreetimes \curlywedge \curlyvee \circleddash \circledast \circledcirc \centerdot \intercal \leqq	${\displaystyle \rightthreetimes \ \curlywedge \ \curlyvee \ \circleddash \ \circledast \ \circledcirc \ \centerdot \ \intercal \ \leqq }$
	\eqslantless \lesssim \lessapprox \approxeq \lessdot \lessgtr \lesseqgtr \lesseqqgtr \doteqdot \risingdotseq \doteq \fallingdotseq	${\displaystyle \eqslantless \ \lesssim \ \lessapprox \ \approxeq \ \lessdot \ \lessgtr \ \lesseqgtr \ \lesseqqgtr \ \doteqdot \ \risingdotseq \ \doteq \ \fallingdotseq }$
	\backsim \backsimeq \subseteqq \Subset \preccurlyeq \curlyeqprec \precsim \precapprox \vartriangleleft	${\displaystyle \backsim \ \backsimeq \ \subseteqq \ \Subset \ \preccurlyeq \ \curlyeqprec \ \precsim \ \precapprox \ \vartriangleleft }$
	\Vvdash \bumpeq \Bumpeq \geqq \eqslantgtr \gtrsim \gtrapprox \eqsim \gtrdot	${\displaystyle \Vvdash \bumpeq \Bumpeq \geqq \eqslantgtr \gtrsim \gtrapprox \eqsim \gtrdot }$
	\gtrless \gtreqless \gtreqqless \eqcirc \circeq \triangleq \thicksim \thickapprox \supseteqq	${\displaystyle \gtrless \ \gtreqless \ \gtreqqless \ \eqcirc \ \circeq \ \triangleq \ \thicksim \ \thickapprox \ \supseteqq }$
	\Supset \succcurlyeq \curlyeqsucc \succsim \succapprox \vartriangleright \shortmid \shortparallel \between \pitchfork	${\displaystyle \Supset \ \succcurlyeq \ \curlyeqsucc \ \succsim \ \succapprox \ \vartriangleright \ \shortmid \ \shortparallel \ \between \ \pitchfork }$
	\propto \blacktriangleleft \therefore \backepsilon \blacktriangleright \because \nleqslant \nleqq \lneq \lneqq	${\displaystyle \varpropto \blacktriangleleft \therefore \backepsilon \blacktriangleright \because \nleqslant \nleqq \lneq \lneqq }$
	\lvertneqq \lnsim \lnapprox \nprec \npreceq \precneqq \precnsim \precnapprox \nsim \nshortmid	${\displaystyle \lvertneqq \lnsim \lnapprox \nprec \npreceq \precneqq \precnsim \precnapprox \nsim \nshortmid }$
	\nvdash \nVdash \ntriangleleft \ntrianglelefteq \nsubseteq \nsubseteqq \varsubsetneq \subsetneqq \varsubsetneqq \ngtr	${\displaystyle \nvdash \nVdash \ntriangleleft \ntrianglelefteq \nsubseteq \nsubseteqq \varsubsetneq \subsetneqq \varsubsetneqq \ngtr }$
	\ngeqslant \ngeqq \gneq \gneqq \gvertneqq \gnsim \gnapprox \nsucc \nsucceq \succneqq	${\displaystyle \ngeqslant \ngeqq \gneq \gneqq \gvertneqq \gnsim \gnapprox \nsucc \nsucceq \succneqq }$
	\succnsim \succnapprox \ncong \nshortparallel \nparallel \nvDash \nVDash \ntriangleright \ntrianglerighteq \nsupseteq	${\displaystyle \succnsim \succnapprox \ncong \nshortparallel \nparallel \nvDash \nVDash \ntriangleright \ntrianglerighteq \nsupseteq }$
	\nsupseteqq \varsupsetneq \supsetneqq \varsupsetneqq	${\displaystyle \nsupseteqq \varsupsetneq \supsetneqq \varsupsetneqq }$
	\surd \uplus \bigtriangleup \bigtriangledown \ominus	${\displaystyle \surd \uplus \bigtriangleup \bigtriangledown \ominus }$
	\oslash \odot \bigcirc \amalg \prec \succ \preceq \succeq	${\displaystyle \oslash \odot \bigcirc \amalg \prec \succ \preceq \succeq }$
	\dashv \asymp	${\displaystyle \dashv \asymp }$

De manière générale, les indices sont introduits par un tiret bas (_) et les exposants par un accent circonflexe (^).

Leur placement avec des grands symboles dépend de ceux-ci : ils sont placés verticalement pour les symboles de classe somme et à droite pour les symboles de classe intégrale, dont \int est ici le seul membre. Il peut être court-circuité par les commandes suivantes : \limits place indice et exposant verticalement, et \nolimits les place à droite. Dans des matrices, fractions ou dans des tailles textstyle, scriptstyle ou scriptscriptstyle, les symboles se placent par défaut à droite. Plus de détails sont disponibles ci-dessus.

Fonctionnalité	Syntaxe	Rendu
Exposant	a^2	${\displaystyle a^{2))$
Indice	a_2	${\displaystyle a_{2))$
Regroupement	a^{2+2}	${\displaystyle a^{2+2))$
	a_{i,j}	${\displaystyle a_{i,j))$
Combiner indice et exposant	x_2^3	${\displaystyle x_{2}^{3))$
	{x_2}^3	${\displaystyle {x_{2))^{3))$
Indice et exposant précédents	{}_1^2\!X_3^4	${\displaystyle {}_{1}^{2}\!X_{3}^{4))$
	\sideset{_1^2}{_3^4}\prod_a^b (seulement pour grands symboles !)	${\displaystyle \sideset {_{1}^{2)){_{3}^{4))\prod _{a}^{b))$
Dérivée	x' ou x^\prime	${\displaystyle x'}$ ou ${\displaystyle x^{\prime ))$
Soulignés et surlignés	\hat{a} - \bar{b} - \vec{c} - \overline{g h i} - \underline{j k l}	${\displaystyle {\hat {a))-{\bar {b))-{\vec {c))-{\overline {ghi))-{\underline {jkl))}$
Vecteurs et angles	\vec U - \overrightarrow{AB} - \widehat{POQ}	${\displaystyle {\vec {U))-{\overrightarrow {AB))-{\widehat {POQ))}$
Somme	\sum_{k=1}^n k^2 ou \sum_\overset{k=0}{k \text{ pair))^n	${\displaystyle \sum _{k=1}^{n}k^{2))$ ou ${\displaystyle \sum _{\overset {k=0}{k{\text{ pair))))^{n))$
Produit	\prod_{i=1}^n x_i	${\displaystyle \prod _{i=1}^{n}x_{i))$
Limite	\lim_{n \to \infty} x_n	${\displaystyle \lim _{n\to \infty }x_{n))$
	\lim\limits_{n \to \infty} x_n	${\displaystyle \lim _{n\to \infty }x_{n))$
Intégrale	\int_{-n}^n \mathrm{e}^x \, \mathrm{d}x	${\displaystyle \int _{-n}^{n}\mathrm {e} ^{x}\,\mathrm {d} x}$
Double intégrale	\iint\limits_D \, \mathrm{d}x \, \mathrm{d}y	${\displaystyle \iint \limits _{D}\,\mathrm {d} x\,\mathrm {d} y}$
Triple intégrale	\iiint\limits_E \, \mathrm{d}x \, \mathrm{d}y \, \mathrm{d}z	${\displaystyle \iiint \limits _{E}\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z}$
Quadruple intégrale	\iiiint\limits_F \, \mathrm{d}x \, \mathrm{d}y \, \mathrm{d}z \, \mathrm{d}t	${\displaystyle \iiiint \limits _{F}\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z\,\mathrm {d} t}$
Placement spécifique	\int\limits_{-n}^n \mathrm{e}^x \, \mathrm{d}x	${\displaystyle \int \limits _{-n}^{n}\mathrm {e} ^{x}\,\mathrm {d} x}$
	\lim\nolimits_{n \to \infty} x_n	${\displaystyle \lim \nolimits _{n\to \infty }x_{n))$
	\lim_{x\to 0 \atop x\ge 0} f(x)	${\displaystyle \lim _{x\to 0 \atop x\geq 0}f(x)}$
Intersections, unions	\bigcap_1^n p - \bigcup_1^k p	${\displaystyle \bigcap _{1}^{n}p-\bigcup _{1}^{k}p}$

Fonctionnalité	Syntaxe	Rendu
Fractions	\frac{a}{b} ou \dfrac{a}{b} ou {a \over b}	${\displaystyle {\frac {a}{b))}$ ou ${\displaystyle {\dfrac {a}{b))}$ ou ${\displaystyle {a \over b))$
	\tfrac{a}{b}	${\displaystyle {\tfrac {a}{b))}$
	\frac{\frac{a}{b)){\frac{c}{d)) contre \frac{\dfrac{a}{b)){\dfrac{c}{d))	${\displaystyle {\frac {\frac {a}{b)){\frac {c}{d))))$ contre ${\displaystyle {\frac {\dfrac {a}{b)){\dfrac {c}{d))))$
Fractions continues	x = a_0 + \frac{1}{a_1 + \frac{1}{a_2 + \frac{1}{a_3+\cdots))}	${\displaystyle x=a_{0}+{\frac {1}{a_{1}+{\frac {1}{a_{2}+{\frac {1}{a_{3}+\cdots ))))))}$
	x = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3+\cdots))}	${\displaystyle x=a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{a_{3}+\cdots ))))))}$
Binômes, coefficients binomiaux, combinaisons	\binom{n}{k} ou \dbinom{n}{k}	${\displaystyle {\binom {n}{k))}$ ou ${\displaystyle {\dbinom {n}{k))}$
	\tbinom{n}{k}	${\displaystyle {\tbinom {n}{k))}$
	\frac{\binom{n}{k)){\binom{n'}{k')) contre \frac{\dbinom{n}{k)){\dbinom{n'}{k'))	${\displaystyle {\frac {\binom {n}{k)){\binom {n'}{k'))))$ contre ${\displaystyle {\frac {\dbinom {n}{k)){\dbinom {n'}{k'))))$
Matrices	\begin{matrix} a & \cdots & b \\ \vdots & \ddots & \vdots \\ c & \cdots & d \end{matrix}	${\displaystyle {\begin{matrix}a&\cdots &b\\\vdots &\ddots &\vdots \\c&\cdots &d\end{matrix))}$
	\begin{pmatrix} a & b \\ c & d \end{pmatrix}	${\displaystyle {\begin{pmatrix}a&b\\c&d\end{pmatrix))}$
	\begin{bmatrix} a & b \\ c & d \end{bmatrix}	${\displaystyle {\begin{bmatrix}a&b\\c&d\end{bmatrix))}$
	\begin{Bmatrix} a & b \\ c & d \end{Bmatrix}	${\displaystyle {\begin{Bmatrix}a&b\\c&d\end{Bmatrix))}$
	\begin{vmatrix} a & b \\ c & d \end{vmatrix}	${\displaystyle {\begin{vmatrix}a&b\\c&d\end{vmatrix))}$
	\begin{Vmatrix} a & b \\ c & d \end{Vmatrix}	${\displaystyle {\begin{Vmatrix}a&b\\c&d\end{Vmatrix))}$
	\begin{smallmatrix} a & b \\ c & d \end{smallmatrix}	${\displaystyle {\begin{smallmatrix}a&b\\c&d\end{smallmatrix))}$
Tableaux avec alignement et bordures	\begin{array}{c|r|l} \rm center & \rm right & \rm left \\ \hline c & r & l \end{array}	${\displaystyle {\begin{array}{c|r|l}{\rm {center))&{\rm {right))&{\rm {left))\\\hline c&r&l\end{array))}$
Équations sur plusieurs lignes	\begin{align}f(n+1) &= (n+1)^2 \\ &= n^2 + 2n + 1 \end{align}	${\displaystyle {\begin{aligned}f(n+1)&=(n+1)^{2}\\&=n^{2}+2n+1\end{aligned))}$
Distinctions de cas, systèmes d'équations	f(n)=\begin{cases} \frac{n}{2}, & \text{si }n\text{ est pair} \\ 3n+1, & \text{si }n\text{ est impair} \end{cases}	${\displaystyle f(n)={\begin{cases}{\frac {n}{2)),&{\text{si ))n{\text{ est pair))\\3n+1,&{\text{si ))n{\text{ est impair))\end{cases))}$
Fonction, application	\begin{matrix}f:&]1,+\infty[&\rightarrow&\R\\ & x&\mapsto&\dfrac{\sqrt{x-1)){\sqrt{x-1}+1}\end{matrix}	${\displaystyle {\begin{matrix}f:&]1,+\infty [&\rightarrow &\mathbb {R} \\&x&\mapsto &{\dfrac {\sqrt {x-1))((\sqrt {x-1))+1))\end{matrix))}$
Accolades	\overbrace{1+2+\cdots+100}^{5050}	${\displaystyle \overbrace {1+2+\cdots +100} ^{5050))$
	\underbrace{a+b+\cdots+z}_{26}	${\displaystyle \underbrace {a+b+\cdots +z} _{26))$
Superposition	x \stackrel{?}{=} y	${\displaystyle x{\stackrel {?}{=))y}$
	x \overset{?}{=} y	${\displaystyle x{\overset {?}{=))y}$
	x \underset{?}{=} y	${\displaystyle x{\underset {?}{=))y}$
	x \xrightarrow{\text{texte)) y, x \xleftarrow{\text{texte)) y	${\displaystyle x{\xrightarrow {\text{texte))}y,\ x{\xleftarrow {\text{texte))}y}$

Les commandes suivantes permettent de barrer des éléments de texte dans des formules mathématiques, par exemple lorsque certains éléments s'annulent.

Fonctionnalité	Syntaxe	Rendu
Barré à droite	\cancel{5y}	${\displaystyle {\cancel {5y))}$
Barré à gauche	\bcancel{5y}	${\displaystyle {\bcancel {5y))}$
Barré en croix	\xcancel{5y}	${\displaystyle {\xcancel {5y))}$
Barré avec valeur	\cancelto{0}{5y}	${\displaystyle {\cancelto {0}{5y))}$

La constante de Néper ${\displaystyle \mathrm {e} }$ doit être utilisée en romain, c'est-à-dire avec l'utilisation de \mathrm{e}. Ceci s'applique également pour l'unité imaginaire ${\displaystyle \mathrm {i} }$ et le « d droit » ${\displaystyle \mathrm {d} }$ des différentielles utilisé notamment dans les intégrales.

Ainsi, on écrira \mathrm{e}^{\mathrm{i}\theta} pour afficher ${\displaystyle \mathrm {e} ^{\mathrm {i} \theta ))$ et \int_a^b f(t) \, \mathrm{d}t pour afficher ${\displaystyle \int _{a}^{b}f(t)\,\mathrm {d} t}$.

Fonctionnalité	Syntaxe	Rendu
Lettres grecques (sans omicron !)	\Alpha \Beta \Gamma \Delta \Epsilon \Zeta \Eta \Theta \Iota \Kappa \Lambda \Mu \Nu \Xi O \Pi \Rho \Sigma \Tau \Upsilon \Phi \Chi \Psi \Omega \alpha \beta \gamma \digamma \delta \epsilon \varepsilon \zeta \eta \theta \vartheta \iota \kappa \varkappa \lambda \mu \nu \xi o \pi \varpi \rho \varrho \sigma \varsigma \tau \upsilon \phi \varphi \chi \psi \omega	${\displaystyle \mathrm {A} \;\mathrm {B} \;\Gamma \;\Delta \;\mathrm {E} \;\mathrm {Z} \;\mathrm {H} \;\Theta \;\mathrm {I} \;\mathrm {K} \;\Lambda \;\mathrm {M} \;\mathrm {N} \;\Xi \;O\;\Pi \;\mathrm {P} \;\Sigma \;\mathrm {T} \;\Upsilon \;\Phi \;\mathrm {X} \;\Psi \;\Omega }$ ${\displaystyle \alpha \;\beta \;\gamma \;\digamma \;\delta \;\epsilon \;\varepsilon \;\zeta \;\eta \;\theta \;\vartheta \;\iota \;\kappa \;\varkappa \;\lambda \;\mu \ \;\nu \;\xi \;o\;\pi \;\varpi \;\rho \;\varrho \;\sigma \;\varsigma \;\tau \;\upsilon \;\phi \;\varphi \;\chi \;\psi \;\omega }$
Blackboard gras \mathbb Ensembles de nombres	\mathbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \mathbb{abcdefghijklmnopqrstuvwxyz} \mathbb{1234567890}	${\displaystyle \mathbb {ABCDEFGHIJKLMNOPQRSTUVWXYZ} }$ ${\displaystyle \mathbb {abcdefghijklmnopqrstuvwxyz} }$ ${\displaystyle \mathbb {1234567890} }$
	\N \Z \Q \R (raccourcis à utiliser de préférence) \Complex \mathbb{H} (\C et \H sont proscrits)	${\displaystyle \mathbb {N} \;\mathbb {Z} \;\mathbb {Q} \;\mathbb {R} \;\mathbb {C} \;\mathbb {H} }$
Roman \mathrm	\mathrm{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \mathrm{abcdefghijklmnopqrstuvwxyz} \mathrm{1234567890}	${\displaystyle \mathrm {ABCDEFGHIJKLMNOPQRSTUVWXYZ} }$ ${\displaystyle \mathrm {abcdefghijklmnopqrstuvwxyz} }$ ${\displaystyle \mathrm {1234567890} }$
Gras \mathbf	\mathbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \mathbf{abcdefghijklmnopqrstuvwxyz} \mathbf{1234567890}	${\displaystyle \mathbf {ABCDEFGHIJKLMNOPQRSTUVWXYZ} }$ ${\displaystyle \mathbf {abcdefghijklmnopqrstuvwxyz} }$ ${\displaystyle \mathbf {1234567890} }$
Sans-serif \mathsf	\mathsf{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \mathsf{abcdefghijklmnopqrstuvwxyz} \mathsf{1234567890}	${\displaystyle {\mathsf {ABCDEFGHIJKLMNOPQRSTUVWXYZ))}$ ${\displaystyle {\mathsf {abcdefghijklmnopqrstuvwxyz))}$ ${\displaystyle {\mathsf {1234567890))}$
Script \mathcal	\mathcal{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \mathcal{abcdefghijklmnopqrstuvwxyz} \mathcal{1234567890}	${\displaystyle {\mathcal {ABCDEFGHIJKLMNOPQRSTUVWXYZ))}$ ${\displaystyle {\mathcal {abcdefghijklmnopqrstuvwxyz))}$ ${\displaystyle {\mathcal {1234567890))}$
Fraktur \mathfrak	\mathfrak{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \mathfrak{abcdefghijklmnopqrstuvwxyz} \mathfrak{1234567890}	${\displaystyle {\mathfrak {ABCDEFGHIJKLMNOPQRSTUVWXYZ))}$ ${\displaystyle {\mathfrak {abcdefghijklmnopqrstuvwxyz))}$ ${\displaystyle {\mathfrak {1234567890))}$
Serif (par défaut)	ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz 1234567890	${\displaystyle ABCDEFGHIJKLMNOPQRSTUVWXYZ}$ ${\displaystyle abcdefghijklmnopqrstuvwxyz}$ ${\displaystyle 1234567890}$
Hébreu	\aleph \beth \gimel \daleth	${\displaystyle \aleph \;\beth \;\gimel \;\daleth }$

Déconseillé	( \frac{1}{2} )	${\displaystyle ({\frac {1}{2)))}$
Mieux	\left( \frac{1}{2} \right)	${\displaystyle \left({\frac {1}{2))\right)}$

\left et \right peuvent être utilisés avec divers délimiteurs, par exemple :

Fonctionnalité	Syntaxe	Rendu
Parenthèses	\left( \frac{a}{b} \right)	${\displaystyle \left({\frac {a}{b))\right)}$
Crochets	\left[ \frac{a}{b} \right]	${\displaystyle \left[{\frac {a}{b))\right]}$
Accolades	\left\{ \frac{a}{b} \right\}	${\displaystyle \left\((\frac {a}{b))\right\))$
Chevrons	\left\langle \frac{a}{b} \right\rangle	${\displaystyle \left\langle {\frac {a}{b))\right\rangle }$
Barres (de valeur absolue, par exemple)	\left| \frac{a}{b} \right|	${\displaystyle \left|{\frac {a}{b))\right|}$
Doubles barres (norme euclidienne, par exemple)	\left\| \frac{\vec a}{b} \right\|	${\displaystyle \left\|{\frac {\vec {a)){b))\right\|}$
Flèches	\left \Uparrow \frac{a}{b} \right \Downarrow	${\displaystyle \left\Uparrow {\frac {a}{b))\right\Downarrow }$
Utilisez \left. ou \right. pour ne faire apparaître qu'un seul des délimiteurs	\left. \frac{A}{B} \right\} \to X	${\displaystyle \left.{\frac {A}{B))\right\}\to X}$
Taille des délimiteurs (déconseillé[3])	\big( \Big( \bigg( \Bigg( \big[ \Big\{ \bigg\langle \Bigg\Uparrow \big] \Big\} \bigg\rangle \Bigg\Downarrow	${\displaystyle {\big (}{\Big (}{\bigg (}{\Bigg ())$ ${\displaystyle {\big [}{\Big \{}{\bigg \langle }{\Bigg \Uparrow ))$ ${\displaystyle {\big ]}{\Big \)){\bigg \rangle }{\Bigg \Downarrow ))$
	\bigl( \Bigl( \biggl( \Biggl( \dots \Biggr) \biggr) \Bigr) \bigr) \bigl( \Bigl\Uparrow \biggl\Downarrow \Biggl| \dots \Biggr| \biggr\Downarrow \Bigr\Downarrow \bigr) \bigl( \Bigl[ \biggl\{ \Biggl\langle \dots \Biggr\rangle \biggr\} \Bigr] \bigr.	${\displaystyle {\bigl (}{\Bigl (}{\biggl (}{\Biggl (}\dots {\Biggr )}{\biggr )}{\Bigr )}{\bigr )))$ ${\displaystyle {\bigl (}{\Bigl \Uparrow }{\biggl \Downarrow }{\Biggl |}\dots {\Biggr |}{\biggr \Downarrow }{\Bigr \Downarrow }{\bigr )))$ ${\displaystyle {\bigl (}{\Bigl [}{\biggl \{}{\Biggl \langle }\dots {\Biggr \rangle }{\biggr \)){\Bigr ]}{\bigr .))$

TeX gère automatiquement la plupart des problèmes d'espacement, mais vous pouvez souhaiter contrôler l'espacement manuellement dans certains cas.

Il est fortement conseillé d'utiliser le moins possible ces constructions et, en tout état de cause, de ne jamais les utiliser lors de la première mise en forme.

Fonctionnalité	Syntaxe	Rendu
double cadratin	a \qquad b	${\displaystyle a\qquad b}$
cadratin	a \quad b	${\displaystyle a\quad b}$
espace large	a \; b	${\displaystyle a\;b}$
espace normale	a \ b ou a~b[4]	${\displaystyle a\ b}$
espace fine	a \, b	${\displaystyle a\,b}$
pas d'espacement	ab ou a b	${\displaystyle ab}$
espacement négatif	a \! b	${\displaystyle a\!b}$

Certaines parties peuvent être mises en couleur, à l'aide du commutateur \color{nom de la couleur} :

• {\color{Blue}x^2}+{\color{Brown}2x}-{\color{Green}1} donne

${\displaystyle {\color {Blue}x^{2))+{\color {Brown}2x}-{\color {Green}1))$

• x=\frac{-b\pm\sqrt{\color{Red}{b^2-4ac))}{2a} donne

${\displaystyle x={\frac {-b\pm {\sqrt {\color {Red}{b^{2}-4ac)))){2a))}$

Voir sur Wikipédia en anglais (en) pour les 68 couleurs disponibles.

Afin de conserver un document lisible et agréable, les couleurs doivent être utilisées avec une grande parcimonie. Elles doivent de plus respecter les conventions de style et être choisies de telle façon que les daltoniens puissent les distinguer.

Liens internes

• Wikipédia:Atelier TeX, où vous posez directement des questions sur l’utilisation du TeX.
• Catégorie:Utilisateur TeXnicien
• Exemples de formules
• Aide:Caractères spéciaux
• TeX et LaTeX

Liens externes

• (en) [PDF] User’s Guide for the amsmath Package ( Guide de l'utilisateur de l'extension amsmath)