Transformation en LuaTeX: gestion des caractères CJK, transformation de categories.tex

3 files changed, 85 insertions, 38 deletions

diff --git a/chapitres/categories.tex b/chapitres/categories.tex
index dd9f328..9071c91 100644
--- a/chapitres/categories.tex
+++ b/chapitres/categories.tex
@@ -1,27 +1,9 @@
 %%% Emacs: -*- mode:latex; coding:utf-8; -*-
 \ifx\danslelivre\undefined
-\documentclass[9pt]{../configuration/smfart}
-\input{../configuration/commun}
-\input{../configuration/smf}
-\input{../configuration/adresse}
-\input{../configuration/gadgets}
-\input{../configuration/francais}
-\input{../configuration/numerotation}
-\input{../configuration/formules}
-\input{../configuration/encoredesmacros}
-\usepackage{stmaryrd}
-\usepackage{wasysym}
-\usepackage{graphics}
-\usepackage[usenames,dvipsnames]{xcolor}
-\usepackage{tikz}
-\usetikzlibrary{matrix}
-\usetikzlibrary{calc}
-
+\documentclass[a4paper,9pt]{amsart}
+\input{../config/preambule}
+\input{../config/macros}
 \title{Catégories}
-\setcounter{tocdepth}{2}
-%\setcounter{secnumdepth}{2}
-%\newtheorem*{propsansnum}{Proposition}
-
 \begin{document}
 \maketitle
 \tableofcontents
@@ -1621,7 +1603,7 @@ que pour toute donnée d'un objet $T$ de $\categ{C}$ et d'un morphisme
 $t_i \colon T \to P_i$ pour chaque $i \in I$ il existe un unique $z
 \colon T \to X$ vérifiant $t_i = p_i\circ z$ pour chaque $i$.
 
-\begin{exemple3}
+\begin{exemple2}
 Dans la catégorie des ensembles, le produit d'une famille $(P_i)$
 d'ensembles est le produit cartésien usuel $X = \prod_{i\in I} P_i$ :
 les applications $s_i \colon X \to P_i$ dont il est muni étant les
@@ -1644,7 +1626,7 @@ sous-jacents des facteurs du produit (ou de la limite).  (On
 expliquera plus loin une raison pour laquelle, comme on vient de le
 décrire, le foncteur d'oubli de ces catégories algébriques vers la
 catégorie des ensembles préserve les limites.)
-\end{exemple3}
+\end{exemple2}
 
 \subsubsection{Points fixes}
 Lorsque la catégorie $\categ{I}$ a un unique objet $\bullet$ et que
@@ -1708,7 +1690,7 @@ où $f_i \circ t_{\astrosun}$ ne dépende pas de $i$, il existe un
 unique $z\colon T\to X$ vérifiant $t_{\astrosun} = s_{\astrosun} \circ
 z$.
 
-\begin{exemple3}
+\begin{exemple2}
 Dans la catégorie des ensembles, l'égalisateur d'une famille
 $f_i\colon P_{\astrosun} \to P_{\leftmoon}$ d'applications entre deux
 mêmes ensembles n'est autre que le sous-ensemble $X$
@@ -1718,7 +1700,7 @@ X \to P_{\astrosun}$ étant alors simplement l'inclusion.
 
 De nouveau, cette construction fonctionne encore dans diverses
 catégories de structures algébriques : groupes, anneaux, etc.
-\end{exemple3}
+\end{exemple2}
 
 \subsubsection{Produits fibrés}\label{limite-produit-fibre}
 
diff --git a/config/macros.tex b/config/macros.tex
index 2b69620..fb55872 100644
--- a/config/macros.tex
+++ b/config/macros.tex
@@ -4,17 +4,40 @@
 %% Macros pour les formules
 %%
 
