Comment écrire les symboles d'ensembles ?

Un peu d'histoire (T. Bouche) : au temps jadis, dans les livres, les symboles d'ensemble étaient imprimés en gras pour qu'on les voie bien. Problème, comment, lorsque l'on écrit sur un tableau noir, maintenir ce type de distinction ? En fait, au lieu d'écraser la craie avec force sur le tableau pour élargir un trait, on a décidé de le doubler. Ce qui est comique, c'est qu'en retour, les livres se sont mis à copier l'usage des profs, et ont distingué le "gras" (bold), du "gras de tableau" qui est une fonte à part (dessin normal à barre redoublée). * Les symboles mathématiques d'ensemble et bien d'autres sont disponibles par défaut dans les fontes AMS : famille msam (e.g., msam10 pour 10pt) et msbm. Ces fontes sont disponibles par ftp anonyme sur ftp://e-math.ams.org/pub/tex/amsfonts/ ou sur ftp://ftp.inria.fr/pub/TeX/CTAN/fonts/ams/amsfonts/sources/symbols/. Pour avoir accès aux symboles, il faut alors utiliser les packages 'amsfonts' et 'amssymb'. Exemple : soit on définit une commande spéciale (dans le préambule): \newcommand{\R}{\mathbb{R}} et on utilise : $\R$ soit on tape directement : $\mathbb{R}$ (LaTeX2e) ou ${\Bbb R}$ (LaTeX2.09) %%%% fin exemple %%%% * Si vous ne disposez pas des packages ams vous pouvez au grand dam de certains puristes utiliser les commandes : + pour les naturels : \def\N{\mbox{I\hspace{-.15em}N}} + pour les entiers : \def\Z{\mbox{Z\hspace{-.3em}Z}} + pour les reels : \def\R{\mbox{I\hspace{-.15em}R}} + pour les complexes : \def\C{\mbox{l\hspace{-.47em}C}} + ... Il faut savoir dans ce cas que leur utilisation est limitée : pas de mise en indice, exposant, etc. * C. Fiorio (fiorio at math.tu-berlin.de) propose également un certain nombre de macros (LaTeX2e) : %%%% debut macro %%%% % %% Les ensembles de nombres % \def\nbR{\ensuremath{\mathrm{I\!R}}} % IR \def\nbN{\ensuremath{\mathrm{I\!N}}} % IN \def\nbF{\ensuremath{\mathrm{I\!F}}} % IF \def\nbH{\ensuremath{\mathrm{I\!H}}} % IH \def\nbK{\ensuremath{\mathrm{I\!K}}} % IK \def\nbL{\ensuremath{\mathrm{I\!L}}} % IL \def\nbM{\ensuremath{\mathrm{I\!M}}} % IM \def\nbP{\ensuremath{\mathrm{I\!P}}} % IP % % \nbOne : 1I : symbol one \def\nbOne{{\mathchoice {\rm 1\mskip-4mu l} {\rm 1\mskip-4mu l} {\rm 1\mskip-4.5mu l} {\rm 1\mskip-5mu l}}} % % \nbC : Nombres Complexes \def\nbC{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm C$}% \hbox{\hbox to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}} {\setbox0=\hbox{$\textstyle\rm C$}\hbox{\hbox to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptstyle\rm C$}\hbox{\hbox to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptscriptstyle\rm C$}\hbox{\hbox to0pt{\kern0.4\wd0\vrule height0.9\ht0\hss}\box0}}}} % % \nbQ : Nombres Rationnels Q \def\nbQ{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm Q$}\hbox{\raise 0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}} {\setbox0=\hbox{$\textstyle\rm Q$}\hbox{\raise 0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.8\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptstyle\rm Q$}\hbox{\raise 0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptscriptstyle\rm Q$}\hbox{\raise 0.15\ht0\hbox to0pt{\kern0.4\wd0\vrule height0.7\ht0\hss}\box0}}}} % % \nbT : T \def\nbT{{\mathchoice {\setbox0=\hbox{$\displaystyle\rm T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}} {\setbox0=\hbox{$\textstyle\rm T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptstyle\rm T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptscriptstyle\rm T$}\hbox{\hbox to0pt{\kern0.3\wd0\vrule height0.9\ht0\hss}\box0}}}} % % \nbS : S \def\nbS{{\mathchoice {\setbox0=\hbox{$\displaystyle \rm S$}\hbox{\raise0.5\ht0% \hbox to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}} {\setbox0=\hbox{$\textstyle \rm S$}\hbox{\raise0.5\ht0% \hbox to0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\hbox to0pt{\kern0.55\wd0\vrule height0.5\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptstyle \rm S$}\hbox{\raise0.5\ht0% \hboxto0pt{\kern0.35\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0% \hbox to0pt{\kern0.5\wd0\vrule height0.45\ht0\hss}\box0}} {\setbox0=\hbox{$\scriptscriptstyle\rm S$}\hbox{\raise0.5\ht0% \hboxto0pt{\kern0.4\wd0\vrule height0.45\ht0\hss}\raise0.05\ht0% \hbox to0pt{\kern0.55\wd0\vrule height0.45\ht0\hss}\box0}}}} % % \nbZ : Entiers Relatifs Z \def\nbZ{{\mathchoice {\hbox{$\sf\textstyle Z\kern-0.4em Z$}} {\hbox{$\sf\textstyle Z\kern-0.4em Z$}} {\hbox{$\sf\scriptstyle Z\kern-0.3em Z$}} {\hbox{$\sf\scriptscriptstyle Z\kern-0.2em Z$}}}} %%%% fin macro %%%% Exemple : $ \nbN $ pour les entiers naturels %%%% fin exemple %%%% * Autres alternatives : en metafont: + les fontes 'bbold' d'A. Jeffrey (une sorte de Futura vraiment doublé par endroit, pas détouré - mais du coup pas du tout du même style que les autres lettres du mode mathématique) Exemple : \font\bbold=bbold12 \newcommand{\R}{\mbox{\bbold R}} %%%% fin exemple %%%% en postscript (produits commerciaux) + dextor outline + Mathematical Pi (une sorte d'helvetica doublé par endroit) * Le package 'bbm' disponible sur ftp://ftp.inria.fr/pub/TeX/CTAN/fonts/cm/bbm/ propose certaines variantes pour les fontes Computer Modern.