Conférence LATEX no 3 Macros, mathématiques, théorèmes fichiers maître et esclaves, ressources Denis Bitouzé denis.bitouze@lmpa.univ-littoral.fr http://gte.univ-littoral.fr/members/dbitouze/pub/latex IUT Génie Thermique et Énergie de Dunkerque http://gte.univ-littoral.fr/ & Laboratoire de Mathématiques Pures et Appliquées Joseph Liouville http://www-lmpa.univ-littoral.fr Plan Conférence LATEX no 3 1 Macros personnelles Macros personnelles 2 Composition des mathématiques Composition des mathématiques 3 Environnements de type « théorème » Environnements de type « théorème » 4 Gestion de documents longs 5 Ressources Denis Bitouzé Gestion de documents longs Ressources Plan Conférence LATEX no 3 Denis Bitouzé Macros personnelles 1 Macros personnelles 2 Composition des mathématiques 3 Environnements de type « théorème » 4 Gestion de documents longs 5 Ressources Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources 1 Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Macros personnelles (sans argument) ou comment étendre les capacités de LATEX Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque On peut créer ses propres commandes LATEX Motivation Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Code source 1 Le document que vous allez lire traite de Dostoïevski. 2 Nous commençons par décrire la vie de Dostoïevski. 3 Dostoïevski est né le... Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Résultat Le document que vous allez lire traite de Dostoïevski. Nous commençons par décrire la vie de Dostoïevski. Dostoïevski est né le... Motivation Exemple de macro personnelle Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\dst}{Dostoïevski} 1 Le document que vous allez lire traite de \dst{}. 2 Nous commençons par décrire la vie de \dst{}. 3 \dst{} est né le... Résultat Le document que vous allez lire traite de Dostoïevski. Nous commençons par décrire la vie de Dostoïevski. Dostoïevski est né le... Motivation Exemple de macro personnelle Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\dst}{\textcolor{magenta}{Dostoïevski}} 1 Le document que vous allez lire traite de \dst{}. 2 Nous commençons par décrire la vie de \dst{}. 3 \dst{} est né le... Résultat Le document que vous allez lire traite de Dostoïevski. Nous commençons par décrire la vie de Dostoïevski. Dostoïevski est né le... Motivation Exemple de macro personnelle Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\dst}{\textcolor{magenta}{Johnny}} 1 Le document que vous allez lire traite de \dst{}. 2 Nous commençons par décrire la vie de \dst{}. 3 \dst{} est né le... Résultat Le document que vous allez lire traite de Johnny. Nous commençons par décrire la vie de Johnny. Johnny est né le... Macros produisant du texte Paires d’accolades vides pour préserver les espaces Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Attention ! Sans les paires d’accolades vides dans les exemples précédents, les espaces qui suivent \dst auraient été avalés Macros produisant du texte Paires d’accolades vides pour préserver les espaces : avec Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\dst}{Dostoïevski} 1 Le document que vous allez lire traite de \dst{}. 2 Nous commençons par décrire la vie de \dst{}. 3 \dst{} est né le... Résultat Le document que vous allez lire traite de Dostoïevski. Nous commençons par décrire la vie de Dostoïevski. Dostoïevski est né le... Macros produisant du texte Paires d’accolades vides pour préserver les espaces : sans Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\dst}{Dostoïevski} 1 Le document que vous allez lire traite de \dst. 2 Nous commençons par décrire la vie de \dst. 3 \dst est né le... Résultat Le document que vous allez lire traite de Dostoïevski. Nous commençons par décrire la vie de Dostoïevski. Dostoïevskiest né le... Macros produisant du texte et espaces S’affranchir des paires d’accolades vides (package xspace) Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque On peut s’affranchir des paires d’accolades vides au moyen du package xspace Macros produisant du texte et espaces S’affranchir des paires d’accolades vides (package xspace) Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \usepackage{xspace} \newcommand{\dst}{Dostoïevski\xspace} 1 Le document que vous allez lire traite de \dst. 2 Nous commençons par décrire la vie de \dst. 3 \dst est né le... Résultat Le document que vous allez lire traite de Dostoïevski. Nous commençons par décrire la vie de Dostoïevski. Dostoïevski est né le... Macros produisant du texte Espace avalé : seulement avec les macros produisant du texte Conférence LATEX no 3 Denis Bitouzé Macros personnelles Remarque Le problème d’espace avalé ne concerne que les macros qui produisent du texte ! Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Avec les macros (personnelles ou prédéfinies) qui agissent sur le texte 1 , le problème ne se pose pas Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources 1. Par exemple \textbf Macros personnelles (sans argument) Syntaxe Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Syntaxe \newcommand{\<nom de commande>}{<texte>} où : <nom de commande> est au choix mais doit : respecter les standards de noms de commandes LATEX n’exister ni dans (LA)TEX ni dans aucun package chargé <nom de commande> est obligatoirement précédé d’une contre-oblique <texte> est du texte et/ou code LATEX valide Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources 1 Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Macros personnelles (avec argument(s)) Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque Les nouvelles commandes LATEX créées peuvent comporter un ou plusieurs arguments Macros personnelles avec un argument Motivation Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Code source 1 \textbf{\textit{\textcolor{red}{Roméo}}}, 2 éternel amoureux... Séparation fond/forme Composition des mathématiques Résultat Roméo, éternel amoureux... Environnements de type « théorème » Gestion de documents longs Ressources Remarque C’est long à taper ! Macros personnelles avec un argument Motivation Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\romeo}{% \textbf{\textit{\textcolor{red}{Roméo}}}% } 1 \romeo{}, éternel amoureux... Résultat Roméo, éternel amoureux... Remarque Moins long, mais figé : comment faire pour afficher un(e) autre amoureux(se) ? En utilisant une macro à argument ! Macros personnelles avec un argument Exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\amoureux}[1]{% \textbf{\textit{\textcolor{red}{#1}}}% } 1 \amoureux{Roméo} et \amoureux{Juliette}, 2 couple intemporel... Résultat Roméo et Juliette, couple intemporel... Macros personnelles (avec argument(s)) Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque On n’est pas limité à un seul argument Macros personnelles avec deux arguments Exemple Conférence LATEX no 3 Exemple Denis Bitouzé Code source Macros personnelles \newcommand{\couple}[2]{#1 et #2, couple intemporel} Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques 1 2 3 4 5 6 \begin{enumerate} \item D’abord apparut \couple{Ulysse}{Pénélope}... \item Ensuite vint \couple{Roméo}{Juliette}... \item Aujourd’hui, nous confinons à la perfection avec \couple{Johnny}{Læticia}... \end{enumerate} Environnements de type « théorème » Gestion de documents longs Ressources Résultat 1 D’abord apparut Ulysse et Pénélope, couple intemporel... 2 Ensuite vint Roméo et Juliette, couple intemporel... 3 Aujourd’hui, nous confinons à la perfection avec Johnny et Læticia, couple intemporel... Macros personnelles avec deux arguments Exemple : imbrications de macros Conférence LATEX no 3 Exemple Denis Bitouzé Code source Macros personnelles \newcommand{\amoureux}[1]{% \textbf{\textit{\textcolor{red}{#1}}}% } \newcommand{\couple}[2]{\amoureux{#1} et \amoureux{#2}, couple intemporel} Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » 1 2 3 4 5 \begin{enumerate} \item D’abord apparut \couple{Ulysse}{Pénélope}... \item Ensuite vint \couple{Roméo}{Juliette}... \item ... \end{enumerate} Gestion de documents longs Résultat Ressources 1 D’abord apparut Ulysse et Pénélope, couple intemporel... 2 Ensuite vint Roméo et Juliette, couple intemporel... 3 ... Macros personnelles (avec argument(s)) Syntaxe Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Syntaxe \newcommand{\<nom de commande>}[<nb arg.>]{<texte>} où le nombre d’arguments <nb arg.> est un nombre (entier) entre 1 et 9 dans <texte>, l’argument no i est désigné par #i La commande est alors appelée par : Syntaxe \<nom de commande>{<1er arg>}{<2e arg>}· · · {<dernier arg>} Macros personnelles Où les définir ? Conférence LATEX no 3 Denis Bitouzé Macros personnelles Remarque Il est préférable de définir ses macros personnelles en un endroit unique et bien identifié du fichier source. Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources En pratique, elles sont souvent définies en fin de préambule, juste avant \begin{document} Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources 1 Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Séparation fond/forme Mélange des ordres typographiques et sémantiques Conférence LATEX no 3 Exemple Denis Bitouzé Code source Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) 1 Nous étudions ici compositeurs et instruments: 2 \emph{Ravel}, \emph{trombone}, \emph{Ellington}, 3 \emph{piano}, ... Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Résultat Nous étudions ici compositeurs et instruments : Ravel, trombone, Ellington, piano, ... Attention (procédé non optimal) ! Fichier .tex peu lisible (pas de distinction entre compositeurs et instruments) Modifications ultérieures de mises en forme pénibles (p. ex. compositeurs en petites capitales et instruments en bleu) Séparation fond/forme Séparation des ordres typographiques et sémantiques Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\comp}[1]{\emph{#1}} \newcommand{\inst}[1]{\emph{#1}} 1 Nous étudions ici compositeurs et instruments: 2 \comp{Ravel}, \inst{trombone}, \comp{Ellington}, 3 \inst{piano}, ... Résultat Nous étudions ici compositeurs et instruments : Ravel, trombone, Ellington, piano, ... Séparation fond/forme Séparation des ordres typographiques et sémantiques Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque (procédé beaucoup plus efficace) Fichier .tex plus lisible (distinction entre compositeurs et instruments) Modifications ultérieures de mises en forme aisées (p. ex. compositeurs en petites capitales et instruments en bleu) Séparation fond/forme Séparation des ordres typographiques et sémantiques Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Code source \newcommand{\comp}[1]{\bsc{#1}} \newcommand{\inst}[1]{\textcolor{blue}{#1}} 1 Nous étudions ici compositeurs et instruments: 2 \comp{Ravel}, \inst{trombone}, \comp{Ellington}, 3 \inst{piano}, ... Résultat Nous étudions ici compositeurs et instruments : Ravel, trombone, Ellington, piano, ... Séparation fond/forme Séparation des ordres typographiques et sémantiques Conférence LATEX no 3 Denis Bitouzé Macros personnelles Macros personnelles sans argument Macros personnelles avec argument(s) Séparation fond/forme Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque Idéalement, le corps du document devrait ne pas contenir d’ordres de mise en forme : ceux-ci devraient ne figurer qu’en préambule Plan Conférence LATEX no 3 1 Macros personnelles Macros personnelles 2 Composition des mathématiques Composition des mathématiques 3 Environnements de type « théorème » 4 Gestion de documents longs 5 Ressources Denis Bitouzé Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Packages à charger Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Dès que des formules de type mathématique sont à composer, il est conseillé de charger les packages mathtools : commandes pratiques, agencement des formules, etc. amssymb : nombreux symboles Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque mathtools est une surcouche du package amsmath dont il offre toutes fonctionnalités : il peut donc être utile de consulter la documentation de l’un et de l’autre Mode mathématique en ligne Conférence LATEX no 3 Macros personnelles Remarque Dans la suite de l’exposé, ces deux packages sont supposés systématiquement chargés : Composition des mathématiques Code source Denis Bitouzé Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources \usepackage{mathtools,amssymb} Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 2 Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Modes mathématiques Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes On distingue deux modes mathématiques : « en ligne » : pour des « formules » 2 devant figurer au sein de paragraphes de texte « hors texte » : pour des « formules » devant être détachées des paragraphes de texte : soit pour être mises en évidence soit pour des questions de place Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 2. Courtes en général Mode mathématique en ligne Syntaxe Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Syntaxe $<formule à placer en ligne>$ Mode mathématique en ligne Exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Code source 1 Soit $f$ la fonction définie par $f(x)=x+1$. Résultat Soit f la fonction définie par f (x) = x + 1. Mode mathématique hors texte Syntaxe Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Syntaxe \[<formule à placer hors-texte>\] Syntaxe (équivalente) \[ <formule à placer hors-texte> \] Mode mathématique hors texte Exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Code source 1 Soit $f$ la fonction définie par 2 \[f(x)=x+1\] Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Soit f la fonction définie par f (x) = x + 1 Mode mathématique hors texte $$...$$ à proscrire ! Conférence LATEX no 3 Macros personnelles Attention ! Le passage en mode mathématique hors-texte au moyen de $$...$$ est à proscrire Composition des mathématiques Cf. le « package » l2tabu-french pour plus de détails Denis Bitouzé Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Formules numérotées Syntaxe Conférence LATEX no 3 Syntaxe Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources \begin{equation} <formule à numéroter> \end{equation} Remarque Une telle « équation » est en mode hors-texte Formules numérotées Exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Code source 1 Soit $f$ la fonction définie par 2 \begin{equation} 3 f(x)=x+1 4 \end{equation} Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Soit f la fonction définie par f (x) = x + 1 (1) Formules sur plusieurs lignes Environnement equation déjà en mode mathématique ! Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Attention ! L’environnement equation passe en mode mathématique donc aucun mode mathématique 3 ne doit : 1 le contenir 2 s’y trouver Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Syntaxe (incorrecte !) Syntaxe (incorrecte !) \[ \begin{equation} \[ ... \] \end{equation} Raffinements Mathématiques élaborées \begin{equation} ... \end{equation} Documentation Environnements de type « théorème » \] Gestion de documents longs Ressources 3. Par exemple \[...\] Mode mathématique « équation » Labels et références Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque On peut labelliser les environnements equation et ainsi s’y référer Le calcul des nos et la mise à jour des références sont automatiques en cas de modification Mode mathématique « équation » Labels et références Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Code source 1 2 3 4 5 Soit $f$ la fonction définie par \begin{equation}\label{toto} f(x)=x+1 \end{equation} D’après~(\ref{toto}), la fonction $f$ est affine. Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Soit f la fonction définie par f (x) = x + 1 D’après (2), la fonction f est affine. (2) Propriétés des modes mathématiques Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Attention ! Les propriétés qui suivent ne concernent que les modes mathématiques Propriétés des modes mathématiques Apparence des caractères Conférence LATEX no 3 Propriété Denis Bitouzé Macros personnelles Tous les caractères 4 sont en italique Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 4. Autres que les chiffres et les signes de ponctuation Propriétés des modes mathématiques Apparence des caractères Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Code source 1 La factorielle de l’entier naturel non nul $n$ 2 est définie par 3 \[ 4 n!= 5 n \times (n-1) \times \dots \times 2 \times 1 6 \] Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat La factorielle de l’entier naturel non nul n est définie par n! = n × (n − 1) × · · · × 2 × 1 Propriétés des modes mathématiques Apparence des caractères Conférence LATEX no 3 Macros personnelles Remarque L’italique des modes mathématiques diffère de celui utilisé en mode texte Composition des mathématiques Exemple Denis Bitouzé Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source 1 $x/x=1 pour x différent de 0$ Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat x/x = 1pourxdif f rentde0 Propriétés des modes mathématiques Apparence des caractères Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Attention ! On ne doit pas utiliser les modes mathématiques pour écrire en italique ! Propriétés des modes mathématiques Insertion du texte dans une formule de mathématique Conférence LATEX no 3 Macros personnelles Attention ! Pour insérer du texte dans une formule de mathématique (hors texte), on utilisera la commande \text{<texte>} ! Composition des mathématiques Exemple Denis Bitouzé Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Code source 1 \[ 2 x/x=1\text{ pour $x$ différent de $0$} 3 \] Résultat Gestion de documents longs Ressources x/x = 1 pour x différent de 0 Propriétés des modes mathématiques Insertion du texte dans une formule de mathématique : usage Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Attention ! La commande \text sera évitée dans une formule en ligne utilisée dans une formule hors texte Ainsi, on n’écrira pas : Code source (sous-optimal) 1 $x/x=1\text{ pour $x$ différent de }0$. Documentation Environnements de type « théorème » Gestion de documents longs Ressources mais Code source 1 $x/x=1$ pour $x$ différent de $0$. Propriétés des modes mathématiques Espaces Conférence LATEX no 3 Denis Bitouzé Propriété Les espaces saisis au clavier sont ignorés Macros personnelles Composition des mathématiques Environnements mathématiques Exemple Code source Compositions courantes 1 $f(x )= x+ Formules sur plusieurs lignes 2 \[f(x )= x+ Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat f (x) = x + 1 et f (x) = x + 1 1$ et 1\] Propriétés des modes mathématiques Lignes vides Conférence LATEX no 3 Propriété Denis Bitouzé Les lignes vides 5 sont interdites Macros personnelles Le code suivant générerait une erreur de compilation : Composition des mathématiques Code source Environnements mathématiques Compositions courantes 1 Soit $f$ et $g$ les fonctions définies par Formules sur plusieurs lignes 2 \[ Raffinements 3 f(x)=x+1 Mathématiques élaborées Documentation Environnements de type « théorème » 4 5 g(x)=x+2 6 \] Gestion de documents longs Ressources 5. Autrement dit, les changements de paragraphes Propriétés des modes mathématiques Symboles Conférence LATEX no 3 Denis Bitouzé Propriété Certains symboles s’obtiennent directement Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Exemple Code source 1 $( ) [ ] | = + - / < > , ; : !$ Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat ()[]| = + − / <>, ; :! Propriétés des modes mathématiques Symboles Conférence LATEX no 3 Denis Bitouzé Propriété La plupart des symboles s’obtiennent via des commandes Macros personnelles Composition des mathématiques Exemple Code source Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 1 2 3 4 5 $ \gamma \Gamma \lambda \Lambda \phi \varphi \Phi \psi \Psi \pi \Pi \zeta \sum \int \infty \cos \max \leq \leqslant \forall \pm \rightarrow \Rightarrow \cup \imath \jmath \{ $ Résultat γΓ λΛφϕΦψΨ πΠζ PR ∞ cos max ≤6 ∀± →⇒ ∪ı{ Propriétés des modes mathématiques Une liste de symboles Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Remarque La plupart des symboles utiles aux mathématiques figurent aux pages 21 à 69 du document The Comprehensive LATEX Symbol List 6 Remarque Un outil Web récent permet de dessiner un symbole et d’obtenir les commandes LATEX produisant des symboles graphiquement voisins de celui dessiné : detexify Documentation Environnements de type « théorème » Gestion de documents longs Ressources 6. Autrement dit: La liste complète des symboles LATEX Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 2 Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Fractions Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Syntaxe \frac{<numérateur>}{<dénominateur>} Remarque Les fractions peuvent être imbriquées Fractions Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Code source 1 \[ 2 \frac{x+1}{x+2} 3 \neq Compositions courantes 4 \frac{x+\frac{1}{2}}{x+\frac{2}{3}} Formules sur plusieurs lignes 5 \] Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat x + 1 x + 12 , x + 2 x + 23 Racines carrées et nes Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Syntaxe \sqrt{<radicande>} Syntaxe \sqrt[n]{<radicande>} Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque « sqrt » pour « square root » Les racines peuvent être imbriquées La taille du signe est adaptée à l’expression passée en argument Racines Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Code source 1 \[ 2 \sqrt[3]{2+\sqrt{\frac{72}{2}}}=2 3 \] Compositions courantes Formules sur plusieurs lignes Résultat Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources s 3 r 2+ 72 =2 2 Indices et exposants Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Syntaxe _<indice> _{<indice>} % si indice composite Syntaxe ^<exposant> ^{<exposant>} % si exposant composite Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque _ = « underscore » = touche 8 du clavier principal ^ = 2 × accent circonflexe Ces commandes peuvent être combinées et/ou imbriquées Indices et exposants Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Code source 1 2 3 4 \[u_{1}+u_{2}+\dots+u_{10}\neq u_1+u_2+\dots+u_10\] \[(u_{1},u_{2},\dots,u_{10})\neq (u_1,u_2,\dots,u_10)\] \[(x_1+x_2)^2=x_1^2+2x_1x_2+x_2^2\] \[(x^2)^3\neq x^{(2^3)}\] Compositions courantes Formules sur plusieurs lignes Résultat Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources u1 + u2 + · · · + u10 , u1 + u2 + · · · + u1 0 (u1 , u2 , . . . , u10 ) , (u1 , u2 , . . . , u1 0) (x1 + x2 )2 = x12 + 2x1 x2 + x22 (x2 )3 , x(2 3 ) Indices et exposants Conférence LATEX no 3 Denis Bitouzé Macros personnelles Remarque L’aspect des indices et/ou exposants peut différer selon le mode mathématique 7 choisi Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 7. en ligne ou hors texte Opérateurs « Log-like » Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Les « fonctions » mathématiques s’obtiennent via les commandes listées à la table no 128, page 49, du document The Comprehensive LATEX Symbol List Les plus courantes sont : Code \cos \sin \tan \ln \log \exp \lim Résultat cos sin tan ln log exp lim Code \max \min \sup \inf \liminf \limsup \ker Résultat max min sup inf lim inf lim sup ker Code \dim \det \hom \arg \arccos \arcsin \arctan Résultat dim det hom arg arccos arcsin arctan Opérateurs « Log-like » : erreur courante Conférence LATEX no 3 Macros personnelles Attention ! Une erreur courante consiste à oublier la contre-oblique devant le nom de la fonction Composition des mathématiques Exemple (ceci n’est pas un cosinus) Denis Bitouzé Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source 1 $cos \frac{\pi}{2} = 0$ Résultat cos π2 = 0 Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Exemple (ceci est un cosinus) Code source 1 $\cos \frac{\pi}{2} = 0$ Résultat cos π2 = 0 Opérateurs « Log-like » (exemple) Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source 1 Une formule en ligne: $\lim_{x\to 0}\sin x=0$. 2 Une formule hors texte: 3 \[ 4 \lim_{x\to 0}\sin x=0 5 \] Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Une formule en ligne : limx→0 sin x = 0. Une formule hors texte : lim sin x = 0 x→0 Opérateurs Sommation et intégration Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Syntaxe (sommation) \sum_{<borne inférieure>}^{<borne supérieure>} Syntaxe (intégration) \int_{<borne inférieure>}^{<borne supérieure>} Opérateurs Sommation et intégration : exemples Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Code source 1 Une formule en ligne: 2 $\sum_{k=0}^{+\infty}2^{-k}=2$. 3 Une formule hors texte: 4 \[\sum_{k=0}^{+\infty}2^{-k}=2\] Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Une formule en ligne : texte : +∞ X k=0 2−k = 2 P+∞ −k k=0 2 = 2. Une formule hors Opérateurs Sommation et intégration : exemples Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Code source 1 Une formule en ligne: 2 $\int_0^{+\infty}2^{-t}dt=\frac{1}{\ln 2}$. 3 Une formule hors texte: 4 \[\int_0^{+\infty}2^{-t}dt=\frac{1}{\ln 2}\] Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Une formule en ligne : hors texte : Z +∞ 1 2−t dt = ln 2 0 R +∞ 0 2−t dt = 1 ln 2 . Une formule Opérateurs Sommation et intégration : bornes tassées en mode en ligne Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Remarque Le placement des bornes en mode en ligne peut paraître tassé Exemple Environnements mathématiques Code source Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 1 $\sum_a^b$ et 2 $\int_a^b dt$, c.-à-d. : 3 \[\sum_a^b \text{ et } 4 \int_a^b dt\] Résultat Pb R b a et a dt, c.-à-d. : b X a Attention ! « It’s not a bug, it’s a feature! » Z b dt et a Bornes (non) tassées en mode en ligne tel que visualisé habituellement Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Cf. page(s) suivante(s). . . 1 Bon (tassé) Bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla blaR bla bla bla bla bla bla bla bla bla bla bla P −k bla bla bla bla bla bla bla +∞ 6= 0+∞ 2−t dt bla bla bla bla bla bla bla bla k=0 2 bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla. 2 Mauvais (non tassé) Bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla blaZbla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla +∞ X k=0 2−k 6= +∞ 0 2−t dt bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla. 1 Formules (non) tassées en mode en ligne Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Attention ! De manière générale, on évitera le style « display » en mode en ligne Ainsi, on évitera par exemple l’emploi de \dfrac{}{} pour les fractions Fractions (non) tassées en mode en ligne tel que visualisé habituellement Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Cf. page(s) suivante(s). . . 1 Bon (tassé) Bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla x = 23 = 2/3 bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla. 2 Mauvais (non tassé) Bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla 2 bla bla bla bla bla bla bla bla bla x = = 2/3 bla bla bla bla bla bla bla bla bla 3 bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla bla. 1 Opérateurs Intégrales multiples Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Code source 1 Si $n=2$ alors 2 \[ 3 \idotsint_T f(x_1,\dots,x_n)dx_1\dots dx_n Compositions courantes 4 =\iint_T f(x_1,x_2) dx_1 dx_2 Formules sur plusieurs lignes 5 \] Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Si n = 2 alors ( " f (x1 , . . . , xn )dx1 . . . dxn = f (x1 , x2 )dx1 dx2 T T Opérateurs Intégrales sur des chemins fermés Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source 1 L’étude du deuxième principe de la 2 thermodynamique mène à 3 \[ 4 \oint\frac{dQ}{T}=0 5 \] Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat L’étude du deuxième principe de la thermodynamique mène à I dQ =0 T Vecteurs : commande de base Conférence LATEX no 3 On peut créer des vecteurs au moyen de la commande \vec Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Exemple Code source 1 $\vec{u}$, $\vec{\imath}$, $\vec{\jmath}$ Compositions courantes Formules sur plusieurs lignes Résultat Raffinements Mathématiques élaborées u ~ , ~ı, ~ Documentation Environnements de type « théorème » Gestion de documents longs Ressources Attention ! Le package esvect fournit de bien plus belles flèches de vecteurs par le biais de la commande \vv Vecteurs : flèches de meilleures qualité Package esvect Conférence LATEX no 3 Exemple Denis Bitouzé Code source Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes \usepackage{esvect} 1 $\vec{u}=\vec{AB}$ 2 3 $\vv{u}=\vv{AB}$ Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat ~ u ~ = AB #» #» u = AB Lettres « black-board » Package amsfonts Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Syntaxe \mathbb{<caractère(s) latin(s) majuscule(s)>} Exemple Code source 1 Soit $m\in\mathbb{N}$, $n\in\mathbb{Z}$, 2 $q\in\mathbb{Q}$, $x\in\mathbb{R}$ et Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 3 $z\in\mathbb{C}$. Considérons 4 par ailleurs un corps $\mathbb{K}$. Résultat Soit m ∈ N, n ∈ Z, q ∈ Q, x ∈ R et z ∈ C. Considérons par ailleurs un corps K. Lettres calligraphiques Package mathrsfs Conférence LATEX no 3 Syntaxe Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources \usepackage{mathrsfs} \mathscr{<caractère(s) latin(s) majuscule(s)>} Lettres calligraphiques Package mathrsfs : exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Code source \usepackage{mathrsfs} 1 $\mathscr{ABCDEFGHIJKLM}$\par 2 $\mathscr{NOPQRSTUVWXYZ}$ Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat A BC DE F G H I J K L M N OPQRS T U V W X Y Z Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 2 Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Formules sur plusieurs lignes Avec alignement : exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source 1 \begin{align} (a+b)^2 & = (a+b)(a+b) \\ & = a^2+ab+ba+b^2 \\ 4 & = a^2+2ab+b^2 5 \end{align} 2 3 Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat (a + b)2 = (a + b)(a + b) 2 = a + ab + ba + b = a2 + 2ab + b2 (3) 2 (4) (5) Mode mathématique hors texte Environnement eqnarray à proscrire ! Conférence LATEX no 3 Macros personnelles Attention ! Le recours à l’environnement eqnarray pour des formules sur plusieurs lignes est à proscrire Composition des mathématiques Cf. le « package » l2tabu-french pour plus de détails Denis Bitouzé Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Formules sur plusieurs lignes Avec alignement : syntaxe Conférence LATEX no 3 Syntaxe Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées \begin{align} <membre de gauche> & <symbole> <1er membre de droite>\\ & <symbole> <2e membre de droite>\\ ... & <symbole> <avant-dernier membre de droite>\\ & <symbole> <dernier membre de droite> \end{align} Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque La version étoilée align* de cet environnement ne numérote pas les « équations » Formules sur plusieurs lignes Avec alignement : exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source 1 \begin{align*} x^2-1=0 & \iff (x+1)(x-1)=0 \\ & \iff x+1=0 \text{ ou } x-1=0 \\ 4 & \iff x=-1 \text{ ou } x=1 5 \end{align*} 2 3 Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat x2 − 1 = 0 ⇐⇒ (x + 1)(x − 1) = 0 ⇐⇒ x + 1 = 0 ou x − 1 = 0 ⇐⇒ x = −1 ou x = 1 Formules sur plusieurs lignes Environnement align déjà en mode mathématique ! Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Attention ! L’environnement align passe en mode mathématique donc aucun mode mathématique 8 ne doit : 1 le contenir 2 s’y trouver Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Syntaxe (incorrecte !) Syntaxe (incorrecte !) \[ \begin{align} \[ ... \] \end{align} Raffinements Mathématiques élaborées \begin{align} ... \end{align} Documentation Environnements de type « théorème » \] Gestion de documents longs Ressources 8. Par exemple \[...\] Formules sur plusieurs lignes Distinction de cas : exemple Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Code source 1 2 3 4 5 6 7 \[ |a|= \begin{cases} a & \text{ si } a \geqslant 0\\ -a & \text{ si } a < 0 \end{cases} \] Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat a |a| = −a si a > 0 si a < 0 Formules sur plusieurs lignes Distinction de cas : syntaxe Conférence LATEX no 3 Syntaxe Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources \[ <membre de gauche> <symbole> \begin{cases} <1er membre de droite> & <1er cas>\\ <2e membre de droite> & <2e cas>\\ <3e membre de droite> & <3e cas>\\ ... <av.-dernier membre de droite> & <av.-dernier cas>\\ <dernier membre de droite> & <dernier cas> \end{cases} \] Formules sur plusieurs ligne Sans alignement Conférence LATEX no 3 Code source Denis Bitouzé \usepackage{mathtools} \usepackage{amssymb} Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements 1 \begin{multline} 2 3 4 Mathématiques élaborées 5 Documentation 6 Environnements de type « théorème » Gestion de documents longs Ressources 7 8 (a+b)^{20}= (a+b)\times(a+b)\times(a+b)\times(a+b)\\ \times(a+b)\times(a+b)\times(a+b)\times(a+b)\\ \times(a+b)\times(a+b)\times(a+b)\times(a+b)\\ \times(a+b)\times(a+b)\times(a+b)\times(a+b)\\ \times(a+b)\times(a+b)\times(a+b)\times(a+b) \end{multline} Cf. page(s) suivante(s). . . (a + b)20 = (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) × (a + b) (1) 1 Formules sur plusieurs lignes Sans alignement : syntaxe Conférence LATEX no 3 Syntaxe Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements \begin{multline} <1re ligne>\\ <2e ligne>\\ ... <avant-dernière ligne>\\ <dernière ligne> \end{multline} Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque La version étoilée multline* de cet environnement ne numérote pas l’équation Formules sur plusieurs lignes Environnement multline déjà en mode mathématique ! Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Attention ! L’environnement multline passe en mode mathématique donc aucun mode mathématique 9 ne doit : 1 le contenir 2 s’y trouver Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Syntaxe (incorrecte !) Syntaxe (incorrecte !) \[ \begin{multline} \[ ... \] \end{multline} Raffinements Mathématiques élaborées \begin{multline} ... \end{multline} Documentation Environnements de type « théorème » \] Gestion de documents longs Ressources 9. Par exemple \[...\] Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 2 Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation « Accents » Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Propriété Les « accents » ne peuvent pas être saisis au clavier On les obtient par des commandes Exemple Commande \hat{a} \check{a} \breve{a} \acute{a} \grave{a} Résultat aˆ aˇ a˘ a´ a` Commande \tilde{a} \bar{a} \vec{a} \dot{a} \ddot{a} Résultat a˜ a¯ ~ a a˙ a¨ Espaces non standards Parfois nécessaires Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque En mode mathématique, il est parfois nécessaire d’insérer des espaces non standards Exemple Comparer les expressions suivantes : tan x = tan y ⇐⇒ x ≡ y[π] tan x = tan y ⇐⇒ x ≡ y [π] Espaces non standards Comment en obtenir ? Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Propriété Les espaces non standards s’obtiennent via des commandes Commande \qquad \quad \ \; \: \, \! Espace obtenue 2 cadratins 1 cadratin inter-mot épaisse moyenne fine fine négative Espaces non standards Comment en obtenir ? Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Code source \frac{x}{y}\qquad z \frac{x}{y}\quad z \frac{x}{y}\ z \frac{x}{y}\;z \frac{x}{y}\:z \frac{x}{y}\,z \frac{x}{y}z \frac{x}{y}\!z Résultat x z y x z y x y z x y z x y z x yz x yz x yz Polices du mode texte Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque Les symboles mathématiques constitués de caractères latins peuvent avoir les mêmes styles que ceux du mode texte Syntaxe \mathbf{<caractère(s)>} \mathit{<caractère(s)>} \mathsf{<caractère(s)>} \mathtt{<caractère(s)>} \mathrm{<caractère(s)>} % % % % % gras italique sans sérif chasse fixe romain (droit) où le ou les <caractères> ne peuvent être que latins 10 10. Il ne doit en particulier pas contenir de commandes de symboles mathématiques Lettres en gras ou « black-board » ? Conférence LATEX no 3 Denis Bitouzé Pour désigner les « grands » ensembles, certains préfèrent les lettres en gras aux lettres « black-board » : Macros personnelles Exemple Composition des mathématiques Environnements mathématiques Code source 1 Soit $m\in\mathbf{Z}$ et $n\in\mathbb{Z}$. Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Soit m ∈ Z et n ∈ Z. Différentielles et intégrales avec « d droit » Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Pour désigner l’opérateur de différentiation (dans les différentielles et les intégrales), certains préfèrent un « d droit » à un « d italique » : Exemple Code source 1 Soit $df=\mathrm{d}f$ la différentielle de $f$. 2 \[I=\int_0^{+\infty}2^{-t}dt 3 =\int_0^{+\infty}2^{-t}\mathrm{d}t\] Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Soit df = df la différentielle de f . Z +∞ Z +∞ −t I= 2 dt = 2−t dt 0 0 Symboles mathématiques en romain et texte Conférence LATEX no 3 Denis Bitouzé Attention ! Dans une formule de mathématique, pour composer : Macros personnelles Composition des mathématiques Environnements mathématiques un <symbole> en romain 11 du <texte> ordinaire 12 \mathrm{<symbole>} \text{<symbole>} 13 \text{<texte>} \mathrm{<texte>} 14 Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 11. 12. 13. 14. Et pas en italique, comme par défaut en mode mathématique Non « mathématique » \text ne doit servir qu’à composer du texte ordinaire \mathrm ne doit servir qu’à composer des symboles en romain Symboles mathématiques en romain et texte Texte en indice ou en exposant : exemple à ne pas suivre Conférence LATEX no 3 Denis Bitouzé Attention ! Ce qui est suit est mal ! Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Exemple Code source 1 Les forces extérieures $\vv{F}_{ext}$ Formules sur plusieurs lignes 2 vérifient: Raffinements 3 \[\sum\vv{F}_{ext}=\vv{0}\] Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat #» Les forces extérieures F ext vérifient : X #» #» F ext = 0 Symboles mathématiques en romain et texte Texte en indice ou en exposant : exemple à ne pas suivre (bis) Conférence LATEX no 3 Denis Bitouzé Attention ! Ce qui est suit est mal (bis) ! Macros personnelles Composition des mathématiques Environnements mathématiques Exemple Code source Compositions courantes 1 Les forces extérieures $\vv{F}_{extér}$ Formules sur plusieurs lignes 2 vérifient: Raffinements 3 \[\sum\vv{F}_{extér}=\vv{0}\] Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat #» Les forces extérieures F extr vérifient : X #» #» F extr = 0 Symboles mathématiques en romain et texte Texte en indice ou en exposant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Attention ! Lorsque les indices et exposants ont un rôle descriptif 15 , ils doivent être être saisis en tant que texte, donc au moyen de la commande \text Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 15. Notamment lorsque ce sont des abréviations de substantifs Symboles mathématiques en romain et texte Texte en indice ou en exposant : exemple à suivre (mieux) Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Code source 1 Les forces extérieures $\vv{F}_{\text{extér}}$ 2 vérifient: 3 \[\sum\vv{F}_{\text{extér}}=\vv{0}\] Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat #» Les forces extérieures F extér vérifient : X #» #» F extér = 0 Maths et macros personnelles Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque On peut utiliser des macros personnelles en mode mathématique ! Symboles mathématiques en romain et texte Texte en indice ou en exposant : exemple à suivre (bien) Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Code source \newcommand{\Fext}{\vv{F}_{\text{extér}}} 1 Les forces extérieures $\Fext$ vérifient: 2 \[\sum\Fext=\vv{0}\] Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat #» Les forces extérieures F extér vérifient : X #» #» F extér = 0 Différentielles et intégrales avec « d droit » Là aussi, c’est mieux avec une macro ! Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Code source \newcommand{\dd}{\mathrm{d}} 1 Soit $\dd f$ la différentielle de $f$ et 2 \[I=\int_0^{+\infty}2^{-t}\dd t\] Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat Soit df la différentielle de f et Z +∞ I= 2−t dt 0 Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 2 Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Mathématiques élaborées Package mathtools ) amsmath Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Remarque Le package mathtools contient 16 le package amsmath dont il est donc conseillé de consulter aussi la documentation Le package amsmath permet entre autre : la création de nouveaux noms d’opérateurs (par exemple Arccos) toutes sortes d’arrangements d’équations (alignement, multi-lignage, etc.) la composition aisée d’objets de type matrice le multi-lignage des indices de sommation concernant les nos des équations : leur ajustement vertical, leur personnalisation, leur sous-numérotation 16. Plus exactement « charge » Mathématiques encore plus élaborées Package mathtools Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Attention ! L’étude de ce package en tant que tel est à passer en 1re lecture Il améliore amsmath et permet, entre autres, un contrôle typographique fin un raffinement des objets de type matrice Pour plus de précisions, on se reportera à sa documentation The mathtools package Mathématiques encore plus élaborées Package mathtools : exemple de fonctionnalités Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source \usepackage{mathtools} 1 \begin{align} 2 X & =\sum_{1\leq i\leq j\leq n}X_{ij} \\ 3 X & =\sum_{\mathclap{1\leq i\leq j\leq n}}X_{ij} 4 \end{align} Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat X= X Xij (6) 1≤i≤j≤n X= X Xij 1≤i≤j≤n (7) Mathématiques encore plus élaborées Package mathtools : exemple de fonctionnalités Conférence LATEX no 3 Exemple Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Code source \usepackage{mathtools} 1 \begin{align} 2 \begin{pmatrix} -1 & 2 \\3 & -4\end{pmatrix} & \\ 3 \begin{pmatrix*}[r]-1 & 2 \\3 & -4\end{pmatrix*} & 4 \end{align} Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Résultat −1 2 3 −4 ! −1 2 3 −4 ! (8) (9) Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources 2 Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Documentation extrêmement utile ! Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources Le document Math mode de Herbert Voß recense (et fournit le code d’)un très grand nombre de mises en page de formules de mathématiques Packages d’intérêt Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements mathématiques Compositions courantes Formules sur plusieurs lignes Raffinements Mathématiques élaborées Documentation Environnements de type « théorème » Gestion de documents longs Ressources tdsfrmath : destiné notamment aux enseignants français/francophones de mathématiques tkz-linknodes : pour expliquer les étapes d’un calcul ou d’un raisonnement xlop : pour réaliser automatiquement des calculs arithmétiques et afficher les résultats sous forme posée ou en ligne mlist : assure une très bonne séparation fond/forme, indiqué pour composer des vecteurs et des matrices cool : forme également très aboutie de séparation fond/forme dans un cadre général de composition des mathématiques Plan Conférence LATEX no 3 1 Macros personnelles Macros personnelles 2 Composition des mathématiques Composition des mathématiques 3 Environnements de type « théorème » Environnements de type « théorème » 4 Gestion de documents longs 5 Ressources Denis Bitouzé Gestion de documents longs Ressources Nouveaux « théorèmes » Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque On peut créer ses propres environnements de « théorèmes » Nouveaux « théorèmes » En mathématiques, bien sûr... Conférence LATEX no 3 Code source Denis Bitouzé \newtheorem{theo}{Théorème} Macros personnelles Composition des mathématiques 1 \begin{theo} Environnements de type « théorème » 3 \end{theo} Gestion de documents longs 5 Ressources 2 Toute fonction dérivable est continue. 4 \begin{theo}[de Pythagore] Soit $ABC$ un triangle rectangle en $A$. Alors \[ 7 AB^2+AC^2=BC^2 8 \] 9 \end{theo} 6 Cf. page(s) suivante(s). . . Théorème 1 Toute fonction dérivable est continue. Théorème 2 (de Pythagore) Soit ABC un triangle rectangle en A. Alors AB 2 + AC 2 = BC 2 1 Nouveaux « théorèmes » Mais pas seulement en mathématiques ! Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Attention ! Ces environnements peuvent servir bien au-delà des seules mathématiques Nouveaux « théorèmes » Mais pas seulement en mathématiques ! Conférence LATEX no 3 Code source Denis Bitouzé \newtheorem{exo}{Exercice} Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources 1 2 3 4 5 6 7 8 9 \begin{exo} Prouver que \LaTeX{} est libre. \end{exo} \begin{exo}[facile!] Établir que \LaTeX{} est gratuit. \end{exo} \begin{exo} Démontrer que \LaTeX{} est robuste. \end{exo} Cf. page(s) suivante(s). . . Exercice 1 Prouver que LATEX est libre. Exercice 2 (facile !) Établir que LATEX est gratuit. Exercice 3 Démontrer que LATEX est robuste. 1 Syntaxe Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Syntaxe \newtheorem{<nom>}{<titre>} où <nom> : nom de l’environnement, au choix 17 de l’utilisateur <titre> : titre 18 récurrent, affiché à chaque occurrence de l’environnement <nom> Ressources 17. Doit respecter les standards des noms LATEX et ne pas déjà exister 18. Par exemple « Théorème », « Lemme », « Exercice », « Article », « Définition », etc. Références croisées possibles Conférence LATEX no 3 Denis Bitouzé Macros personnelles Remarque Les « théorèmes » peuvent faire l’objet de références croisées 19 Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources 19. Comme tout objet numéroté par LATEX Nouveaux « théorèmes » Avec références croisées Conférence LATEX no 3 Code source Denis Bitouzé Macros personnelles 1 2 3 Environnements de type 4 « théorème » 5 Gestion de 6 documents longs 7 Ressources 8 9 10 11 Composition des mathématiques \newtheorem{theo}{Théorème} \begin{theo}\label{deri-cont} Toute fonction dérivable est continue. \end{theo} \begin{theo}[de Pythagore]\label{pytha} Soit $ABC$ un triangle rectangle en $A$. Alors \[ AB^2+AC^2=BC^2 \] \end{theo} Le théorème~\ref{deri-cont} est simple à prouver mais le théorème~\ref{pytha} n’est pas immédiat! Cf. page(s) suivante(s). . . Théorème 1 Toute fonction dérivable est continue. Théorème 2 (de Pythagore) Soit ABC un triangle rectangle en A. Alors AB 2 + AC 2 = BC 2 Le théorème 1 est simple à prouver mais le théorème 2 n’est pas immédiat ! 1 Numérotation Séquentielle par défaut Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque Par défaut, la numérotation est séquentielle du début à la fin du document Ainsi, la numérotation des « théorèmes » est par défaut indépendante de celle des sections Numérotation Séquentielle par défaut : exemple Conférence LATEX no 3 Code source Denis Bitouzé \newtheorem{exo}{Exercice} Macros personnelles 1 2 3 4 5 6 Environnements 7 de type 8 « théorème » 9 10 Gestion de 11 documents 12 longs 13 14 Ressources 15 16 17 18 19 Composition des mathématiques \section{Des exercices} \begin{exo}\label{libre} Prouver que \LaTeX{} est libre. \end{exo} \begin{exo}[facile!]\label{gratuit} Démontrer que \LaTeX{} est gratuit. \end{exo} \section{Des exercices supplémentaires} \begin{exo}\label{fond-forme} Établir que \LaTeX{} sépare bien fond et forme. \end{exo} \begin{exo}\label{impecc} Montrer que \LaTeX{} produit des documents impeccablement présentés. \end{exo} \section{Conclusion} \begin{exo} Exploiter les exercices~\ref{libre}, \ref{gratuit}, \ref{fond-forme} et~\ref{impecc} pour parvenir à l’unique conclusion possible: \LaTeX{}, c’est bien! \end{exo} Cf. page(s) suivante(s). . . 1 Des exercices Exercice 1 Prouver que LATEX est libre. Exercice 2 (facile !) Démontrer que LATEX est gratuit. 2 Des exercices supplémentaires Exercice 3 Établir que LATEX sépare bien fond et forme. Exercice 4 Montrer que LATEX produit des documents impeccablement présentés. 3 Conclusion Exercice 5 Exploiter les exercices 1, 2, 3 et 4 pour parvenir à l’unique conclusion possible : LATEX, c’est bien ! 1 Numérotation Dépendant de la structure Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque On peut faire dépendre la numérotation des objets de structure Numérotation Dépendant de la structure : exemple Conférence LATEX no 3 Code source Denis Bitouzé \newtheorem{exo}{Exercice}[section] Macros personnelles 1 2 3 4 5 6 Environnements 7 de type 8 « théorème » 9 10 Gestion de 11 documents 12 longs 13 14 Ressources 15 16 17 18 19 Composition des mathématiques \section{Des exercices} \begin{exo}\label{libre} Prouver que \LaTeX{} est libre. \end{exo} \begin{exo}[facile!]\label{gratuit} Démontrer que \LaTeX{} est gratuit. \end{exo} \section{Des exercices supplémentaires} \begin{exo}\label{fond-forme} Établir que \LaTeX{} sépare bien fond et forme. \end{exo} \begin{exo}\label{impecc} Montrer que \LaTeX{} produit des documents impeccablement présentés. \end{exo} \section{Conclusion} \begin{exo} Exploiter les exercices~\ref{libre}, \ref{gratuit}, \ref{fond-forme} et~\ref{impecc} pour parvenir à l’unique conclusion possible: \LaTeX{}, c’est bien! \end{exo} Cf. page(s) suivante(s). . . 1 Des exercices Exercice 1.1 Prouver que LATEX est libre. Exercice 1.2 (facile !) Démontrer que LATEX est gratuit. 2 Des exercices supplémentaires Exercice 2.1 Établir que LATEX sépare bien fond et forme. Exercice 2.2 Montrer que LATEX produit des documents impeccablement présentés. 3 Conclusion Exercice 3.1 Exploiter les exercices 1.1, 1.2, 2.1 et 2.2 pour parvenir à l’unique conclusion possible : LATEX, c’est bien ! 1 Numérotation Dépendant de la structure : syntaxe Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Syntaxe \newtheorem{<nom>}{<titre>}[<compteur>] où <compteur> est (souvent) le nom d’une commande de sectionnement (sans contre-oblique) Mise en forme Modifiable ? Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque Pour modifier la mise en forme des « théorèmes », il faut recourir à des packages : amsthm ou ntheorem (avec l’aide éventuelle de thmtools) Personnalisation de la mise en forme Simple : exemple Conférence LATEX no 3 Code source Denis Bitouzé \usepackage{ntheorem,xcolor} \theoremstyle{plain} \theorembodyfont{\normalfont} \newtheorem{exo}{Exercice} \theoremheaderfont{\color{blue}} \newtheorem{defi}{Définition} Macros personnelles Composition des mathématiques Environnements de type 1 \begin{defi} « théorème » Gestion de documents longs Ressources 2 3 4 5 6 7 8 9 10 \LaTeX{} est un puissant système de préparation et de composition de documents. \end{defi} \begin{exo}[facile!] Établir que \LaTeX{} est gratuit. \end{exo} \begin{exo} Démontrer que \LaTeX{} est robuste. \end{exo} Cf. page(s) suivante(s). . . Définition 1 LATEX est un puissant système de préparation et de composition de documents. Exercice 1 (facile !) Établir que LATEX est gratuit. Exercice 2 Démontrer que LATEX est robuste. 1 Personnalisation de la mise en forme Évoluée : exemple (exagéré) Conférence LATEX no 3 Code source Denis Bitouzé \usepackage[thmmarks]{ntheorem} \usepackage{pifont} \theoremstyle{plain} \theoremheaderfont{\scshape} \theorembodyfont{\normalfont} \theoremseparator{~--} \theoremprework{\dingline{166}} \theorempostwork{\hrule\medbreak} \theoremnumbering{Roman} \theoremsymbol{\ding{169}} \newtheorem{art}{Article} Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources 1 2 3 4 5 6 \begin{art}[dit premier] Les hommes naissent et demeurent libres et égaux en droits\dots{} \end{art} \begin{art} Le but de toute association politique\dots{} \end{art} Cf. page(s) suivante(s). . . ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Article I (dit premier) – Les hommes naissent et demeurent libres et égaux en droits. . . © ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ Article II – Le but de toute association politique. . . 1 © Pour aller plus loin Mise en forme et autres fonctionnalités Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Remarque Les packages amsthm, ntheorem, thmtools et tcolorbox fournissent différents styles de « théorèmes » prédéfinis ou à définir soi-même Ainsi, certains (ou tous) types de « théorèmes » peuvent, par exemple : être suivis d’un changement de ligne après le titre avoir le numéro avant plutôt qu’après le titre, éventuellement dans la marge être non numérotés Les packages offrant le plus de possibilités sont : thmtools pour les fonctionnalités tcolorbox pour la mise en forme Pour aller plus loin Création de séries d’exercices ou d’examens Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Ressources Plusieurs packages sont spécifiquement dédiés à la création de séries d’exercices ou d’examens, notamment : exercise exsheets probsoln chemexec (orienté chimie) Plan Conférence LATEX no 3 1 Macros personnelles Macros personnelles 2 Composition des mathématiques Composition des mathématiques 3 Environnements de type « théorème » Environnements de type « théorème » 4 Gestion de documents longs 5 Ressources Denis Bitouzé Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Longs documents Gestion pas facile en 1re approche Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Remarque En cas de longs documents : le temps de compilation peut devenir trop important il peut devenir difficile de se repérer dans le fichier source Longs documents Gestion facile si scindés Conférence LATEX no 3 Le fichier source peut être scindé en plusieurs fichiers : Denis Bitouzé un « maître » : 1 Composition des mathématiques 2 Environnements de type « théorème » 3 Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources complet, c’est-à-dire contenant : \documentclass Macros personnelles l’environnement document un préambule contenant des commandes d’inclusion/importation des fichiers esclaves 20 qui est le seul à être compilé Code source (fichier maître (à compiler)) 1 2 3 4 5 6 \documentclass[<option(s)>]{<classe>} <préambule> <commandes d’importation des fichiers esclaves> \begin{document} <commandes d’inclusion/importation des fichiers esclaves> \end{document} 20. Et presque rien d’autre Longs documents Gestion facile si scindés Conférence LATEX no 3 Denis Bitouzé Le fichier source peut être scindé en plusieurs fichiers : des « esclaves » : 1 Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves 2 3 ne contenant ni \documentclass ni environnement document ni préambule constitués d’une unité logique 21 qui ne sont pas compilés Code source (fichier esclave (exemple no 1)) 1 \chapter{<titre>} 2 <contenu (long) du chapitre> Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Code source (fichier esclave (exemple no 2)) 1 <code (long) d’un tableau> 21. Contenu d’un chapitre, d’un tableau (au code touffu), etc. Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources 4 Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Inclusion de fichiers esclaves Conférence LATEX no 3 Pour inclure un <fichier .tex>, on emploiera la commande Denis Bitouzé Syntaxe (de l’inclusion d’un fichier) Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources \include{<fichier .tex>} Remarque Le <fichier .tex> est à spécifier sans son extension Inclusion de fichiers esclaves Usage recommandé pour les chapitres Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Attention ! La commande \include commence une nouvelle page donc s’applique à des fichiers dont le contenu aurait de toute façon débuté une nouvelle page Remarque On utilise donc en général \include pour des fichiers contenant chacun un chapitre (dont une commande \chapter) Inclusion de fichiers esclaves Exemple de fichier (document.tex) non scindé Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Code source (document.tex) \tableofcontents \chapter{Préface} [...] \chapter{Introduction} [...] \chapter{Chapitre1} [...] \chapter{Chapitre2} [...] \chapter{Chapitre3} [...] \chapter{Conclusion} [...] \chapter{Annexes} [...] \chapter{Postface} [...] Inclusion de fichiers esclaves Exemple de fichier (document.tex) scindé Conférence LATEX no 3 Denis Bitouzé Macros personnelles Le fichier document.tex aura intérêt à être scindé en plusieurs fichiers 22 23 : <dossier>/ Composition des mathématiques annexes.tex Environnements de type « théorème » chapitre2.tex Gestion de documents longs Inclusion de fichiers esclaves chapitre1.tex chapitre3.tex conclusion.tex document.tex Importation de fichiers esclaves introduction.tex Emplacements des fichiers esclaves postface.tex Ressources preface.tex 22. Tous situés dans le même <dossier> pour commencer 23. Ici, document.tex est le fichier maître Inclusion de fichiers esclaves Exemple de structure de document maître (ici document.tex) Conférence LATEX no 3 Denis Bitouzé Macros personnelles 1 2 3 Environnements 4 de type « théorème » 5 6 Gestion de documents 7 longs 8 Inclusion de fichiers esclaves 9 Importation de fichiers esclaves 10 Emplacements des fichiers esclaves 11 Ressources 12 13 Composition des mathématiques Code source (toutes classes) \documentclass[<option(s)>]{<classe>} \tableofcontents \include{preface} \include{introduction} \include{chapitre1} \include{chapitre2} \include{chapitre3} \include{conclusion} \appendix % Début des annexes \include{annexes} \include{postface} \appendix peut indiquer le début de la partie « annexe » Inclusion de fichiers esclaves Exemple de structure de document maître (ici document.tex) Conférence LATEX no 3 Denis Bitouzé Macros personnelles 1 2 3 Environnements 4 de type « théorème » 5 6 Gestion de documents 7 longs 8 Inclusion de fichiers esclaves 9 Importation de fichiers esclaves 10 Emplacements des fichiers esclaves 11 Ressources 12 13 Composition des mathématiques Code source (classe book seulement) \documentclass[<option(s)>]{book} \frontmatter % Début de la partie liminaire \tableofcontents \include{preface} \mainmatter % Début de la partie principale \include{introduction} \include{chapitre1} \include{chapitre2} \include{chapitre3} \include{conclusion} \appendix % Début des annexes \include{annexes} \backmatter % Début de la partie finale \include{postface} Inclusion de fichiers esclaves Compilation de certains fichiers esclaves seulement Conférence LATEX no 3 Macros personnelles Attention ! Pour que seuls certains fichiers esclaves soient compilés, on n’utilisera pas les commentaires Composition des mathématiques On emploiera la commande Denis Bitouzé Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Syntaxe \includeonly{<liste de fichiers>} où, dans la <liste de fichiers> esclaves souhaités, les noms de fichiers sont séparés par des virgules Remarque \includeonly peut être employée soit en préambule, soit même avant \documentclass Inclusion de fichiers esclaves Compilation de certains fichiers esclaves seulement : exemple Conférence LATEX no 3 Ici, seuls chapitre3.tex et annexes.tex sont compilés : Denis Bitouzé Code source Macros personnelles \includeonly{chapitre3,annexes} \documentclass[<option(s)>]{<classe>} Composition des mathématiques Environnements de type « théorème » 1 \tableofcontents Gestion de documents longs 3 \include{introduction} Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources 2 \include{preface} 4 \include{chapitre1} 5 \include{chapitre2} 6 \include{chapitre3} 7 \include{conclusion} 8 \appendix 9 \include{annexes} 10 \include{postface} Inclusion de fichiers esclaves Avantages et « inconvénients » de la méthode \include Conférence LATEX no 3 Denis Bitouzé Avantages : Macros personnelles 1 2 Composition des mathématiques entrées de la table des matières numéros de pages références croisées etc. Environnements de type « théorème » Gestion de documents longs il est simple d’inclure/exclure des fichiers esclaves toutes les références de tous les fichiers esclaves 24 sont à jour : Inconvénients : 1 2 Inclusion de fichiers esclaves commence une nouvelle page ne peut pas être emboîtée Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources 24. Y compris ceux ne figurant pas en argument de la commande \includeonly Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources 4 Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Importation de fichiers esclaves Conférence LATEX no 3 On peut importer un fichier .tex grâce à la commande Denis Bitouzé Syntaxe (de l’importation d’un fichier) Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources \input{<fichier .tex>} Remarque Le <fichier .tex> est à spécifier sans son extension Remarque L’importation de fichiers esclaves au moyen de \input est à voir comme un « copié-collé » Importation de fichiers esclaves Avantages et « inconvénients » de la méthode Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Avantages : ne commence pas une nouvelle page peut être emboîtée Inconvénient : n’assure pas le maintien à jour des références Importation de fichiers esclaves Usages Conférence LATEX no 3 La commande \input peut être utilisée pour importer : Denis Bitouzé un code source touffu 25 qui « romprait » le flot de texte Macros personnelles un ensemble de commandes de configurations 26 Composition des mathématiques un ensemble de macros personnelles 27 etc. Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources 25. De tableau, de graphique, etc. 26. De préférence en préambule 27. De préférence en préambule Inclusion et importation Coexistence possible (et même souhaitée) Conférence LATEX no 3 Denis Bitouzé Des commandes d’inclusion et d’importation peuvent coexister : Macros personnelles Code source (contenu du fichier maître) Composition des mathématiques Environnements de type « théorème » Gestion de documents longs \includeonly{chapitre3,annexes} \input{macros-personnelles} 1 ... 2 \include{chapitre3} 3 ... Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources Code source (contenu de chapitre3.tex) 1 ... 2 \input{tableau} 3 ... Ce que nous détaillons maintenant Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources 4 Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Emplacements des fichiers esclaves Exemple d’organisation des fichiers (meilleure) Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Le fichier document.tex aura intérêt à être scindé en plusieurs fichiers mais probablement pas tous dans le même <dossier>, certains dans un ou plusieurs sous-<dossier>(s) <dossier>/ chapitres/ annexes.tex chapitre1.tex chapitre2.tex chapitre3.tex Importation de fichiers esclaves conclusion.tex Emplacements des fichiers esclaves introduction.tex Ressources postface.tex preface.tex document.tex Emplacements des fichiers esclaves Exemple de structure de document maître Conférence LATEX no 3 Le fichier maître document.tex peut alors contenir : Denis Bitouzé Code source Macros personnelles \includeonly{chapitres/chapitre3,chapitres/annexes} \documentclass[<option(s)>]{<classe>} Composition des mathématiques 1 2 3 4 5 6 7 8 9 10 Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources \tableofcontents \include{chapitres/preface} \include{chapitres/introduction} \include{chapitres/chapitre1} \include{chapitres/chapitre2} \include{chapitres/chapitre3} \include{chapitres/conclusion} \appendix \include{chapitres/annexes} \include{chapitres/postface} Emplacements des fichiers Répertoire parent : parfois nécessaire Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves <dossier>/ chapitres/ <fichiers> chapitre1.tex <fichiers> images/ <fichiers> tiger.pdf <fichiers> document.tex Ressources Si l’image tiger.pdf doit être incluse (\includegraphics) dans chapitre1.tex, comment spécifier son chemin (relatif) ? Emplacements des fichiers Répertoire parent : syntaxe Conférence LATEX no 3 Le répertoire parent est noté 28 Denis Bitouzé Syntaxe Macros personnelles .. Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources 28. Ceci n’est pas propre à LATEX Emplacements des fichiers Répertoire parent : exemple Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources <dossier>/ chapitres/ Code source (document.tex) <fichiers> 1 ... chapitre1.tex 2 \include{chapitres/chapitre1} 3 ... <fichiers> images/ <fichiers> tiger.pdf <fichiers> document.tex Code source (chapitre1.tex) 1 ... 2 \includegraphics{../images/tiger} 3 ... Pour aller plus loin Conférence LATEX no 3 Denis Bitouzé Macros personnelles Composition des mathématiques Environnements de type « théorème » Gestion de documents longs Inclusion de fichiers esclaves Importation de fichiers esclaves Emplacements des fichiers esclaves Ressources On pourra recourir aux packages import ou chapterfolder Plan Conférence LATEX no 3 1 Macros personnelles Macros personnelles 2 Composition des mathématiques Composition des mathématiques 3 Environnements de type « théorème » Environnements de type « théorème » 4 Gestion de documents longs 5 Ressources Denis Bitouzé Gestion de documents longs Ressources Bibliographie et Webographie LATEX Conférence LATEX no 3 Macros personnelles Remarque Il existe de très nombreuses documentations, en particulier sur Internet Composition des mathématiques Cf. par exemple Bibliographie et Webographie LATEX Denis Bitouzé Environnements de type « théorème » Gestion de documents longs Ressources
© Copyright 2024