-%% Opérateurs en caractères romains
-\DeclareMathOperator{\Hom}{Hom}
-\DeclareMathOperator{\Id}{Id}
-\DeclareMathOperator{\Ker}{Ker}
-\DeclareMathOperator{\Fix}{Fix}
-\DeclareMathOperator{\pgcd}{pgcd}
-\DeclareMathOperator{\car}{car}
-\DeclareMathOperator{\Frob}{Frob}
-
-\DeclareMathOperator{\Tr}{Tr}
-\DeclareMathOperator{\N}{N}
+%% Opérateurs en caractères romains, etc.
+
+% Macro pour définir un opérateur dans une police quelconque
+\newcommand\DeclareMathOperatorWithFont[3]{%
+\newcommand{#1}{\mathop{\kern0pt\relax#2{#3}}\nolimits}}
+
+\DeclareMathOperatorWithFont{\Hom}{\mathsf}{Hom}
+\DeclareMathOperatorWithFont{\End}{\mathsf}{End}
+\DeclareMathOperatorWithFont{\Isom}{\mathsf}{Isom}
+\DeclareMathOperatorWithFont{\Aut}{\mathsf}{Aut}
+\DeclareMathOperatorWithFont{\Int}{\mathsf}{Int}
+\DeclareMathOperatorWithFont{\Out}{\mathsf}{Out}
+
+\DeclareMathOperatorWithFont{\Id}{\mathrm}{Id}
+\DeclareMathOperatorWithFont{\Ker}{\mathrm}{Ker}
+\DeclareMathOperatorWithFont{\Fix}{\mathrm}{Fix}
+
+\DeclareMathOperatorWithFont{\pgcd}{\mathrm}{pgcd}
+\DeclareMathOperatorWithFont{\ppcm}{\mathrm}{ppcm}
+
+\DeclareMathOperatorWithFont{\prlim}{\mathrm}{lim}
+\DeclareMathOperatorWithFont{\colim}{\mathrm}{colim}
+
+\DeclareMathOperatorWithFont{\car}{\mathrm}{car}
+\DeclareMathOperatorWithFont{\Frob}{\mathrm}{Frob}
+
+\DeclareMathOperatorWithFont{\Tr}{\mathrm}{Tr}
+\DeclareMathOperatorWithFont{\N}{\mathrm}{N}
+
+\DeclareMathOperatorWithFont{\ob}{\mathsf}{Ob}
+
+\newcommand{\op}{^{\mathsf{op}}}
+\newcommand{\sep}{^{\mathrm{sép}}}
+\newcommand{\alg}{^{\mathrm{alg}}}
 
 %% Ensembles usuels
 \newcommand{\ZZ}{\mathbf{Z}}
@@ -27,10 +50,18 @@
 \newcommand{\GG}{\mathbf{G}}
 
 %% Divers
-\newcommand{\bo}{/} % barre oblique apparaissant dans A/k
 
+% Barre oblique apparaissant dans A/k
+\newcommand{\bo}{/}
+
+% Symbole de Legendre
 \newcommand{\Legendre}[2]{\left(\frac{#1}{#2}\right)}
 
+% Police pour les catégories
+\newcommand{\categ}[1]{\mathtt{#1}}
+
+\newcommand{\Ens}{\categ{Ens}}
+
 %% Tiret et trait d'union en mode maths
 
 % Trouvé sur <URL: http://tug.org/pipermail/luatex/2010-October/002192.html >
@@ -47,6 +78,25 @@
 \DeclareUnicodeMathSymbol{\tiret}{\mathord}{operators}{"2013}
 \DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D}
 
+%% Symboles divers
+\DeclareUnicodeMathSymbol{\boxempty}{\mathord}{operators}{"25A1}
+
+%% Caractères japonais
+% On définit la police IPA Mincho.  L'argument range semble ne pas fonctionner !
+\setmathfont[range={"4E00-"9FFF},Script=CJK]{IPAMincho}
+% On sauve le nom LaTeX de famille de cette police
+\ExplSyntaxOn
+\let\saveIPAMinchoFamily\um_symfont_tl
+\ExplSyntaxOff
+% Maintenant on peut définir les caractères eux-mêmes
+\Umathcode`米="0"\the\csname sym\saveIPAMinchoFamily\endcsname"7C73
+\DeclareUnicodeMathSymbol{\yone}{\mathord}{\saveIPAMinchoFamily}{"7C73}
+\Umathcode`田="0"\the\csname sym\saveIPAMinchoFamily\endcsname"7530
+\DeclareUnicodeMathSymbol{\yoneDA}{\mathord}{\saveIPAMinchoFamily}{"7530}
+
+% Voir <URL: http://tex.stackexchange.com/questions/95304/spacing-changes-when-using-unicode-math-range-feature-why >
+\setmathfont[range={}]{XITS Math}
+
 %% Fabrice n'aime pas les noms anglais
 \let\chap\widehat
 \let\sur\overline
@@ -67,6 +117,7 @@
 % Ce qui suit définit l'environnement {définition2} comme exactement synonyme de {definition2}
 \expandafter\expandafter\expandafter\let\expandafter\expandafter\csname définition2\endcsname\csname definition2\endcsname
 \expandafter\expandafter\expandafter\let\expandafter\expandafter\csname enddéfinition2\endcsname\csname enddefinition2\endcsname
+\newtheorem{convention2}[subsubsection]{Convention}
 \newtheorem{remarque2}[subsubsection]{Remarque}
 \newtheorem{remarques2}[subsubsection]{Remarques}
 \newtheorem{exemple2}[subsubsection]{Exemple}
@@ -78,6 +129,8 @@
 \expandafter\let\csname démo\endcsname\proof
 \expandafter\let\csname enddémo\endcsname\endproof
 
+\renewcommand{\contentsname}{Table des matières}
+
 %%
 %% Macros générales
 %%
@@ -88,3 +141,9 @@
 %% Commentaires
 \newcommand\commentaire[1]{\textcolor{Magenta}{#1}}
 \newcommand\XXX{\textcolor{Magenta}{(XXX)}}
+
+%%
+%% Paramétrages divers
+%%
+\setcounter{tocdepth}{2}
+
diff --git a/config/preambule.tex b/config/preambule.tex
index 976b34c..334f801 100644
--- a/config/preambule.tex
+++ b/config/preambule.tex
@@ -9,8 +9,14 @@
 \newcommand\externaldocument[1]{\relax}
 \usepackage[pagebackref,unicode]{hyperref}
 \usepackage[usenames,dvipsnames]{xcolor}
+\usepackage{tikz}
 \usepackage{fontspec}
-\usepackage[math-style=ISO,bold-style=upright]{unicode-math}
+\usepackage[math-style=ISO,bold-style=upright,sans-style=upright]{unicode-math}
+%%
+%% Bibliothèques TikZ
+%%
+\usetikzlibrary{matrix}
+\usetikzlibrary{calc}
 %%
 %% Polices
 %%