Aide:Formules TeX

Modèle:Aide Wikiversité Les formules mathématiques peuvent être écrites avec le système TeX sur Wikiversité.

Cette syntaxe est beaucoup plus facile à écrire et à lire que l'HTML. Les formules sont présentées en HTML si possible, autrement une image PNG est produite par le serveur.

Syntaxe de base

Les formules s'écrivent entre <math> ... </math>.

Les caractères + - = / ' | * < > ( ), les chiffres arabes et les lettres de l'alphabet peuvent être tapés directement. Les autres symboles doivent être créés avec les commandes appropriées.

Le caractère \ précède toutes les commandes, par exemple : \sqrt x donne $\sqrt{x}$.

Une commande peut avoir des paramètres. Les paramètres facultatifs sont entre crochets :\sqrt[n] x $\sqrt[n]{x}$. Les paramètres obligatoires n'ont pas besoin d’être délimités par des caractères particuliers. Cependant, si le paramètre en question fait plus d’un caractère de long, il doit former un bloc et doit être délimité par des accolades : \sqrt[n]{xyz} $\sqrt[n]{xyz}$.

Pour obtenir une accolade dans le rendu, il faut donc utiliser le caractère d'échappement et taper \{ ou \}. Et pour afficher le caractère d'échappement, il faut le doubler : \\.

On peut écrire plusieurs commandes à la suite, sans espace : \sqrt 2\approx\pm 1.4 $\sqrt{2}\approx \pm 1.4$. On peut même supprimer l'espace entre la commande et son paramètre, si celui-ci n’est pas un caractère alphabétique : \sqrt2 est équivalent à \sqrt 2 ou \sqrt{2}, mais \sqrtX n’est pas valide et doit être écrit \sqrt X. À l'inverse, on peut écrire autant d'espaces et de sauts à la ligne que l’on désire.

Si vous éprouvez des difficultés, n'hésitez pas à demander de l'aide dans la salle café.

Caractères spéciaux

