summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-02 14:41:15 +0100
committerDavid A. Madore <david+git@madore.org>2017-11-02 14:41:15 +0100
commitac176f1da2ec298131d18b451e262e0cbeb1ff3a (patch)
tree0259f4f897a97823c410e425d80ee4632deb6948
parentf1a6c7ecf93de4c987c4d7f43601d99026ee9e5f (diff)
downloadinf105-ac176f1da2ec298131d18b451e262e0cbeb1ff3a.tar.gz
inf105-ac176f1da2ec298131d18b451e262e0cbeb1ff3a.tar.bz2
inf105-ac176f1da2ec298131d18b451e262e0cbeb1ff3a.zip
Clarify what \footnotesize means.
-rw-r--r--notes-inf105.tex5
1 files changed, 5 insertions, 0 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index 1f21b04..a236c8b 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -171,6 +171,11 @@ l'ensemble $\{0,1,2,3\ldots\}$ des entiers naturels.
Le symbole \qedsymbol{} marque la fin d'une démonstration.
+Les passages en petits caractères (ainsi que les notes en bas de page)
+sont destinés à apporter des éclaircissements, des précisions ou des
+compléments mais peuvent être ignorés sans nuire à la compréhension
+globale du texte.
+
\section{Alphabets, mots et langages ; langages rationnels}\label{section-languages-and-rational-languages}
\subsection{Introduction, alphabets, mots et longueur}\label{subsection-introduction-and-words}