Les symboles
Les symbolesLe résumé des commandes regroupent les symboles de base en $\mathrm{\LaTeX}$ . Je vous recommande vivement de feuilleter ces pages dans un premier temps pour vous familiariser et aussi pour repérer les commandes que vous serez amenés à utiliser constamment. Elles sont extraites des tables publiées dans les livres cités ci-dessous. N'hésitez pas à les télécharger, ils sont gratuits et constituent des références pour apprendre le langage $\mathrm{\LaTeX}$.
The Comprehensive LaTeX Symbol List: http://www.ctan.org/tex-archive/info/symbols/comprehensive/
The not so short introduction to LaTeX2e (traduit en français) : http://www.ctan.org/tex-archive/info/lshort/french/
Ci-dessous les deux extensions gérées par MathJax, les symboles ne sont pas tous disponibles:
User's guide of AMSfonts : ftp://ftp.ams.org/pub/tex/doc/amsfonts/amsfndoc.pdf
D'autres PDF recensent des commandes pour taper les symboles. Mais voici sur internet des pages plus interactives:
http://detexify.kirelabs.org/classify.html
Ce site est fortement recommandé, on peut dessiner dans le rectangle le symbole que l'on cherche, et il vous est proposé différentes solutions. De plus, vous pouvez choisir la partie "symbols" (bouton en haut à droite de "classify") pour les voir afficher et effectuer une recherche ciblée.
Accents
Accents-
$\hat{a}$ \hat{a}
-
$\bar{a}$ \bar{a} (conjugué d'un complexe)
-
$\dot{a}$ \dot{a}
-
$\ddot{a}$ \ddot{a}
-
$\vec{a}$ \vec{a} (vecteur) - adapté pour une lettre
-
$\overrightarrow{AB}$ \overrightarrow (vecteur) - adapté pour un bipoint
-
$\tilde{a}$ \tilde{a}
-
$\widehat{ABC}$ \widehat{ABC} (angle)
Les accents comme \overrightarrow ou \widehat ont l'avantage de s'adapter à l'expression qu'ils renferment, leur flexibilité ne se retrouve pas pour les autres accents comme \tilde ou \vec. Si l'on souhaite indiquer le vecteur $\overrightarrow{AB}$ il faudra donc taper:
$ \overrightarrow { AB } $
Alors que si l'on écrit:
$ \vec { AB } $
on obtient ceci: $\vec{AB}$
Alphabet grec
Alphabet grecC'est l'alphabet le plus utilisé pour le calcul littéral avec le latin, il est bon de le connaître. Vingt-quatre lettres sont disponibles, on présente les formes minuscules et majuscules, en sachant que pour certaines majuscules il est inutile de taper une commande particulière puisqu'elles peuvent correspondre aux lettres de l'alphabet latin. Pour d'autres, il existe une variante d'écriture que l'on indique.
-
$\alpha$ \alpha - maj. A
-
$\beta$ \beta - maj. B
-
$\gamma$ \gamma - maj. $\Gamma$ \Gamma
-
$\delta$ \delta - maj. $\Delta$ \Delta
-
$\epsilon$ \epsilon - (ou $\varepsilon$ \varepsilon) - maj. E
-
$\zeta$ \zeta - maj. Z
-
$\eta$ \eta - maj. H
-
$\theta$ \theta - (ou $\vartheta$ \vartheta) - maj. $\Theta$ \Theta
-
$\iota$ \iota - maj. I
-
$\kappa$ \kappa - maj. K
-
$\lambda$ \lambda - maj. $\Lambda$ \Lambda
-
$\mu$ \mu - maj. M
-
$\nu$ \nu - maj. N
-
$\xi$ \xi - maj. $\Xi$ \Xi
-
$o$ o - maj. O
-
$\pi$ \pi - (ou $\varpi$ \varpi) - maj. $\Pi$ \Pi
-
$\rho$ \rho - (ou $\varrho$ \varrho) - maj. P
-
$\sigma$ \sigma - (ou $\varsigma$ \sigma) - maj. $\Sigma$ \Sigma
-
$\tau$ \tau - maj. T
-
$\upsilon$ \upsilon - maj. $\Upsilon$ \Upsilon
-
$\phi$ \phi - (ou $\varphi$ \varphi) - maj. $\Phi$ \Phi
-
$\chi$ \chi - maj. X
-
$\psi$ \psi - maj. $\Psi$ \Psi
-
$\omega$ \omega - maj. $\Omega$ \Omega
Délimiteurs
DélimiteursTout d'abord voici quelques délimiteurs à connaître, ces commandes ne sont pas flexibles, elles ne s'adaptent pas à l'expression qui suit et sont calibrées pour apparaître sur une ligne:
- ( ( parenthèse ouvrante
- ) ) parenthèse fermante
- [ [ crochet ouvrant
- ] ] crochet fermant
- $\{$ \{ ou \lbrace accolade ouvrante
- $\}$ \} ou \rbrace accolade fermante
- $\langle$ \langle (produit scalaire)
- $\rangle$ \rangle (produit scalaire)
- $\vert$ \vert
- / /
- $\lfloor$ \lfloor (partie entière)
- $\rfloor$ \rfloor (partie entière)
- $\lceil$ \lceil (entier supérieur)
- $\rceil$ \rceil (entier supérieur)
Des parenthèses plus grandes sont disponibles pour les incorporer sur une ligne, ainsi qu'une barre verticale et un antislash:
- $\lgroup$ \lgroup
- $\rgroup$ \rgroup
- $\bracevert$ \bracevert
- $\backslash$ \backslash
Flèches
Flèches
Les flèches sont organisées suivant une logique simple à comprendre. Toutes les commandes possèdent la racine arrow signifiant flèche en anglais. On indique en préfixe la direction de la flèche, toujours en anglais: left right up down.
- $\leftarrow$ \leftarrow (ou \gets)
- $\rightarrow$ \rightarrow (ou \to)
- $\uparrow$ \uparrow
- $\downarrow$ \downarrow
On peut obtenir une double direction en l'indiquant comme suit:
- $\leftrightarrow$ \leftrightarrow
- $\updownarrow$ \updownarrow
Ces flèches ont une longueur standard, il est possible d'allonger les flèches horizontales en ajoutant le préfixe long et on obtient alors pour chacune d'elles une version longue:
- $\longleftarrow$ \longleftarrow
- $\longrightarrow$ \longrightarrow
- $\longleftrightarrow$ \longleftrightarrow
Une majuscule au début de la commande double la flèche, qu'elle soit horizontale ou verticale.
- $\Leftarrow$ \Leftarrow
- $\Rightarrow$ \Rightarrow
- $\Uparrow$ \Uparrow
- $\Downarrow$ \Downarrow
- $\Leftrightarrow$ \Leftrightarrow
- $\Updownarrow$ \Updownarrow
- $\Longleftarrow$ \Longleftarrow
- $\Longrightarrow$ \Longrightarrow
- $\Longleftrightarrow$ \Longleftrightarrow
La dernière de ces commandes est très utilisée, il s'agit de l'opérateur exprimant une équivalence, on peut simplifier son écriture à l'aide de
- $\iff$ \iff
Dans la définition d'une fonction $ \; f: \, x \mapsto f(x) \; $ la flèche possède un tiret. On utilise:
- $\mapsto$ \mapsto
- $\longmapsto$ \longmapsto
Relations binaires
Relations binairesLes relations binaires permettent de comparer deux objets, on distingue deux catégories principales, celles pour les nombres et celles qu'on utilise plus généralement pour les ensembles.
Nombres
- < < (strictement inférieur)
- > > (strictement supérieur)
- $\leq$ \leq (inférieur)
- $\geq$ \geq (supérieur)
- = = (égal)
- $\neq$ \neq (différent)
- $\approx$ \approx (à peu près égal)
- $\equiv$ \equiv (équivalent)
- $\sim$ \sim (similaire)
- $\simeq$ \simeq (à peu près similaire)
Ensembles
- $\subset$ \subset (inclus)
- $\supset$ \supset (contient)
- $\in$ \in (appartient)
- $\ni$ \ni (ou \owns) (possède)
- $\notin$ \notin (n'appartient pas)
- $\mid$ \mid (ou | directement) (produit scalaire)
- $\parallel$ \parallel (parralèle)
- $\perp$ \perp (perpendiculaire)
- : : (défini par)
Voici celles qui associent des objets: les opérateurs binaires.
Opérateurs sur les nombres
- + + (addition)
- - - (soustraction)
- $\times$ \times (multiplication)
- $\cdot$ \cdot (produit)
- $\pm$ \pm (plus ou moins)
Opéarateurs sur les ensembles
- $\cup$ \cup (réunion)
- $\cap$ \cap (intersection)
- $\setminus$ \setminus (privé de)
On peut aussi proposer de nouvelles opérations et leur attribuer un symbole tels que les suivants:
- $\oplus$ \oplus
- $\ominus$ \ominus
- $\odot$ \odot
- $\otimes$ \otimes
10 symboles réservés
10 symboles réservésLa plupart des symboles peuvent être tapés directement et sont reconnus par LaTeX mais il en existe 10 qui sont réservés et possèdent un sens particulier:
- \ : L'antislash (backslash en anglais) sert à introduire une commande. S'il est suivi d'un mot ou seulement une lettre, l'ensemble est vu comme une fonction ou un symbole. Par exemple: \omega sera interprété en la lettre grecque du même nom $\omega$. La commande \large sera comprise comme étant la commande qui permet un grossissement des caractères. Enfin si le signe est suivi d'une espace, il s'agit d'une commande qui introduit une espace de petite taille. Pour obtenir le symbole il faut taper: \backslash
- % : Le symbole désignant un pourcentage sert aux commentaires. Tout ce qui suit sur la ligne n'est pas pris en compte. Il permet de laisser une note dans le code si l'on veut se souvenir d'une chose, ou spécifier notre démarche pour rendre plus lisible notre travail. Pour obtenir le symbole il faut taper: \%
- ~ : Le tilde désigne une espace insécable, nécessaire lorsqu'on souhaite ne pas séparer deux expressions (lettres, mots, nombres...). Pour obtenir le symbole il faut taper: \~{}
- { : l'accolade ouvrante sert à indiquer le début d'un groupe, tout ce qui est à l'intérieur peut être traité comme une seule entité. Si l'on tape u_10 on obtient $u_10$. Le tiret utilisé est une commande pour indiquer qu'on met en indice ce qui suit. Or sans accolades seul le premier caractère qui suit est pris en compte, et donc on lit $u_1$ suivi du nombre 0. Pour signifier le terme d'indice 10 de la suite $u$ il faut mettre entre accolades ce qui nous intéresse, on parle de groupe: u_{10} donnera $u_{10}$. Il est possible que parfois l'accolade soit placée à un endroit sans qu'elle ait d'impact. Par exemple f(x+{2+y}-k) donnera $f(x+{2-y}-k)$ qui s'obtient aussi sans qu'on ait à faire intervenir les accolades. Mais si l'on souhaite faire apparaître l'accolade elle-même il faudra alors taper: \{
- } : L'accolade fermante. Pour obtenir le symbole il faut taper: \}
- \$ : Le symbole du dollar américain sert à désigner une entrée dans un mode mathématique, c'est celui-ci qui indique au navigateur qu'il doit demander au moteur MathJax de lui traduire les expressions situées entre deux symboles. Soit on utilise un seul \$ en début et en fin et alors l'expression tient sur la ligne, soit on double le signe et dans ce cas il y a un passage automatique à la ligne et l'expression est centrée. On appelle ceci un environnement, et il devient obligatoire lorsqu'on veut placer un tableau en général qui peut être un système d'équations, une matrice, un tableau de données etc... Le symbole s'obtient en tapant: l'antislash suivi de \$
- _ : Le tiret à ne pas confondre avec le signe négatif - qui sert aussi de tiret en étant centré sur la ligne. Le premier sert donc à placer un indice comme on vient de le voir pour le quatrième point. Pour obtenir le symbole il faut taper: \_{}
- ^ : L'accent circonflexe sert à placer un exposant, sauf s'il est mit directement sur une lettre comme â ou ê. Mais s'il est seul comme dans l'expression x^2 il indique que le caractère qui le suit (ici le nombre 2) doit être mis en exposant pour le caractère qui le précède (ici la variable x). Ainsi on obtient: $x^2$. Il est intéressant de noter la force des accolades dans ce langage et comment les commandes peuvent être combinées entre elles. En effet, le caractère qui précède et celui qui suit peuvent tous deux être des expressions plus compliquées, il suffit pour en rendre compte de les délimiter par des accolades. Dans le cas du caractère qui précède, la tradition veut qu'on affiche des parenthèses pour le distinguer. Par exemple: (2k+1)^{n-2} donnera $(2k+1)^{n-2}$. Pour obtenir le symbole il faut taper: \^{}
- # : Le dièse sert de paramètre de macro. Il intervient dans un préambule d'édition lorsqu'on définit de nouvelles commandes pour indiquer au compilateur à son endroit doit figurer une variable. Il n'est pas fondamental d'en connaître pour le moment le fonctionnement. Pour obtenir le symbole il faut taper: \#
- & : Le symbole 'and' est utilisé dans les tableaux pour indiquer la position d'une colonne. On pourra se reporter à la page dédiée aux tableaux pour mieux le comprendre. Pour obtenir le symbole il faut taper: \&
Certains de ces symboles sont suivis d'accolades ouvrantes et fermantes pour être affichés tels que \_{} et \^{} et \~{} ceci parce qu'elles permettent de placer une espace. Sans elles, le symbole sera collé au caractère suivant. Ce qui lie ces trois symboles c'est qu'ils représentent à la base des commandes. On parle plus précisément de fonctions de $\mathrm{\LaTeX}$ et elles prennent donc des arguments, c'est-à-dire des variables sur lesquelles elles agissent. Dans l'expression x^{2k+1} la quantité x est un caractère simple, l'accent circonflexe ^ étant seul est vu comme une commande pour MathJax qui recherche la suite. Puisqu'elle est délimitée par des accolades, il met en exposant toute l'expression 2k+1. Ainsi pour le compilateur l'accent est une fonction de $\mathrm{\LaTeX}$ et l'expression 2k+1 la variable (on parle d'argument pour généraliser) sur laquelle elle doit agir.
Autres symboles
Autres symbolesVoici quelques symboles indispensables. En premier lieu les quantificateurs:
- $\forall$ \forall - Quelque soit
- $\exists$ \exists - Il existe
En géométrie il arrive qu'on utilise les vecteurs $\vec{\imath}$ et $\vec{\jmath}$ avec cette écriture. Comme précisé sur la page consacrée aux accents, on obtient un vecteur sur une lettre en utilisant la commande \vec{...} mais la lettre à l'intérieur n'est pas un 'i' ou un 'j' normal. Il s'agit de symboles là aussi qu'on obtient à l'aide de commandes:
- $\imath$ \imath
- $\jmath$ \jmath
Ainsi le vecteur $\vec{\imath}$ s'obtient par la combinaison des commandes: \vec{\imath} qu'on entoure comme d'habitude par les symboles \$ pour indiquer le passage en mode mathématique:
$\vec{\imath}$
D'autres commandes en vrac qu'il est bon de connaître par coeur:
- $\ell$ \ell (pour distinguer la lettre '\ell' d'un 'i' majuscule par exemple)
- $\partial$ \partial (utilisé pour désigner le bord d'un ensemble ou la dérivée d'une fonction suivant une variable particulière)
- $\prime$ \prime (donne un accent correspondant à la dérivée d'une fonction)
- $\surd$ \surd
- $\angle$ \angle
- $\S$ \S
- $\ast$ \ast - astérisque
- $\wedge$ \wedge - \produit vectoriel
Quelques symboles ne peuvent être écrits directement car ils ont une signification en tant que commandes. Ainsi les accolades doivent être précédées d'un antislash: \{. De même:
- $\%$ \%
- $\#$ \#
Au total il y en a 10, se reporter à la page "10 symboles resérvés" pour les connaître tous. Parmi les symboles ayant trait aux ensembles, les suivants sont essentiels:
- $\emptyset$ \emptyset - ensemble vide
- $\infty$ \infty - infini (utilisé pour les limites et tableaux de variations)
On peut représenter un triangle par la commande: \triangle. Ce qui donne: $\triangle$
Modifier les symboles:
Certains symboles peuvent être agrandis dans une expression en ajoutant le préfixe 'big' dans la commande. Ainsi \cup et \cap donnent les réunions et intersections $\cup$ et $\cap$. Avec 'big' on obtient $\bigcup$ en écrivant \bigcup. De même \bigcap donne $\bigcap$. Le symbole $\oplus$ obtenu à partir de \oplus devient $\bigoplus$ avec \bigoplus.