Fonctionnalité	Syntaxe	À quoi ça ressemble
Diacritiques	\hat o \acute o \dot o \ddot o \vec o \check o \grave o \breve o \widehat {abc} \tilde o \bar o	$\hat{o}\acute{o}\dot{o}\ddot{o}\overrightarrow{o}\check{o}\stackrel{`}{o}\breve{o}\widehat{abc}\tilde{o}\overline{o}$
Opérateurs binaires	\star \times \circ \cdot \bullet \cap \cup \sqcup \vee \wedge \oplus \otimes \triangle \vdots \ddots \div \pm \mp \triangleleft \triangleright	$\star \times \circ \cdot \bullet \cap \cup \bigsqcup \vee \wedge \oplus \otimes \mathrm{△}⋮\ddots ÷\pm \mp ◃▹$
Opérateurs n-aires	\sum \prod \coprod \int \iint \iiint \iiiint \oint \bigcup \bigcap \bigsqcup \bigvee \bigwedge \bigoplus \bigotimes \bigodot \biguplus	$\sum \prod \coprod \int \iint \iiint ⨌\oint$$\bigcup \bigcap ⨆\bigvee \bigwedge ⨁⨂⨀⨄$
Ellipses	x + \cdots + y ou x + \ldots + y	$x+\cdots +y$ ou $x+\dots +y$
Délimiteurs	( ) [ ] [\![ ]\!] \{ \} \lfloor \rfloor \lceil \rceil \langle \rangle / \backslash | \| \uparrow \Uparrow \downarrow \Downarrow \updownarrow \Updownarrow	$()[][[]]\{\}\lfloor \rfloor \lceil \rceil ⟨⟩/\mathrm{\setminus }|\Vert \uparrow \Uparrow \downarrow \Downarrow \updownarrow \Updownarrow$
Fonctions std. (bien)	\sin x + \ln y +\operatorname{sgn} z	$\sin x+\ln y+\mathrm{sgn}z$
Fonctions std. (mal)	sin x + ln y + sgn z	$sinx+lny+sgnz$
Fonctions non std.	\operatorname{fonction}	$\mathrm{fonction}$
Fonctions trigonométriques	\sin \cos \tan \cot \sec \csc	$\sin \cos \tan \cot \sec \csc$
Fonctions trigonométriques réciproques	\arcsin \arccos \arctan	$\arcsin \arccos \arctan$
Fonctions hyperboliques	\sinh \cosh \tanh \coth	$\sinh \cosh \tanh \coth$
Fonctions d'analyse	\lim \sup \inf \limsup \liminf \log \ln \lg \exp \arg \min \max	$\lim \sup \inf \mathrm{lim\; sup}\mathrm{lim\; inf}\log \ln \lg \exp \arg \min \max$
Fonctions d'algèbre linéaire	\det \deg \dim \hom \ker	$\det \mathrm{deg}\dim \mathrm{hom}\ker$
Arithmétique modulaire	s_k \equiv 0 \pmod m ou a \bmod b	$s_k\equiv 0(\mathrm{mod}m)$ ou $amodb$
Dérivées	\nabla \partial x {\rm d}x \dot x \ddot x	$\mathrm{\nabla }\partial x\mathrm{d}x\dot{x}\ddot{x}$
Ensembles	\forall \exists \empty \varnothing \cap \cup	$\mathrm{\forall }\mathrm{\exists }\mathrm{\varnothing }\varnothing \cap \cup$
Logique	\wedge \land \lnot \vee \lor	$\wedge \wedge \mathrm{\neg }\vee \vee$
Racines	\sqrt 2\approx\pm 1,4	$\sqrt{2}\approx \pm 1,4$
	\sqrt[n]{x}	$\sqrt[n]{x}$
Relations	\sim \simeq \cong < > \le \ge \leqslant \geqslant \ll \gg \equiv \approx = \propto	$\sim \simeq \cong <>\le \ge ⩽⩾\ll \gg \equiv \approx =\propto$
	\not\sim \not\simeq \not\cong \not< \not> \not\le \not\ge \not\ll \not\gg \not\equiv \not\approx \ne \not\propto	$\sim ̸\simeq ̸\cong ̸<>\le ̸\ge ̸\ll ̸\gg ̸\equiv ̸\approx ̸\ne \propto ̸$
Relations d'ensembles	\subset \subseteq \supset \supseteq \in \ni	$\subset \subseteq \supset \supseteq \in \ni$
	\not\subset \not\subseteq \not\supset \not\supseteq \not\in \not\ni	$\subset ̸\subseteq ̸\supset ̸\supseteq ̸\in ̸\ni ̸$
Géométrie	\Diamond \Box \triangle \angle \perp \mid \nmid \| 45^\circ	$◊◻\mathrm{△}\mathrm{\angle }\perp \mid \nmid \Vert 45^{\circ }$
Flèches	\leftarrow \rightarrow \to \leftrightarrow \longleftarrow \longrightarrow \mapsto \longmapsto \nearrow \searrow \swarrow \nwarrow	$\leftarrow \to \to \leftrightarrow ⟵⟶$ $\mapsto ⟼\nearrow \searrow \swarrow \nwarrow$
	\Leftarrow \Rightarrow \Leftrightarrow \Longleftarrow \Longrightarrow \Longleftrightarrow \iff	$\Leftarrow \Rightarrow \iff ⟸⟹⟺⟺$
Symboles divers	\hbar \wr \dagger \ddagger \infty \vdash \top \bot \models \vdots \ddots \cdots \ldots \imath \ell \Re \Im \wp \mho	$\hslash \wr †‡\mathrm{\infty }⊢\mathrm{\top }\mathrm{\perp }\models ⋮\ddots \cdots \dots ı\ell \mathrm{\Re }\mathrm{\Im }\mathrm{\wp }\mho$

Indices, exposants

Fonctionnalité	Syntaxe	À quoi ça ressemble
		en HTML	en PNG
Exposant	a^2	$a^2$	$a^2$
Indice	a_2	$a_2$	$a_2$
Regroupement	a^{2+2}	$a^{2+2}$	$a^{2+2}$
	a_{i,j}	$a_{i,j}$	$a_{i,j}$
Combiner indice et exposant	x_2^3	$x_2^3$	$x_2^3$
Indice et exposant précédents	{}_1^2\!X_3^4	${}_1^2{X}_3^4$
Dérivée (bon)	x'	$x^{\prime }$	$x^{\prime }$
Dérivée (mauvais en HTML)	x^\prime	$x^{\prime }$	$x^{\prime }$
Dérivée (mauvais en PNG)	x\prime	$x\prime$	$x\prime$
Soulignés et surlignés	\hat a \bar b \vec c \overline {g h i} \underline {j k l}	$\hat{a}\overline{b}\overrightarrow{c}\overline{ghi}\underset{\_}{jkl}$
Vecteurs et angles	\vec U \overrightarrow{AB} \overline{AB} \widehat {POQ}	$\overrightarrow{U}\overrightarrow{AB}\overline{AB}\widehat{POQ}$
Somme	\sum_{k=1}^n k^2	$\sum _{k=1}^n{k}^2$
Produit	\prod_{i=1}^n x_i	$\prod _{i=1}^n{x}_i$
Limite	\lim_{n \to \infty} x_n	$\underset{n\to \mathrm{\infty }}{\lim }{x}_n$
Borne	\sup_{x\in[a,b]} f(x)	$\underset{x\in [a,b]}{\sup }f(x)$
Primitive	\int \frac{1}{1+t^2}\, \mathrm dt	$\int \frac{1}{1+t^2}\mathrm{d}t$
Intégrale définie	\int_{-n}^n e^x\, \mathrm dx	$\underset{-n}{\overset{n}{\int }}{e}^x\mathrm{d}x$
Intégrale curviligne	\oint_C x^3\, dx + 4y^2\, {\rm d}y	${\oint }_C{x}^3\mathrm{d}x+4y^2\mathrm{d}y$
Intégrale double	\iint e^{-\frac{x^2+y^2}{2}\, {\rm d}x {\rm d}y	$\iint e^{-\frac{x^2+y^2}{2}}\mathrm{d}x\mathrm{d}y$
Intersections	\bigcap_1^n p	$\bigcap _1^{n}p$
Réunions	\bigcup_1^k p	$\bigcup _1^{k}p$

Fractions, matrices, plusieurs lignes

Fonctionnalité	Syntaxe	À quoi ça ressemble
Fractions	\frac{2}{4} ou {2 \over 4}	$\frac{2}{4}$ ou $\frac{2}{4}$
Coefficients binomiaux, combinaisons	{n \choose k} ou C_n^k	$(\genfrac{}{}{0ex}{}{n}{k})$ ou $C_n^k$
Matrices	\begin{matrix} a & \cdots & b \\ \vdots & \ddots & \vdots \\ c & \cdots & d \end{matrix}	$\begin{array}{ccc}a& \cdots & b\\ ⋮& \ddots & ⋮\\ c& \cdots & d\end{array}$
	\begin{pmatrix} a & b \\ c & d \end{pmatrix}	$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$
	\begin{bmatrix} a & b \\ c & d \end{bmatrix}	$\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$
	\begin{Bmatrix} a & b \\ c & d \end{Bmatrix}	$\left\{\begin{array}{cc}a& b\\ c& d\end{array}\right\}$
	\begin{vmatrix} a & b \\ c & d \end{vmatrix}	$\left|\begin{array}{cc}a& b\\ c& d\end{array}\right|$
	\begin{Vmatrix} a & b \\ c & d \end{Vmatrix}	$\Vert \begin{array}{cc}a& b\\ c& d\end{array}\Vert$
Distinctions de cas	f(n)=\begin{cases} n/2, & \mbox{si }n\mbox{ est pair} \\ 3n+1, & \mbox{si }n\mbox{ est impair} \end{cases}	$f(n)=\{\begin{array}{cc}n/2,& \text{si }n\text{ est pair}\\ 3n+1,& \text{si }n\text{ est impair}\end{array}$
Équations sur plusieurs lignes	\begin{matrix}f(n+1)&=& (n+1)^2 \\ \ & =& n^2 + 2n + 1\end{matrix}	$\begin{array}{ccc}f(n+1)& =& (n+1{)}^2\\ & =& n^2+2n+1\end{array}$
Accolade supérieure	\overbrace{ 1+2+\cdots+100 }^\textrm{5050}	$\stackrel{\text{5050}}{\overbrace{1+2+\cdots +100}}$
Accolade inférieure	\underbrace{ a+b+\cdots+z }_\textrm{26}	$\underset{\text{26}}{\underbrace{a+b+\cdots +z}}$

Jeux de caractères

Fonctionnalité	Syntaxe	À quoi ça ressemble
Lettres grecques minuscules (sans omicron !)	\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	$\alpha \beta \gamma ϝ\delta ϵ\epsilon \zeta \eta \theta \vartheta \iota \kappa \varkappa \lambda \mu \nu$$\xi o\pi \varpi \rho \varrho \sigma \varsigma \tau \upsilon \varphi \phi \chi \psi \omega$
Lettres grecques majuscules (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	$\mathrm{A}\mathrm{B}\mathrm{\Gamma }\mathrm{\Delta }\mathrm{E}\mathrm{Z}\mathrm{H}\mathrm{\Theta }\mathrm{I}\mathrm{K}\mathrm{\Lambda }\mathrm{M}$ $\mathrm{N}\mathrm{\Xi }O\mathrm{\Pi }\mathrm{P}\mathrm{\Sigma }\mathrm{T}\mathrm{{\rm Y}}\mathrm{\Phi }\mathrm{X}\mathrm{\Psi }\mathrm{\Omega }$
Blackboard	\mathbb{A B C D E F G H I J K L M} \mathbb{N O P Q R S T U V W X Y Z}	$𝔸𝔹ℂ𝔻𝔼𝔽𝔾ℍ𝕀𝕁𝕂𝕃𝕄$ $\mathbb{N}𝕆\mathbb{P}\mathbb{Q}ℝ𝕊𝕋𝕌𝕍𝕎𝕏𝕐\mathbb{Z}$
	\R \N \Z \Q \C \H	$ℝ\mathbb{N}\mathbb{Z}\mathbb{Q}ℂℍ$
Fraktur	\mathfrak{a b c d e f g h i j k l m} \mathfrak{n o p q r s t u v w x y z} \mathfrak{A B C D E F G H I J K L M N} \mathfrak{O P Q R S T U V W X Y Z}	$𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪$ $𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷$ $𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌ\Im 𝔍𝔎𝔏𝔐𝔑$ $𝔒𝔓𝔔\Re 𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ$
Gras	\mathbf{ABCDEFGHIJKLM} \mathbf{NOPQRSTUVWXYZ}	$𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌$ $𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙$
Roman	\mathrm{ABCDEFGHIJKLM} \mathrm{NOPQRSTUVWXYZ}	$\mathrm{A}\mathrm{B}\mathrm{C}\mathrm{D}\mathrm{E}\mathrm{F}\mathrm{G}\mathrm{H}\mathrm{I}\mathrm{J}\mathrm{K}\mathrm{L}\mathrm{M}$ $\mathrm{N}\mathrm{O}\mathrm{P}\mathrm{Q}\mathrm{R}\mathrm{S}\mathrm{T}\mathrm{U}\mathrm{V}\mathrm{W}\mathrm{X}\mathrm{Y}\mathrm{Z}$
Normal	ABCDEFGHIJKLM NOPQRSTUVWXYZ	$ABCDEFGHIJKLM$ $NOPQRSTUVWXYZ$
Script	\mathcal{ABCDEFGHIJKLM} \mathcal{NOPQRSTUVWXYZ}	$𝒜ℬ𝒞𝒟ℰℱ𝒢\mathscr{H}ℐ𝒥𝒦ℒℳ,$ $𝒩𝒪𝒫𝒬ℛ𝒮𝒯𝒰𝒱𝒲𝒳𝒴𝒵$
Hébreu	\aleph \beth \daleth \gimel	$\mathrm{\aleph }\beth \daleth \gimel$

Délimiteurs dans les grandes équations

Mauvais	( \frac{1}{2} )	$(\frac{1}{2})$
Mieux	\left ( \frac{1}{2} \right )	$\left(\frac{1}{2}\right)$

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

Fonctionnalité	Syntaxe	À quoi ça ressemble
Parenthèses	\left( \frac{a}{b} \right)	$\left(\frac{a}{b}\right)$
Crochets	\left[ \frac{a}{b} \right]	$\left[\frac{a}{b}\right]$
Accolades	\left\{ \frac{a}{b} \right\}	$\left\{\frac{a}{b}\right\}$
Chevrons	\left\langle \frac{a}{b} \right\rangle	$⟨\frac{a}{b}⟩$
Barres (de valeur absolue, par exemple)	\left| \frac{a}{b} \right|	$\left|\frac{a}{b}\right|$
Flèches	\left \Uparrow \frac{a}{b} \right \Downarrow	$\Uparrow \frac{a}{b}\Downarrow$
Utilisez \left. ou \right. pour ne faire apparaître qu'un seul des délimiteurs	\left. {A \over B} \right\} \to X	$\frac{A}{B}\}\to X$
Taille des délimiteurs	\big( \Big( \bigg( \Bigg( ... \Bigg] \bigg] \Big] \big]	$\left(\right(\left(\right(\cdots \left]\right]\left]\right]$

Espacement

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

Fonctionnalité	Syntaxe	À quoi ça ressemble
double cadratin	a \qquad b	$ab$
cadratin	a \quad b	$ab$
grande espace	a\ b	$ab$
espace moyenne	a\;b	$ab$
espace fine	a\,b	$ab$
pas d'espacement	ab	$ab$
espacement négatif	a\!b	$ab$

Astuce

Pour forcer une formule à être générée en PNG, il suffit d'ajouter une espace fine en fin de formule : \, (contre-oblique virgule)

<math>a(1+e^2/2)</math> donne $a(1+e^2/2)$

<math>a(1+e^2/2)\,</math> donne $a(1+e^2/2)$

Pour diminuer la taille des formules dans une ligne de texte on peut utiliser \textstyle ou \scriptstyle:

<math>A \left({B\over c}\right)</math> donne $A\left(\frac{B}{C}\right)$

<math>\textstyle{A \left({B\over C}\right)}</math> donne $A\left(\frac{B}{C}\right)$

<math>\scriptstyle{A \left({B\over C}\right)}</math> donne $A\left(\frac{B}{C}\right)$

Note typographique

Selon le Lexique des règles typographiques en usage à l'Imprimerie nationale éd. 2002, Modèle:P., 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. Ce point pourra être en dehors de la formule elle-même (après la balise </math>).

Voir aussi

Liens externes

• Modèle:En Document d’introduction à TeX, lire à partir de la page 39.
• Modèle:Fr Introduction à LaTeX
• Modèle:En AMS LaTeX, les extensions et conventions de la société américaine de mathématiques.