diff options
author | Karl Berry <karl@freefriends.org> | 2013-08-31 23:24:12 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-08-31 23:24:12 +0000 |
commit | e8ad54baf79b2b4d773eefc2d84f42243748669a (patch) | |
tree | a1d6741ce6743c6578b2672bd4524da4c2e648e1 /Master/texmf-dist/doc/fonts | |
parent | 3327dfbc00f9422625c9a574826755a56a9cbee5 (diff) |
mathdesign (30aug13)
git-svn-id: svn://tug.org/texlive/trunk@31552 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/fonts')
13 files changed, 2449 insertions, 33 deletions
diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-Adobe-Utopia-example.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-Adobe-Utopia-example.pdf Binary files differnew file mode 100644 index 00000000000..e46b144d052 --- /dev/null +++ b/Master/texmf-dist/doc/fonts/mathdesign/MD-Adobe-Utopia-example.pdf diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-Adobe-Utopia-example.tex b/Master/texmf-dist/doc/fonts/mathdesign/MD-Adobe-Utopia-example.tex new file mode 100644 index 00000000000..1b81fefaab1 --- /dev/null +++ b/Master/texmf-dist/doc/fonts/mathdesign/MD-Adobe-Utopia-example.tex @@ -0,0 +1,271 @@ +\documentclass[12pt]{article} + +\usepackage[T1]{fontenc} +\usepackage[latin1]{inputenc} +% \usepackage[french]{babel} +\usepackage{amsmath} +\usepackage{amsthm} +%\usepackage{mathrsfs} +\newtheorem{theorem}{Theorem}[section] +\newtheorem{definition}{Definition}[section] +\newenvironment{demo}{\noindent {\bf Dem.}}{\qed} +\newenvironment{remarque}{\noindent {\bf Rem.} \small \itshape}{} +\newenvironment{exemple}{\noindent {\bf Example}}{} + +\newcommand{\Lu}{L^1(\Rset)} +\newcommand{\tf}[1]{{\cal F}\left(#1\right)} +\newcommand{\ii}{{\mathrm{i}}} +\newcommand{\Cn}{{\cal C}^{n}} +\newcommand{\dd}{\mathrm{d}} +% ;; \newcommand{\Rset}{{\mathbb R}} +\newcommand{\Rset}{R} +\newcommand{\R}{\mathbb R} +\newcommand{\C}{\mathbb R} +\newcommand{\ex}{\mathrm{e}} +\newcommand{\Cinf}{{\cal C}^{\infty}} +\newcommand{\abs}[1]{\left| #1 \right|} +\newcommand{\dx}{\dd x} +\newcommand{\ds}{\displaystyle} +\newcommand{\vect}[1]{\overrightarrow{#1}} +\newcommand{\Boule}[2]{\mathscr B(#1,#2)} +\newcommand{\Cercle}[2]{\mathscr C(#1,#2)} +\DeclareMathOperator{\Arg}{Arg} + +\newcommand{\dep}[2]{\ds \frac{\partial #1}{\partial #2}} + +\title{Example of the \textsf{mdput} fonts.} + +\author{Paul Pichaureau} + + +\usepackage[cal=scr,mdput,greekfamily = didot]{mathdesign} +%% \usepackage{amssymb} + +\begin{document} + +\maketitle + +\begin{abstract} + The package \textsf{mdput} consists of a full set of + mathematical fonts, designed to be combined with Adobe + Utopia as the main text font. + + This example is extracted from the excellent book {\em + Mathematics for Physics and Physicists}, {\sc W. Appel}, + Princeton University Press, {\sc 2007}. + +\end{abstract} + + +\section{Conformal maps} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\subsection{Preliminaries} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +Consider a change of variable $(x,y)\mapsto +(u,v)=\big(u(x,y),v(x,y)\big)$ in the plane $\R^2$, identified +with~$\C$. This change of variable really only deserves the name if +$f$ is locally bijective (i.e., one-to-one); this is the case if the +jacobian of the map is nonzero (then so is the jacobian of the +inverse map): +\begin{equation*} + \left| \frac{{D}(u,v)}{{D}(x,y)}\right| = + \begin{vmatrix} + \ds\frac{\displaystyle\partial u}{\displaystyle\partial x} & + \ds\frac{\displaystyle\partial u}{\displaystyle\partial y} \\[4mm] + \ds\frac{\displaystyle\partial v}{\displaystyle\partial x} & + \ds\frac{\displaystyle\partial v}{\displaystyle\partial y} + \end{vmatrix}\neq 0 + \qquad\text{and}\qquad + \left| \frac{{D}(x,y)}{{D}(u,v)}\right| + =\begin{vmatrix}\ds\dep{x}{u} &\ds \dep{x}{v}\\[4mm] + \ds\dep{y}{u} &\ds \dep{y}{v} + \end{vmatrix}\neq 0. +\end{equation*} +\begin{theorem} +In a complex change of variable +\begin{equation*} + z= x+\ii y\longmapsto w=f(z)=u+\ii v, +\end{equation*} +and \emph{if $f$ is holomorphic}, then the jacobian of the map is equal to +\begin{equation*} + J_f(z)=\left| \frac{{D}(u,v)}{{D}(x,y)}\right|= + \abs{f'(z)}^2. +\end{equation*} +\end{theorem} +\begin{demo} + Indeed, we have $f'(z)=\dep{u}{x}+\ii\dep{v}{x}$ and hence, by the + Cauchy-Riemann relations, + \begin{align*} + \abs{f'(z)}^2 & = + \left(\dep{u}{x}\right)^2+\left(\dep{v}{x}\right)^2 + = + \dep{u}{x}\dep{v}{y}-\dep{v}{x}\dep{u}{y}=J_f(z). + \end{align*} +\end{demo} + +\begin{definition} + \index{Conformal map}% + \index{Transformation!conformal ---}% + A \emph{conformal map} or \emph{conformal transformation} of an + open subset $\Omega\subset\R^2$ into another open subset + $\Omega'\subset\R^2$ is any map $f:\Omega\mapsto \Omega'$, locally + bijective, that preserves angles and orientation. +\end{definition} + +\begin{theorem} + Any conformal map is given by a holomorphic function $f$ such + that the derivative of $f$ does not vanish. +\end{theorem} + +This justifies the next definition: +%% ---------------------------------------------------------------------- +\begin{definition} + \index{Conformal map}% + \index{Transformation!conformal ---}% + A \emph{conformal transformation} or \emph{conformal map} of + an open subset + $\Omega\subset\C$ into another open subset + $\Omega'\subset\C$ is any holomorphic function + $f:\Omega\mapsto \Omega'$ such that + $f'(z)\neq 0$ for all $z\in\Omega$. +\end{definition} +%% ---------------------------------------------------------------------- + +%% ---------------------------------------------------------------------- +\begin{demo}[that the definitions are equivalent] + We will denote in general $w=f(z)$. Consider, in the complex plane, two + line segments $\gamma_1$ and $\gamma_2$ contained inside the set $\Omega$ + where $f$ is defined, and intersecting at a point $z_0$ in $\Omega$. + Denote by $\gamma'_1$ and $\gamma_2'$ their images by~$f$. + + We want to show that if the angle between $\gamma_1$ and $\gamma_2$ is + equal to $\theta$, then the same holds for their images, which means that + the angle between the tangent lines to $\gamma'_1$ and $\gamma'_2$ at + $w_0=f(z_0)$ is also equal to $\theta$. + + Consider a point $z\in\gamma_1$ close to~$z_0$. Its image $w=f(z)$ + satisfies + \begin{equation*} + \lim_{z\to z_0} \frac{w-w_0}{z-z_0}=f'(z_0), + \end{equation*} + and hence + $$\displaystyle \lim_{z\to z_0} \Arg + (w-w_0)-\Arg(z-z_0) = \Arg f'(z_0), $$% + which shows that the angle between the curve $\gamma'_1$ and the real + axis is equal to the angle between the original segment $\gamma_1$ and + the real axis, plus the angle $\alpha=\Arg f'(z_0)$ (which is well + defined because $f'(z)\neq 0$). + + Similarly, the angle between the image curve $\gamma'_2$ and the real + axis is equal to that between the segment $\gamma_2$ and the real axis, + plus the same~$\alpha$. + + Therefore, the angle between the two image curves is the same as that + between the two line segments, namely, $\theta$. + + Another way to see this is as follows: the tangent vectors of the curves + are transformed according to the rule $\vect{V}'=\dd f_{z_0}\vect{V}$. But the + differential of $f$ (when $f$ is seen as a map from $\R^2$ to~$\R^2$) is + of the form + \begin{equation} + \displaystyle \dd f_{z_0}=\begin{pmatrix} + \displaystyle \dep{P}{x} & \displaystyle \dep{P}{y} \\[4mm] + \displaystyle \dep{Q}{x} & \displaystyle \dep{Q}{y}\end{pmatrix} + = + \abs{f'(z_0)}\begin{pmatrix}\cos\alpha& -\sin\alpha + \\ \sin\alpha &\cos\alpha \end{pmatrix}, + \label{eq:FSimil} + \end{equation} + where $\alpha$ is the argument of $f'(z_0)$. This is the matrix of a + rotation composed with a homothety, that is, a similitude. + + \medskip +%% ······································································ + % {\begin{picture}(300,100) + % \put(0,0){\epsfig{file=\Figures/TC.\Ext,height=3.2cm}} + % \put(20,65){$\gamma_2$} \put(80,55){$\theta$} + % \put(100,80){$\gamma_1$} \put(195,85){$\gamma'_1$} + % \put(245,35){$\theta$} \put(270,60){$\gamma'_2$} + % \end{picture}} +%% ······································································ + + Conversely, if $f$ is a map which is $\R^2$-differentiable and preserves + angles, then at any point $\dd f$ is an endomorphism of~$\R^2$ which + preserves angles. Since $f$ also preserves orientation, its determinant + is positive, so $\dd f$ is a similitude, and its matrix is exactly + as in equation~\eqref{eq:FSimil}. The Cauchy-Riemann equations are + immediate consequences. +\end{demo} +%% ---------------------------------------------------------------------- + +%% ---------------------------------------------------------------------- +\begin{remarque} + \index{Antiholomorphic function}% + \index{Function!antiholomorphic ---}% + An \emph{antiholomorphic} map also preserves angles, but it + reverses the orientation. +\end{remarque} +%% ---------------------------------------------------------------------- + +\newpage +\subsection*{Calcul différentiel} + + + +Pour obtenir la différentielle totale de cette expression, considérée comme fonction de $x$, $y$, ..., donnons à $x$, $y$, ... des accroissements $d\!x$, $d\!y$, .... Soient $\Delta u$, $\Delta v$, ..., $\Delta f$ les accroissements correspondants de $u$, $v$, ...,$f$. On aura +\begin{equation*} + \Delta f= \dfrac{\partial\! f}{\partial u} \Delta u + \dfrac{\partial\! f}{\partial v} \Delta v + \hdots + R\Delta u + R_1 \Delta v + \hdots, +\end{equation*} +$R$, $R_1$, ... tendant vers zéro avec $\Delta u$, $\Delta v$, .... + +Mais on a, d'autre part, +\begin{align*} + \Delta u & = \dfrac{\partial u}{\partial x} d\! x + + \dfrac{\partial u}{\partial y} \Delta y + \hdots + S\Delta x + S_1 \Delta y + \hdots \\ +& = du + Sd\! x + S_1 d\! y + \hdots \\ + \Delta v & = \dfrac{\partial v}{\partial x} d\! x + + \dfrac{\partial v}{\partial y} \Delta y + \hdots + T\Delta x + T_1 \Delta y + \hdots \\ +& = dv + Td\! x + T_1 d\! y + \hdots \\ +\hdots +\end{align*} +$S$, $S_1$, ..., $T$, $T_1$,... tendant vers zéro avec $d\! x$, $d\! y$, .... + +Substituant ces valeurs dans l'expression de $\Delta f$, il vient +\begin{equation*} +\begin{array}{rcl} + \vbox to 25pt {} \Delta f & = &\dfrac{\partial\! f}{\partial u} d u + \dfrac{\partial\! f}{\partial v} d v + \hdots + \rho d\! x + \rho_1 d\! y + \hdots \\ +\vbox to 25pt {}& = & \phantom{+} \left( \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial x} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial x} + \hdots \right) d\! x \\ +\vbox to 25pt {}& & + \left( \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial y} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial y} + \hdots \right) d\! y \\ +\vbox to 25pt {}&& + \hdots + \rho d\! x + \rho_1 d\! y + \hdots +\end{array} +\end{equation*} +$\rho$, $\rho_1$, ... tendant vers zéro avec $d\! x$, $d\! y$, .... + +On aura donc +\begin{align*} + \dfrac{\partial\! f}{\partial x}& = \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial x} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial x} + \hdots, \\ + \dfrac{\partial\! f}{\partial y}& = \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial y} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial y} + \hdots, \\ +\hdots +\end{align*} +et, d'autre part, +\begin{equation*} + df = \dfrac{\partial\! f}{\partial u} {\mathrm d} u + \dfrac{\partial\! f}{\partial v} {\mathrm d} v + \hdots ; +\end{equation*} +d'où les deux propositions suivantes : + +{\em La dérivée, par rapport à une variable indépendante $x$, d'une fonction composée $f(u,v,\hdots)$ s'obtient en ajoutant ensemble les dérivées partielles $\dfrac{\partial\! f}{\partial u}$, $\dfrac{\partial\! f}{\partial v}$, ..., respectivement multipliées par les dérivées de $u$, $v$, ... par rapport à $x$. + +La différentielle totale $df$ s'exprimer au moyen de $u$, $v$, ..., $du$, $dv$, ..., de la même manière que si $u$, $v$, ... étaient des variables indépendantes. +} + +\hbox to \textwidth { \hfill + {\sc Camille Jordan}, {\em Cours d'analyse de l'\'Ecole polytechnique} +} + +\end{document} diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-Bitstream-Bitstream-Charter-example.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-Bitstream-Bitstream-Charter-example.pdf Binary files differnew file mode 100644 index 00000000000..bf3aab58bff --- /dev/null +++ b/Master/texmf-dist/doc/fonts/mathdesign/MD-Bitstream-Bitstream-Charter-example.pdf diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-Bitstream-Bitstream-Charter-example.tex b/Master/texmf-dist/doc/fonts/mathdesign/MD-Bitstream-Bitstream-Charter-example.tex new file mode 100644 index 00000000000..2ed4f0185ba --- /dev/null +++ b/Master/texmf-dist/doc/fonts/mathdesign/MD-Bitstream-Bitstream-Charter-example.tex @@ -0,0 +1,271 @@ +\documentclass[12pt]{article} + +\usepackage[T1]{fontenc} +\usepackage[latin1]{inputenc} +% \usepackage[french]{babel} +\usepackage{amsmath} +\usepackage{amsthm} +%\usepackage{mathrsfs} +\newtheorem{theorem}{Theorem}[section] +\newtheorem{definition}{Definition}[section] +\newenvironment{demo}{\noindent {\bf Dem.}}{\qed} +\newenvironment{remarque}{\noindent {\bf Rem.} \small \itshape}{} +\newenvironment{exemple}{\noindent {\bf Example}}{} + +\newcommand{\Lu}{L^1(\Rset)} +\newcommand{\tf}[1]{{\cal F}\left(#1\right)} +\newcommand{\ii}{{\mathrm{i}}} +\newcommand{\Cn}{{\cal C}^{n}} +\newcommand{\dd}{\mathrm{d}} +% ;; \newcommand{\Rset}{{\mathbb R}} +\newcommand{\Rset}{R} +\newcommand{\R}{\mathbb R} +\newcommand{\C}{\mathbb R} +\newcommand{\ex}{\mathrm{e}} +\newcommand{\Cinf}{{\cal C}^{\infty}} +\newcommand{\abs}[1]{\left| #1 \right|} +\newcommand{\dx}{\dd x} +\newcommand{\ds}{\displaystyle} +\newcommand{\vect}[1]{\overrightarrow{#1}} +\newcommand{\Boule}[2]{\mathscr B(#1,#2)} +\newcommand{\Cercle}[2]{\mathscr C(#1,#2)} +\DeclareMathOperator{\Arg}{Arg} + +\newcommand{\dep}[2]{\ds \frac{\partial #1}{\partial #2}} + +\title{Example of the \textsf{mdbch} fonts.} + +\author{Paul Pichaureau} + + +\usepackage[cal=scr,mdbch,greekfamily = didot]{mathdesign} +%% \usepackage{amssymb} + +\begin{document} + +\maketitle + +\begin{abstract} + The package \textsf{mdbch} consists of a full set of + mathematical fonts, designed to be combined with Bitstream + Bitstream Charter as the main text font. + + This example is extracted from the excellent book {\em + Mathematics for Physics and Physicists}, {\sc W. Appel}, + Princeton University Press, {\sc 2007}. + +\end{abstract} + + +\section{Conformal maps} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\subsection{Preliminaries} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +Consider a change of variable $(x,y)\mapsto +(u,v)=\big(u(x,y),v(x,y)\big)$ in the plane $\R^2$, identified +with~$\C$. This change of variable really only deserves the name if +$f$ is locally bijective (i.e., one-to-one); this is the case if the +jacobian of the map is nonzero (then so is the jacobian of the +inverse map): +\begin{equation*} + \left| \frac{{D}(u,v)}{{D}(x,y)}\right| = + \begin{vmatrix} + \ds\frac{\displaystyle\partial u}{\displaystyle\partial x} & + \ds\frac{\displaystyle\partial u}{\displaystyle\partial y} \\[4mm] + \ds\frac{\displaystyle\partial v}{\displaystyle\partial x} & + \ds\frac{\displaystyle\partial v}{\displaystyle\partial y} + \end{vmatrix}\neq 0 + \qquad\text{and}\qquad + \left| \frac{{D}(x,y)}{{D}(u,v)}\right| + =\begin{vmatrix}\ds\dep{x}{u} &\ds \dep{x}{v}\\[4mm] + \ds\dep{y}{u} &\ds \dep{y}{v} + \end{vmatrix}\neq 0. +\end{equation*} +\begin{theorem} +In a complex change of variable +\begin{equation*} + z= x+\ii y\longmapsto w=f(z)=u+\ii v, +\end{equation*} +and \emph{if $f$ is holomorphic}, then the jacobian of the map is equal to +\begin{equation*} + J_f(z)=\left| \frac{{D}(u,v)}{{D}(x,y)}\right|= + \abs{f'(z)}^2. +\end{equation*} +\end{theorem} +\begin{demo} + Indeed, we have $f'(z)=\dep{u}{x}+\ii\dep{v}{x}$ and hence, by the + Cauchy-Riemann relations, + \begin{align*} + \abs{f'(z)}^2 & = + \left(\dep{u}{x}\right)^2+\left(\dep{v}{x}\right)^2 + = + \dep{u}{x}\dep{v}{y}-\dep{v}{x}\dep{u}{y}=J_f(z). + \end{align*} +\end{demo} + +\begin{definition} + \index{Conformal map}% + \index{Transformation!conformal ---}% + A \emph{conformal map} or \emph{conformal transformation} of an + open subset $\Omega\subset\R^2$ into another open subset + $\Omega'\subset\R^2$ is any map $f:\Omega\mapsto \Omega'$, locally + bijective, that preserves angles and orientation. +\end{definition} + +\begin{theorem} + Any conformal map is given by a holomorphic function $f$ such + that the derivative of $f$ does not vanish. +\end{theorem} + +This justifies the next definition: +%% ---------------------------------------------------------------------- +\begin{definition} + \index{Conformal map}% + \index{Transformation!conformal ---}% + A \emph{conformal transformation} or \emph{conformal map} of + an open subset + $\Omega\subset\C$ into another open subset + $\Omega'\subset\C$ is any holomorphic function + $f:\Omega\mapsto \Omega'$ such that + $f'(z)\neq 0$ for all $z\in\Omega$. +\end{definition} +%% ---------------------------------------------------------------------- + +%% ---------------------------------------------------------------------- +\begin{demo}[that the definitions are equivalent] + We will denote in general $w=f(z)$. Consider, in the complex plane, two + line segments $\gamma_1$ and $\gamma_2$ contained inside the set $\Omega$ + where $f$ is defined, and intersecting at a point $z_0$ in $\Omega$. + Denote by $\gamma'_1$ and $\gamma_2'$ their images by~$f$. + + We want to show that if the angle between $\gamma_1$ and $\gamma_2$ is + equal to $\theta$, then the same holds for their images, which means that + the angle between the tangent lines to $\gamma'_1$ and $\gamma'_2$ at + $w_0=f(z_0)$ is also equal to $\theta$. + + Consider a point $z\in\gamma_1$ close to~$z_0$. Its image $w=f(z)$ + satisfies + \begin{equation*} + \lim_{z\to z_0} \frac{w-w_0}{z-z_0}=f'(z_0), + \end{equation*} + and hence + $$\displaystyle \lim_{z\to z_0} \Arg + (w-w_0)-\Arg(z-z_0) = \Arg f'(z_0), $$% + which shows that the angle between the curve $\gamma'_1$ and the real + axis is equal to the angle between the original segment $\gamma_1$ and + the real axis, plus the angle $\alpha=\Arg f'(z_0)$ (which is well + defined because $f'(z)\neq 0$). + + Similarly, the angle between the image curve $\gamma'_2$ and the real + axis is equal to that between the segment $\gamma_2$ and the real axis, + plus the same~$\alpha$. + + Therefore, the angle between the two image curves is the same as that + between the two line segments, namely, $\theta$. + + Another way to see this is as follows: the tangent vectors of the curves + are transformed according to the rule $\vect{V}'=\dd f_{z_0}\vect{V}$. But the + differential of $f$ (when $f$ is seen as a map from $\R^2$ to~$\R^2$) is + of the form + \begin{equation} + \displaystyle \dd f_{z_0}=\begin{pmatrix} + \displaystyle \dep{P}{x} & \displaystyle \dep{P}{y} \\[4mm] + \displaystyle \dep{Q}{x} & \displaystyle \dep{Q}{y}\end{pmatrix} + = + \abs{f'(z_0)}\begin{pmatrix}\cos\alpha& -\sin\alpha + \\ \sin\alpha &\cos\alpha \end{pmatrix}, + \label{eq:FSimil} + \end{equation} + where $\alpha$ is the argument of $f'(z_0)$. This is the matrix of a + rotation composed with a homothety, that is, a similitude. + + \medskip +%% ······································································ + % {\begin{picture}(300,100) + % \put(0,0){\epsfig{file=\Figures/TC.\Ext,height=3.2cm}} + % \put(20,65){$\gamma_2$} \put(80,55){$\theta$} + % \put(100,80){$\gamma_1$} \put(195,85){$\gamma'_1$} + % \put(245,35){$\theta$} \put(270,60){$\gamma'_2$} + % \end{picture}} +%% ······································································ + + Conversely, if $f$ is a map which is $\R^2$-differentiable and preserves + angles, then at any point $\dd f$ is an endomorphism of~$\R^2$ which + preserves angles. Since $f$ also preserves orientation, its determinant + is positive, so $\dd f$ is a similitude, and its matrix is exactly + as in equation~\eqref{eq:FSimil}. The Cauchy-Riemann equations are + immediate consequences. +\end{demo} +%% ---------------------------------------------------------------------- + +%% ---------------------------------------------------------------------- +\begin{remarque} + \index{Antiholomorphic function}% + \index{Function!antiholomorphic ---}% + An \emph{antiholomorphic} map also preserves angles, but it + reverses the orientation. +\end{remarque} +%% ---------------------------------------------------------------------- + +\newpage +\subsection*{Calcul différentiel} + + + +Pour obtenir la différentielle totale de cette expression, considérée comme fonction de $x$, $y$, ..., donnons à $x$, $y$, ... des accroissements $d\!x$, $d\!y$, .... Soient $\Delta u$, $\Delta v$, ..., $\Delta f$ les accroissements correspondants de $u$, $v$, ...,$f$. On aura +\begin{equation*} + \Delta f= \dfrac{\partial\! f}{\partial u} \Delta u + \dfrac{\partial\! f}{\partial v} \Delta v + \hdots + R\Delta u + R_1 \Delta v + \hdots, +\end{equation*} +$R$, $R_1$, ... tendant vers zéro avec $\Delta u$, $\Delta v$, .... + +Mais on a, d'autre part, +\begin{align*} + \Delta u & = \dfrac{\partial u}{\partial x} d\! x + + \dfrac{\partial u}{\partial y} \Delta y + \hdots + S\Delta x + S_1 \Delta y + \hdots \\ +& = du + Sd\! x + S_1 d\! y + \hdots \\ + \Delta v & = \dfrac{\partial v}{\partial x} d\! x + + \dfrac{\partial v}{\partial y} \Delta y + \hdots + T\Delta x + T_1 \Delta y + \hdots \\ +& = dv + Td\! x + T_1 d\! y + \hdots \\ +\hdots +\end{align*} +$S$, $S_1$, ..., $T$, $T_1$,... tendant vers zéro avec $d\! x$, $d\! y$, .... + +Substituant ces valeurs dans l'expression de $\Delta f$, il vient +\begin{equation*} +\begin{array}{rcl} + \vbox to 25pt {} \Delta f & = &\dfrac{\partial\! f}{\partial u} d u + \dfrac{\partial\! f}{\partial v} d v + \hdots + \rho d\! x + \rho_1 d\! y + \hdots \\ +\vbox to 25pt {}& = & \phantom{+} \left( \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial x} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial x} + \hdots \right) d\! x \\ +\vbox to 25pt {}& & + \left( \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial y} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial y} + \hdots \right) d\! y \\ +\vbox to 25pt {}&& + \hdots + \rho d\! x + \rho_1 d\! y + \hdots +\end{array} +\end{equation*} +$\rho$, $\rho_1$, ... tendant vers zéro avec $d\! x$, $d\! y$, .... + +On aura donc +\begin{align*} + \dfrac{\partial\! f}{\partial x}& = \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial x} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial x} + \hdots, \\ + \dfrac{\partial\! f}{\partial y}& = \dfrac{\partial\! f}{\partial u} \dfrac{\partial u}{\partial y} + \dfrac{\partial\! f}{\partial v} \dfrac{\partial v}{\partial y} + \hdots, \\ +\hdots +\end{align*} +et, d'autre part, +\begin{equation*} + df = \dfrac{\partial\! f}{\partial u} {\mathrm d} u + \dfrac{\partial\! f}{\partial v} {\mathrm d} v + \hdots ; +\end{equation*} +d'où les deux propositions suivantes : + +{\em La dérivée, par rapport à une variable indépendante $x$, d'une fonction composée $f(u,v,\hdots)$ s'obtient en ajoutant ensemble les dérivées partielles $\dfrac{\partial\! f}{\partial u}$, $\dfrac{\partial\! f}{\partial v}$, ..., respectivement multipliées par les dérivées de $u$, $v$, ... par rapport à $x$. + +La différentielle totale $df$ s'exprimer au moyen de $u$, $v$, ..., $du$, $dv$, ..., de la même manière que si $u$, $v$, ... étaient des variables indépendantes. +} + +\hbox to \textwidth { \hfill + {\sc Camille Jordan}, {\em Cours d'analyse de l'\'Ecole polytechnique} +} + +\end{document} diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-adobe-utopia-doc.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-adobe-utopia-doc.pdf Binary files differdeleted file mode 100644 index b17e359abb8..00000000000 --- a/Master/texmf-dist/doc/fonts/mathdesign/MD-adobe-utopia-doc.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-adobe-utopia-example.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-adobe-utopia-example.pdf Binary files differdeleted file mode 100644 index 436ad5a78f2..00000000000 --- a/Master/texmf-dist/doc/fonts/mathdesign/MD-adobe-utopia-example.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-bitstream-charter-doc.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-bitstream-charter-doc.pdf Binary files differdeleted file mode 100644 index ff9ae1fc797..00000000000 --- a/Master/texmf-dist/doc/fonts/mathdesign/MD-bitstream-charter-doc.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-bitstream-charter-example.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-bitstream-charter-example.pdf Binary files differdeleted file mode 100644 index 4f5c93db068..00000000000 --- a/Master/texmf-dist/doc/fonts/mathdesign/MD-bitstream-charter-example.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-urw-garamond-doc.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-urw-garamond-doc.pdf Binary files differdeleted file mode 100644 index 89d4426fdcb..00000000000 --- a/Master/texmf-dist/doc/fonts/mathdesign/MD-urw-garamond-doc.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/fonts/mathdesign/MD-urw-garamond-example.pdf b/Master/texmf-dist/doc/fonts/mathdesign/MD-urw-garamond-example.pdf Binary files differdeleted file mode 100644 index 3af104a2542..00000000000 --- a/Master/texmf-dist/doc/fonts/mathdesign/MD-urw-garamond-example.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/fonts/mathdesign/README b/Master/texmf-dist/doc/fonts/mathdesign/README index 9077ef5fd1c..1af8ec38033 100644 --- a/Master/texmf-dist/doc/fonts/mathdesign/README +++ b/Master/texmf-dist/doc/fonts/mathdesign/README @@ -9,26 +9,28 @@ By now, three fonts families are available: * mdugm family corresponds to URW Garamond text fonts * mdbch family corresponds to Bitstream Charter text fonts -These text fonts are available on CTAN: +The following commercial families are also supported: -CTAN directory of Adobe Utopia : fonts/utopia -CTAN directory of URW Garamond : nonfree/fonts/urw/garamond -CTAN directory of Bitstream Charter : fonts/charter +* mdpgd family corresponds to Adobe Garamond Pro text fonts +* mdpus family corresponds to Adobe Utopia Std text fonts +* mdici family corresponds to ITC Charter text fonts -The fonts provided by the Math Design project are free; you -can redistribute it and/or modify it under the terms of the GNU -General Public License as published by the Free Software Foundation; -either version 2 of the License, or (at your option) any later -version. +The fonts provided by the Math Design project are free; you can +redistribute it and/or modify it under the terms of the GNU General +Public License as published by the Free Software Foundation; either +version 2 of the License, or (at your option) any later version. NOTES ON UPGRADING ~~~~~~~~~~~~~~~~~~ When you install a new version of the Math Design fonts, be sure to delete all the pk files that has been automatically created by xdvi or -yap. If you forget to do that, your document could seem ugly if you -read them with xdvi or yap. Anyway, pdf versions and printing will be -fine. +yap. If you forget to do that, any document read with xdvi or yap will +look ugly. Anyway, pdf versions and printing will be fine. + +Each new version of the fonts introduces small changes in font +metrics. This can lead to important change in existing document, +including unexpected line and page breaks. SMALL CAPITALS ~~~~~~~~~~~~~~ @@ -39,13 +41,13 @@ fonts, you must: 1) Obtain the corresponding commercial fonts from your favorite font seller. This is the font you'll need : - Charter : Charter Small Cap (bchrc8a.pfb) + Charter : Charter Small Cap (bchrc8a.pfb) Charter Bold Small Cap (bchbc8a.pfb) Utopia : Utopia Expert Regular (putr8x.pfb) Utopia Expert Bold (putb8x.pfb) - You need the Windows Postscript versions of the fonts. + You need the Windows Postscript versions of the fonts. 2) Rename the preceding font files. I have indicated in parenthesis the new name of each file. @@ -57,7 +59,7 @@ fonts, you must: or $TEXMF/fonts/type1/adobe/utopia - + should be fine. 4) Refresh your texmf file database, by running an utility like @@ -67,9 +69,90 @@ fonts, you must: "expert". Small caps and oldstyle figure are available with the command \textsc{...}. +OBTAINING TEXT FONTS +~~~~~~~~~~~~~~~~~~~~ + +You can find these free text fonts on CTAN: + +CTAN directory of Adobe Utopia : fonts/utopia +CTAN directory of URW Garamond : nonfree/fonts/urw/garamond +CTAN directory of Bitstream Charter : fonts/charter + +You have to obtain the commercial text fonts from your favorite +reseller. Only the opentype version of these fonts are supported. You +will need the following files: + +* For Adobe Garamond Pro + AGaramondPro-Regular.otf + AGaramondPro-Italic.otf + AGaramondPro-Semibold.otf + AGaramondPro-SemiboldItalic.otf +* For Adobe Utopia Std + UtopiaStd-Regular.otf + UtopiaStd-Italic.otf + UtopiaStd-Semibold.otf + UtopiaStd-SemiboldIt.otf +* For ITC Charter + CharterITCStd-Regular.otf + CharterITCStd-Italic.otf + CharterITCStd-Bold.otf + CharterITCStd-BoldItalic.otf + +Put them in your TEXMF tree in the directory + + ${TEXMF}/fonts/opentype/<supplier>/<fontname> + +(Supplier is adobe or itc. The fontname is basically what you want.) + +You don't need to rename the files. The 'expert' options is useless, +since this fonts are provided with small caps and oldstyle figures. + + CHANGES ~~~~~~~ +v 2.31 * removed Windows-type end of line in text files + * URW Garamond is now a "non-free" fonts + +v 2.3 * distribution splitted in "free" and "non-free" + * fontdimen corrected (for fractions) + * infinity symbol redesigned + * afm files no longer distributed + +v 2.25 * \nexists is now correct + * typo corrected in mathdesign.sty + +v 2.22 * Double bracket corrected + * Punctuation in math mode is now in roman shape + +v 2.21 * Incorrect ffi and ffl ligatures in some small caps fonts + +v 2.2 * Glyph blackboard bold 1 added. + * text dot accent is now correct + +v 2.16 * Missing files included + +v 2.15 * Weight of mdugm family slightly changed + * Blackboard glyphs corrected + +v 2.1 * Bracket and double brackets modified + * Change of name of some internal files + +v 2.0 * The commercial Adobe Garamond font is now supported. + * The commercial Adobe Utopia Std font is now supported. + * The commercial ITC Charter font is now supported. + * New option 'greekfamily' added. The greek letters can be taken + from GFS Didot and GFS Bodoni. + * the \varkappa \varkappaup and \varkappait gives the expected results * many glyphs revised + * the 'scaled' option is no longer supported + * the fontsite Garamond font is no longer supported. + +v 1.57 * New option 'lowercase' added + * Oriented contour integral signs are now corrects + +v 1.56 * The kerning between L and ' in charter has been fixed + * New option 'scaled' added + v 1.55 * The emplacement of some files has changed * 'faked' small caps are now avalaible @@ -86,7 +169,7 @@ v 1.41 * Corrected a bug in option parsing of mathdesign.sty v 1.4 * Dimensions of large delimiters are now correct * Indices and exposant of script letters correctly placed * Overshoot of greek letters corrected (muchas gracias a Ricard - Torres por haberme señalado el problema) + Torres por haberme señalado el problema) * Slanted font have now correct names in map files (merci à Jean-Michel Sarlat) * Symbols added (\smallin, various multiple integrals) @@ -138,31 +221,36 @@ the free fonts are probably already installed on your system. INSTALLATION ~~~~~~~~~~~~ +If you use a recent TeX distribution (miktex, tetex, ...), you should +use the tools furnished with the distribution. + +If you want to install the package by yourself: + 0) First, you must choose the texmf tree where you want to install the Math Design fonts. This tree is probably some local or personal tree - (for example: "c:/localtexmf" with miktex v2.3>). - -1) Install now the core files, required by all the Math Design - package. Download the archive mdcore.zip and unzip it in the root - directory of the texmf tree you have chosen. + (for example: "c:/localtexmf" with miktex >2.3). -2) Download the archive of each family and unzip it in the root - directory of the texmf tree you have chosen. +1) Download the archive mathdesign-tds.zip and unzip it in this + directory. The mathdesign-tds.zip file is located in the + install/fonts of any ctan repository. -3) Now refresh your texmf file database, by running an utility +2) Now refresh your texmf file database, by running an utility like "mktexlsr" or "texconfig rehash". -4) Update the configuration files of your favourite drivers +3) Update the configuration files of your favourite drivers (e.g. dvips, xdvi, yap, pdftex, etc.). On recent distributions, a script called 'updmap' does all the job - for you. - + for you. + Add the following lines at the end of the file 'updmap.cfg': Map mdput.map Map mdugm.map Map mdbch.map + Map mdpus.map + Map mdpgd.map + Map mdici.map and then run 'updmap' from a command line. @@ -170,26 +258,28 @@ INSTALLATION ENJOY ~~~~~ -To use the package, simply add the following line in the preamble of +To use the package, simply add the following line in the preamble of your source file: \usepackage[supplier-typeface]{mathdesign} Where supplier-typeface is one the following: - adobe-utopia + adobe-utopia urw-garamond bitsream-charter + adobe-garamond + adobe-utopiastd + itc-charter + Please read the documentation for more options and commands. -Thank you for using the Math Design fonts and happy TeXing :-) +Thank you for using the Math Design fonts and happy TeXing :-) -Paul Pichaureau, paul.pichaureau@alcandre.net + Paul Pichaureau, paul.pichaureau@alcandre.net Paris, Easter 2005 - - diff --git a/Master/texmf-dist/doc/fonts/mathdesign/mathdesign-doc.pdf b/Master/texmf-dist/doc/fonts/mathdesign/mathdesign-doc.pdf Binary files differindex 28f972af485..f6c2630457d 100644 --- a/Master/texmf-dist/doc/fonts/mathdesign/mathdesign-doc.pdf +++ b/Master/texmf-dist/doc/fonts/mathdesign/mathdesign-doc.pdf diff --git a/Master/texmf-dist/doc/fonts/mathdesign/mathdesign-doc.tex b/Master/texmf-dist/doc/fonts/mathdesign/mathdesign-doc.tex new file mode 100644 index 00000000000..b41651bc12a --- /dev/null +++ b/Master/texmf-dist/doc/fonts/mathdesign/mathdesign-doc.tex @@ -0,0 +1,1784 @@ +\documentclass[10pt]{article} + +\usepackage[english]{babel} + +\usepackage[euro, mdput, expert, ttscaled=true, sfscaled=true]{mathdesign} + +\usepackage{textcomp} + +%% ------------------------------------------------------------------- + +\usepackage{url} +\usepackage{texlogos} +\usepackage{xspace} + +%% ------------------------------------------------------------------- + +% Logical styles. +\newcommand{\pkgname}[1]{% + \textsf{#1}% + } +\newcommand{\optname}[1]{% + \textsf{#1}% + } +\newcommand{\filename}[1]{% + \texttt{#1}% +} +\newcommand{\PSfont}[1]{% + #1% +} +\newcommand{\PSchar}[1]{% + \texttt{#1}% +} + + +%% ------------------------------------------------------------------- + +%% Margins, etc. + +%% \setlength\hoffset{-1in} +%% \setlength\voffset{-1in} + +\setlength\oddsidemargin{28pt} +\setlength\textwidth{398pt} + +\setlength\headsep{24pt} +\setlength\topmargin{-33pt} + +\setlength\footskip{36pt} +\setlength\textheight{626pt} + + + +%\DeclareRobustCommand{\person}[2]{#1\index{#2, #1} #2} + +%% ------------------------------------------------------------------- + +\usepackage{hyperref} + +% Scott Pakin Comprehensive code +\makeatletter +\newcommand{\notpredefinedmessage}{% + \begin{tablenote}[*] + Not predefined in \LaTeX. + \end{tablenote} +} +\newcommand{\notpredefinedmessageextra}{% + \begin{tablenote}[*] + Not predefined in \LaTeX. + \end{tablenote} +} + +% Redefine the LaTeX commands that are replaced by textcomp. +% This was swiped right out of ltoutenc.dtx, but with "\text..." +% changed to "\ltext...". +\DeclareTextCommandDefault{\ltextcopyright}{\textcircled{c}} +\DeclareTextCommandDefault{\ltextregistered}{\textcircled{\scshape r}} +\DeclareTextCommandDefault{\ltexttrademark}{\textsuperscript{TM}} +\DeclareTextCommandDefault{\ltextordfeminine}{\textsuperscript{a}} +\DeclareTextCommandDefault{\ltextordmasculine}{\textsuperscript{o}} + +% Define an environment in which to write a single table of symbols. The +% environment looks a lot like a table, but it doesn't float, and it gets +% an entry in the table of contents (as a subsubsection that looks like a +% subsection), as opposed to the list of tables. +% +% The first argument is a conditional. The table will appear only if +% the value of the conditional is true. The second argument is the +% table's caption. + +% Sometimes, we need a little more horizontal spacing, too. +\def\qqquad{\hskip3em\relax} +\def\dquad{\hskip.5em\relax} + +\def\fnum@table{\textbf{\tablename}~\thetable} + +\newcommand{\savecaption}[1]{\global\def\currentcaption{#1}} + +\newenvironment{symtable}[1]{% + \noindent% + \begin{minipage}[t]{\linewidth} % Prevent page breaks + \begin{center} + \addtocounter{table}{1}% + \protected@edef\@currentlabel{\thetable}% + \addcontentsline{toc}{subsubsection}{% + \protect\numberline{\tablename~\thetable:}{\quad #1}}% + \savecaption{#1} + }{% +\@makecaption{\fnum@table}{\currentcaption}\end{center} +\end{minipage} +\bigskip +} + + +% Same as the above, but allows page breaks. + +\newenvironment{longsymtable}[2][true]{% + \expandafter\global\expandafter\let% + \expandafter\ifshowsymtable\csname if#1\endcsname + \ifshowsymtable + \mbox{}% + \begin{center}% + \addtocounter{table}{1}% + \protected@edef\@currentlabel{\thetable}% + \addcontentsline{toc}{subsubsection}{% + \protect\numberline{\tablename~\thetable:}{#2}}% + \@makecaption{\fnum@table}{#2}% + \def\lt@indexed{}% + \let\next=\relax + \else + % The following was taken verbatim from verbatim.sty. + \let\do\@makeother\dospecials\catcode`\^^M\active + \let\verbatim@startline\relax + \let\verbatim@addtoline\@gobble + \let\verbatim@processline\relax + \let\verbatim@finish\relax + \let\next=\verbatim@ + \fi + \next +}{% + \ifshowsymtable + \let\@elt=\index\lt@indexed % Close our index ranges. + \end{center} + \addtocounter{table}{-1} % Make up for longtable's counter increment. + \vskip 8ex minus 2ex + \fi +} + + +% Many tables have notes beneath them. Define an environment in which to +% display such a note, with an optional, superscripted math symbol +% preceding it. +\newenvironment{tablenote}[1][]{ + \makebox[1em]{\ensuremath{^{#1}}}% + \begin{minipage}[t]{0.75\textwidth}% + \setlength{\parskip}{2ex} +}{% + \end{minipage}% +} + + +\def\docttfamily{\ttfamily\small} + +\def\N@opt@arg[#1]#2{$#1$ & $\Big#1$ &\docttfamily\string#2} +\def\N@no@opt@arg#1{$#1$ & $\Big#1$ &\docttfamily\string#1} +\def\N{\@ifnextchar[{\N@opt@arg}{\N@no@opt@arg}} + % We use \displaystyle so that variable-sized symbols will be big. + +\def\Q#1{ #1{A} \dquad #1{a} & + \docttfamily\string#1\string{A\string}\string#1\string{a\string}} + +\def\QQ#1{ #1{AA} \dquad #1{aa} & + \docttfamily\string#1\string{AA\string}\string#1\string{aa\string}} + +\def\R@opt@arg[#1]#2{$#1$ & $\displaystyle#1$ &\docttfamily\string#2} +\def\R@no@opt@arg#1{$#1$ & $\displaystyle#1$ &\docttfamily\string#1} +\def\R{\@ifnextchar[{\R@opt@arg}{\R@no@opt@arg}} + +\newcommand{\V}[2][]{#1 & #2 &\docttfamily\string#2} + \def\W@opt@arg[#1]#2#3{% + $#1{#3}$ &\docttfamily\string#2\string{#3\string}} + \def\W@no@opt@arg#1#2{% + $#1{#2}$ &\docttfamily\string#1\string{#2\string}} + \def\W{\@ifnextchar[{\W@opt@arg}{\W@no@opt@arg}} +\def\DX#1{$\displaystyle#1$ &\docttfamily\string#1} +\def\X#1{$#1$ &\docttfamily\string#1} +\def\T#1{#1 &\docttfamily\string#1} + +\def\Y#1{$\big#1$ & $\Bigg#1$ &\docttfamily\string#1} + +\def\C#1{{\docttfamily\string#1}~($#1$)\xspace} +\def\CC#1#2{{\docttfamily\string#1}~($#2$)\xspace} +\def\CT#1{{\docttfamily\string#1}~(#1)\xspace} + + + +% TXfonts code + +\newcount\curchar \newcount\currow \newcount\curcol +\newdimen\indexwd \newdimen\tempcellwd +\setbox0\hbox{\sffamily D\kern.2em} +\indexwd=\wd0 + +\def\hexnumber#1{\ifcase\expandafter\ident\expandafter{\number#1} 0\or +1\or 2\or 3\or 4\or 5\or 6\or 7\or 8\or 9\or A\or B\or C\or D\or E\or +F\else ?\fi} + +\def\ident#1{#1} +\def\rownumber{\sffamily\hexnumber\currow} +\def\colnumber{\sffamily\hexnumber\curcol \global\advance\curcol 1 } +\def\colnumbers{\hbox to\hsize{\global\curcol 0 + \def\1{\hbox to\cellwd{\curcol}{\hfil\colnumber\hfil}}% + \kern\indexwd\hfil\hfil + \1\1\1\1\hfil\hfil \1\1\1\1\hfil\hfil + \1\1\1\1\hfil\hfil \1\1\1\1\hfil\hfil + \kern\indexwd}% +} + +\def\charnumber{\setbox0=\hbox{\char\curchar}% + \ifdim\ht0>7.5pt\reposition + \else\ifdim\dp0>2.5pt\reposition\fi\fi + \box0 \global\advance\curchar1 } +\def\reposition{\setbox0=\hbox{$\vcenter{\kern1.5pt\box0\kern1.5pt}$}} +\def\measurecolwidths#1{% + \tempcellwd\hsize \advance\tempcellwd-2\indexwd + \advance\tempcellwd -12pt + \divide\tempcellwd 16 + \xdef\cellwd##1{\the\tempcellwd}% +} + +\def\dochartA#1{% + \begingroup + \global\curchar=0 \global\currow=0 \global\curcol=0 + \def\hline{\kern2pt\hrule\kern3pt }% + \setbox0\vbox{#1% + \def\0{\hbox to\cellwd{\curcol}{\hss\charnumber\hss}}% + \colnumbers + \hline + \setrow\setrow\setrow\setrow + \hline + \setrow\setrow\setrow\setrow + \hline + \setrow\setrowX\setrow\setrowX % +% \hline % +%% \setrowX\setrowX\setrowX\setrowX % + \hline % + \colnumbers + }% + \null\hfil\hbox{\vbox{% + \hbox to\hsize{\kern\indexwd + \def\fullrule{\hfil\vrule height\ht0 depth\dp0\hfil}% + \fullrule\kern\cellwd{0}\kern\cellwd{1}\kern\cellwd{2}\kern\cellwd{3}% + \fullrule\kern\cellwd{4}\kern\cellwd{5}\kern\cellwd{6}\kern\cellwd{7}% + \fullrule\kern\cellwd{8}\kern\cellwd{9}\kern\cellwd{10}\kern\cellwd{11}% + \fullrule\kern\cellwd{12}\kern\cellwd{13}\kern\cellwd{14}\kern\cellwd{15}% + \fullrule\kern\indexwd}% + \kern-\ht0 \kern-\dp0 \unvbox0}}\hfil% + \endgroup +} +\def\dochartB#1{% + \begingroup + \global\curchar=0 \global\currow=0 \global\curcol=0 + \def\hline{\kern2pt\hrule\kern3pt }% + \setbox0\vbox{#1% + \def\0{\hbox to\cellwd{\curcol}{\hss\charnumber\hss}}% + \colnumbers + \hline + \setrow\setrow\setrow\setrow + \hline + \setrow\setrow\setrow\setrow + \hline + \setrow\setrow\setrow\setrow % + \hline % + \setrow\setrow\setrow\setrow % + \hline % + \colnumbers + }% + \vbox{% + \hbox to\hsize{\kern\indexwd + \def\fullrule{\hfil\vrule height\ht0 depth\dp0\hfil}% + \fullrule\kern\cellwd{0}\kern\cellwd{1}\kern\cellwd{2}\kern\cellwd{3}% + \fullrule\kern\cellwd{4}\kern\cellwd{5}\kern\cellwd{6}\kern\cellwd{7}% + \fullrule\kern\cellwd{8}\kern\cellwd{9}\kern\cellwd{10}\kern\cellwd{11}% + \fullrule\kern\cellwd{12}\kern\cellwd{13}\kern\cellwd{14}\kern\cellwd{15}% + \fullrule\kern\indexwd}% + \kern-\ht0 \kern-\dp0 \unvbox0}% + \endgroup +} +\def\dochartC#1{% + \begingroup + \global\curchar=0 \global\currow=0 \global\curcol=0 + \def\hline{\kern2pt\hrule\kern3pt }% + \setbox0\vbox{#1% + \def\0{\hbox to\cellwd{\curcol}{\hss\charnumber\hss}}% + \colnumbers + \hline + \setrow\setrow\setrow\setrow + \hline + \setrow\setrow\setrow\setrow +%% \hline +%% \setrow\setrow\setrow\setrow % +%% \hline % +%% \setrowX\setrow\setrowX\setrow % + \hline % + \colnumbers + }% + \vbox{% + \hbox to\hsize{\kern\indexwd + \def\fullrule{\hfil\vrule height\ht0 depth\dp0\hfil}% + \fullrule\kern\cellwd{0}\kern\cellwd{1}\kern\cellwd{2}\kern\cellwd{3}% + \fullrule\kern\cellwd{4}\kern\cellwd{5}\kern\cellwd{6}\kern\cellwd{7}% + \fullrule\kern\cellwd{8}\kern\cellwd{9}\kern\cellwd{10}\kern\cellwd{11}% + \fullrule\kern\cellwd{12}\kern\cellwd{13}\kern\cellwd{14}\kern\cellwd{15}% + \fullrule\kern\indexwd}% + \kern-\ht0 \kern-\dp0 \unvbox0}% + \endgroup +} + +\def\setrow{\hbox to\hsize{% + \hbox to\indexwd{\hfil\rownumber\kern.2em}\hfil\hfil + \0\0\0\0\hfil\hfil \0\0\0\0\hfil\hfil + \0\0\0\0\hfil\hfil \0\0\0\0\hfil\hfil + \hbox to\indexwd{\sffamily\kern.2em \rownumber\hfil}}% + \global\advance\currow 1 }% + +\def\setrowX{\global\advance\curchar16\global\advance\currow 1\relax} + +\def\cellwd#1{20pt}% initialize + +\def\measurecolwidths#1{% + \tempcellwd\hsize \advance\tempcellwd-2\indexwd + \advance\tempcellwd -12pt + \divide\tempcellwd 16 + \xdef\cellwd##1{\the\tempcellwd}% +} +\def \tableA #1#2#3{\par\penalty-200 \bigskip + \font #1=#2 \relax + \centerline{\vbox{\hsize=29pc + \measurecolwidths{#1}% + \centerline{#3}% + \medskip + \dochartA{#1}% +}}} +\def \tableB #1#2#3{\par\penalty-200 \bigskip + \font #1=#2 \relax + \centerline{\vbox{\hsize=29pc + \measurecolwidths{#1}% + \centerline{#3}% + \medskip + \dochartB{#1}% +}}} +\def \tableC #1#2#3{\par\penalty-200 \bigskip + \font #1=#2 \relax + \centerline{\vbox{\hsize=29pc + \measurecolwidths{#1}% + \centerline{#3}% + \medskip + \dochartC{#1}% +}}} + +\def\comment#1{\begingroup \small \noindent {\textit{Comment:}} #1 \endgroup} + +%% \renewcommand*\descriptionlabel[1]{\hspace\labelsep +%% \normalfont#1} + +\def\FSS#1#2{\fontfamily{#1}\selectfont #1 + & \quad \fontfamily{#1}\selectfont #2} + +\def\FTT#1#2{\fontfamily{#1}\selectfont #1 & + \quad \fontfamily{#1}\selectfont #2} + +\newcommand\slightsize{\@setfontsize\slightsize{27}{30}} +\makeatother + +\renewcommand\sfdefault{fvs} +\renewcommand\ttdefault{fvm} + +\begin{document} + +\title{The \pkgname{mathdesign} package} + +\author{Paul Pichaureau\footnote{\texttt{paul.pichaureau@alcandre.net}} \\ +{\Large \mdlogo} } + +\date{\today} + +\maketitle + + +\section{Introduction} + +The package \pkgname{mathdesign} replaces all the default mathematical +fonts of \TeX\ with a complete set of mathematical fonts, designed to +be combined with a text font of your choice. + +Provided fonts cover the full family of symbol of plain \TeX{} and +\LaTeX{}, the full set of the American Mathematical Society (\AmS) +symbols, the Ralph Smith's Formal Script symbol fonts (RSFS). Some +symbol used by the package \pkgname{textcomp}. Some extra symbols are +also defined. + +More fonts will be created and shared in the future! + +\subsection{Requirements} + +A complete \TeX{} installation is required. In particular, the text +fonts you want to use must be already present on your system. + +A \emph{recent} \TeX{} distribution is recommended (e.g. Mik\TeX{}\ +v2.2 or later, te\TeX{} v3.0 or later) as the configuration is +really simple with the \pkgname{updmap} utility. + +%% \subsection{The Math Design project} + +%% The main goal of the Math Design project is to provide +%% mathematical fonts for most of the text font freely available. + +%% All comments, glyph requests, piece of advice, opinions about these +%% fonts, will be warmly welcomed. + +\section{Installation} + +This package alone is useless. You have to install one of the full +set of fonts available. Please consult the provided README file. It deals +with all the installation and system configuration process. + +\section{Interesting features} + +\begin{itemize} + \item All the symbols are provided in normal and bold versions. + \item Support of all \LaTeX and \AmS symbols including + blackboard bold letters ($\mathbb Q$, $\mathbb R$, $\mathbb Z$). + \item Extra symbols, including \CT\euro \C\smallin \C\intclockwise + \C\ointclockwise \C\oiint \C\oiiint. + \item Various greek alphabets available. + \item Support of scaled sans serif and typewriter fonts. +\end{itemize} + +\pagebreak + +\section{Usage and configuration} + +To use one the font in your document call the \pkgname{mathdesign} +package with the appropriate option. + +\begin{center} + \begin{tabular}{p{3.5cm}|p{5.5cm}p{3cm}} + {\bf Text fonts} & \textbf{Option name} & \textbf{Package name }\\ + \hline \hline + Adobe Utopia & \optname{adobe-utopia}, \optname{utopia} + & \pkgname{mdput} \\ + URW Garamond & \optname{urw-garamond}, \optname{garamond} + & \pkgname{mdugm} \\ + Bitstream Charter& \optname{bitstream-charter}, \optname{charter} + & \pkgname{mdbch} + \end{tabular} +\end{center} + +In the preceding table, option on the same line are equivalent. Then, +the following lines are equivalent: +\begin{verbatim} + \usepackage[adobe-utopia]{mathdesign} + \usepackage[utopia]{mathdesign} +\end{verbatim} + +The package tries to redefine all the commands related to the glyphs +present in the fonts. As far as I know, they work fine, but you +shouldn't use package like \pkgname{amsfonts} or \pkgname{mathrsfs} in +conjunction with \pkgname{mathdesign}. A package warning will be +emitted in such case. + +Don't forget that many packages redefine the same command than +\pkgname{mathdesign} (the euro currency symbol is the worst example of +this situation). You have to take care of the possible +package clashes. + +The default encoding is automatically set to T1. + +\subsection{Options} + +\label{sec:options} + +Some \pkgname{mathdesign} options use the \pkgname{keyval} interface. As usual with \pkgname{keyval}, any spaces between words are ignored and multiple lines are allowed. Moreover, options are order-independent. + +For example, the following line asks for Bitstream Charter and upright +capitals letters : +\begin{verbatim} + \usepackage[charter, uppercase=upright]{mathdesign} +\end{verbatim} + +The following options are available: +\begin{description} + \item[\optname{greekfamily} = <value>] three greek fonts are + available : the default mathdesign font, \texttt{didot} which came + from GFS Didot, and \texttt{bodoni} taken from GFS Bodoni. These two fonts + are released by the Greek Font + Society\footnote{\texttt{http://greekfontsociety.gr/}}. + + % The last font is extracted from the commercial font Adobe Minion + % Pro. This family is shipped with recent versions of Adobe Acrobat Reader + + \item[\optname{expert}] if the corresponding postscript font + are available on your system, this option activates them. See + section \ref{sec:sc} for more informations. + + \item[\optname{euro}] activates the \pkgname{mathdesign} + version of the euro currency symbol (\CT{\euro}). This + redefinition takes place \verb:\AtBeginDocument:. Default value: + \texttt{true}. + + \item[\optname{scaled}= <value> {true}] Scale all the + mathdesign fonts (including math and small caps when available). + Default value: \texttt{1.0}. + + \item[\optname{sfscaled}= \texttt{true} \emph{or} + \texttt{false}] Use a scaled version of common sans serif fonts + (see explanations in section \ref{sec:scaled}). Default value: + \texttt{true}. + + \item[\optname{ttscaled}= \texttt{true} \emph{or} + \texttt{false}] Use a scaled version of common typewriter fonts + (see explanations in section \ref{sec:scaled}). Default value: + \texttt{true}. + +%% \item[\optname{extrasymb}] activates some extra symbols and +%% commands. See section \ref{sec:extras}. +%% \item[\optname{fraktur}] defines a scaled version of the \AmS{} +%% Euler Fraktur font. This font is available \emph{via} the +%% \verb|\mathfrak| command: +%% \begin{quotation} +%% \verb|$\mathfrak{AC}$| \qquad gives \qquad $\mathfrak{AC}$ +%% \end{quotation} + + \item[\optname{uppercase}\ = \texttt{upright} \emph{or} + \texttt{italicized}] \par + In math mode, use \texttt{upright} or \texttt{italicized} + uppercase letters. Default value: \texttt{italicized}. + + \item[\optname{lowercase}\ = \texttt{upright} \emph{or} + \texttt{italicized}] \par + In math mode, use \texttt{upright} or \texttt{italicized} + lowercase letters. Default value: \texttt{italicized}. + + \item[\optname{greekuppercase}= \texttt{upright} \emph{or} + \texttt{italicized}] + + In math mode, use \texttt{upright} or \texttt{italicized} + uppercase greek letters. Default value: \texttt{upright}. + + \item[\optname{greeklowercase}= \texttt{upright} \emph{or} + \texttt{italicized}] + + In math mode, use \texttt{upright} or \texttt{italicized} + lowercase greek letters. Default value: \texttt{italicized}. + +%% \item[\optname{mdcal}] the \verb|\mathcal| command points to +%% the formal script letters: +%% \begin{quotation} +%% \verb|$\mathcal{AC}$| \qquad gives \qquad $\mathscr{AC}$ +%% \end{quotation} + +%% \item[\optname{cmcal}] the \verb|\mathcal| command points to +%% a scaled version of the \TeX{} calligraphic font: +%% \begin{quotation} +%% \verb|$\mathcal{AC}$| \qquad gives \qquad $\mathcal{AC}$ +%% \end{quotation} +%% this is the default behaviour. Whatever the option, the +%% \verb|\mathscr| command produces formal script letters (i.e. +%% \verb|$\mathscr{AC}$| gives $\mathscr{AC}$ with both options). + +\end{description} + +In french traditional typography, uppercase letters and lowercase +greek letters are not italicised contrary to the english usage. For +example +$$ \forall t \in [0,1], \qquad (1-t)\mathrm{A} + t \mathrm{B} \in +[\mathrm{AB}] $$ +$$ \mathrm{R} = a^2 + b^2, \qquad \thetaup = \arctan \frac{a}{b} \quad +\Longrightarrow \quad a\cos \alphaup + b \sin \alphaup = \mathrm{R} \cos +(\alphaup + \thetaup)$$ +are the ``french'' version of +$$ \forall t \in [0,1], \qquad (1-t)A + t B \in [AB] $$ +$$ R = a^2 + b^2, \qquad \theta = \arctan \frac{a}{b} \quad + \Longrightarrow \quad a\cos \alpha + b \sin \alpha = R \cos + (\alpha + \theta)$$ + + If you want to typeset a document in the old french traditions, use + the following options: +\begin{verbatim} + \usepackage[uppercase=upright, greeklowercase=upright, garamond]{mathdesign} +\end{verbatim} + +Please, note that upright and slanted versions of the greek letters +are always available, using commands $\verb|\alphaup|$, +$\verb|\alphait|$, etc. (see tables \ref{tab:greekup} and +\ref{tab:greekit}). + +\subsection{Small capitals and oldstyle figures} + +\subsubsection{Faked small capitals} + +\label{sec:sc} + +It is not in the goals of the Math Design project to provide small +capitals and typographic refinements of this sort. Anyway, ``faked'' +small caps are defined by default\footnote{Two new \textsf{nfss} shape + are defined and associated with these faked small capitals : + \texttt{\textbackslash fscshape} (variant \texttt{fsc}) for the + upright faked small capitals and \texttt{\textbackslash ficshape} + (variante \texttt{fix}) for the slanted faked small caps}. If you +don't load the package with the option \optname{expert} then these +small capitals will be used in your document. + +\subsubsection{Commercial small capitals} + +Alternatively you can buy the corresponding commercial fonts and use +them with the \pkgname{mathdesign} package. + +To use commercial small capitals with the charter and utopia version of the +fonts, you must: +\begin{enumerate} + \item Obtain the corresponding commercial fonts from your favorite font + seller. This is the font you'll need : + + \begin{tabular}{l|ll} + Bitstream Charter \qquad + & Charter Small Cap \qquad &(bchrc8a.pfb) \\ + & Charter Bold Small Cap \qquad & (bchbc8a.pfb) \\[12 pt] + Adobe Utopia \qquad + & Utopia Expert Regular \qquad & (putr8x.pfb) \\ + & Utopia Expert Bold \qquad & (putb8x.pfb) + \end{tabular} + +You need the Windows Postscript versions of the fonts. + + \item Rename the preceding font files. I have indicated in +parenthesis the new name of each file. + + \item Put the renamed file somewhere \TeX will be able to find +them: \verb|$TEXMF/fonts/type1/bitsrea/charter| or \verb|$TEXMF/fonts/type1/adobe/utopia| should be fine. + + \item Refresh your texmf file database, by running an utility like +\texttt{mktexlsr} or \texttt{texconfig rehash}. + + \item \textsc{That's it !} Now use the \pkgname{mathdesign} +package with the option \optname{expert}. Small caps and oldstyle +figure are available with the command \verb|\textsc{...}|. + +\end{enumerate} + +\textbf{Disclaimer} The preceding informations are only +\emph{indications} of a possible way to install and use commercial +products. I'm not responsible for any damage caused, in whole or in +part, by following these instructions. + +Anyway, I'll try to help you the best I can to properly install any +commercial fonts you have. + +\subsection{Sans serif and typewriter fonts} +\label{sec:scaled} + +\begin{table}[t] + \label{tab:scaledfont} + \centering + \begin{tabular}{l|l} + \textbf{Nickname} & \textbf{Font} \\ \hline \hline + \FSS{cmss} {Computer Modern Sans Serif} \\ + \FSS{fvs} {Bera sans (aka Bitstream Vera Sans)} \\ + \FSS{phv} {Adobe Helvetica} \\ +%% \FSS{uag} {URW Gothic} \\ +%% \FSS{uhv} {URW Helvetica} \\ + \\ + \FSS{fvm} {Bera mono (aka Bitstream Vera Mono)} \\ + \FTT{cmtt} {Computer Modern Typewriter} \\ + \FTT{pcr} {Adobe Courier} \\ +%% \FTT{ucr} {URW Courier} \\ + \end{tabular} + \caption{Scaled fonts defined.} +\end{table} + +In addition to the mathematical fonts, the \pkgname{mathdesign} +package defines ``scaled'' versions of the common sans serif and +typewriter fonts. + +For example, in \LaTeX, if you want to set Adobe Helvetica as your +main sans serif font, you use the following command +\begin{quotation} + \verb|\renewcommand{\sfdefault}{phv}| +\end{quotation} +where \texttt{phv} is the name of Adobe Helvetica using Karl Berry's +fontname convention. + +\renewcommand{\sfdefault}{phv} + +But Adobe Helvetica will not fit well with your text font. Letters +have different heights: +\begin{quotation} +\Huge a{\slightsize\textsf{a}}% +\Huge b{\slightsize\textsf{b}}% +\Huge A{\slightsize\textsf{A}}% +\Huge e{\slightsize\textsf{e}}% +\Huge D{\slightsize\textsf{D}} +\end{quotation} + +\pkgname{mathdesign} defines a scaled version of this font. This version automatically replace the normal one. So, with the option \optname{sfscaled}, the usual command +\begin{quotation} + \verb|\renewcommand{\sfdefault}{phv}| +\end{quotation} +will give you an optically adjusted version of Adobe Helvetica: +\begin{quotation} + \Huge a\textsf{a}b\textsf{b}A\textsf{A}c\textsf{c}D\textsf{D} +\end{quotation} +As you can see on the above example, lowercase letters have now the +same height. It is not necessary the case of uppercase letters. + +Don't expect amazing result of these feature. If you mix sans serif +and typewriter fonts in the text, then the design disparities will be +become quickly obvious. + +The table \ref{tab:scaledfont} enumerates all the scaled fonts defined by +the mathdesign package. + +\subsection{Configuration file} + +Each family has its own configuration file (e.g. +\filename{mdput.cfg}). You can put in these file all the commands +that \LaTeX{} should load with the family. Consult the provided files +for more informations. + +\section{More fonts and symbols} + +\begin{table}[t] + + \centering + \begin{tabular}{*3{ll}} +\X\alphaup & \X\iotaup & \X\sigmaup \\ +\X\betaup & \X\kappaup & \X\varsigmaup \\ +\X\gammaup & \X\lambdaup & \X\tauup \\ +\X\deltaup & \X\muup & \X\upsilonup \\ +\X\epsilonup & \X\nuup & \X\phiup \\ +\X\varepsilonup & \X\xiup & \X\varphiup \\ +\X\zetaup & \X\piup & \X\chiup \\ +\X\etaup & \X\varpiup & \X\psiup \\ +\X\thetaup & \X\rhoup & \X\omegaup \\ +\X\varthetaup & \X\varrhoup \\ +\\ +\X \varkappaup$^{\dagger}$ & \X\digammaup$^{\dagger}$\\ +\\ +\\ + \X\Gammaup & \X\Xiup & \X\Phiup \\ + \X\Deltaup & \X\Piup & \X\Psiup \\ + \X\Thetaup & \X\Sigmaup & \X\Omegaup \\ + \X\Lambdaup & \X\Upsilonup \\ +\end{tabular} +\caption{Upright Greek Letters \label{tab:greekup}} +\end{table} +\begin{table}[t] + + \centering + \begin{tabular}{*3{ll}} +\X\alphait & \X\iotait & \X\sigmait \\ +\X\betait & \X\kappait & \X\varsigmait \\ +\X\gammait & \X\lambdait & \X\tauit \\ +\X\deltait & \X\muit & \X\upsilonit \\ +\X\epsilonit & \X\nuit & \X\phiit \\ +\X\varepsilonit & \X\xiit & \X\varphiit \\ +\X\zetait & \X\piit & \X\chiit \\ +\X\etait & \X\varpiit & \X\psiit \\ +\X\thetait & \X\rhoit & \X\omegait \\ +\X\varthetait & \X\varrhoit \\ +\\ +\X \varkappait$^{\dagger}$ & \X\digammait$^{\dagger}$\\ +\\ + \X\Gammait & \X\Xiit & \X\Phiit \\ + \X\Deltait & \X\Piit & \X\Psiit \\ + \X\Thetait & \X\Sigmait & \X\Omegait \\ + \X\Lambdait & \X\Upsilonit \\ +\end{tabular} + \caption{Italicised Greek Letters \label{tab:greekit}} +\end{table} + +\subsection{Script and fraktur alphabets} + +The commands \verb|\mathfrak|, \verb|\mathscr| and \verb|\mathbb| are +defined by \pkgname{mathdesign} and have the usual meanings: +\begin{itemize} + \item \verb|\mathfrak| for fraktur letters \emph{e.g.} + \verb|\mathfrak{A, B, S, a, b, s}| gives $\mathfrak{A}, \mathfrak{B}, + \mathfrak{S}, \mathfrak{a}, \mathfrak{b}, \mathfrak{s}$ + \item \verb|\mathscr| for script letters \emph{e.g.} + \verb|\mathscr{A, B, S }| gives $\mathscr{A}, \mathscr{B}, \mathscr{S}$ + \item \verb|\mathbb| for blackboard letters \emph{e.g.} + \verb|\mathbb{A, B, S }| gives $\mathbb{A}, \mathbb{B}, \mathbb{S}$ +\end{itemize} + +\subsection{Extra symbols}\label{sec:extras} + +For completeness, some commands and symbols have been added: +\begin{itemize} + \item The command \C\iddots typesets diagonal dots, similar to + \AmS's \C\ddots. + + \item Two new big delimiters are available, + \CC\leftwave{\leftwave\right.} and \CC\leftevaw{\leftevaw\right.} +(and the corresponding right delimiters, of course). This is an example: +$$ \leftwave \frac{a+b+c}{3} \rightwave $$ + + \item The commands \C\utimes, \C\dtimes and \C\udtimes are + similar to \AmS's \C\ltimes, \C\rtimes and \C\Join. + + \item The \C\in symbol has now a small version \C\smallin, + which can be negated (\C\notsmallin). \C\owns has also a small + version (\C\smallowns and \C\notsmallowns). + + \item Various new integrals are defined : \C\intclockwise + \C\ointclockwise \C\oiint \C\oiiint. + + \item The {\docttfamily\string\figurecircled} command is the +equivalent of \verb|\textcircled| circled command, but the circle is +especially designed for figures : \verb|\figurecircled{1}| gives +\figurecircled{1} (better than \verb|\textcircled{1}| : +\textcircled{1}). + +\end{itemize} + +Some Text Companion symbols are also defined, including \CT\texteuro +(see table \ref{text-comp}). To use them, you must load the +\pkgname{textcomp} package. + + +\subsection{Copyright notice} + +The fonts provided by the Math Design project are free software; +you can redistribute it and/or modify it under the terms of the GNU +General Public License as published by the Free Software Foundation; +either version 2 of the License, or (at your option) any later +version. + +This program is distributed in the hope that it will be useful, but +WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +General Public License (appendix \ref{app:gpl} of this document) for +more details. + +\subsection{Acknowledgements} + +I have borrowed many codes, ideas, glyphs from various sources, and I +would like to thanks all the authors of the original material, among +others Alan Jeffrey and Jeremy Gibbons (\pkgname{stmaryrd}), Yannis +Haralambous (\pkgname{yhmath} and the great greek fonts from $\Omega$), +Young Ryu (\pkgname{txfonts/pxfonts}), Antony Phan (\pkgname{mathabx}) +and the \AmS. + +I would like to thank in particular C\'eline Chevalier, S\'ebastien +Desvreux and Walter Appel for their kind support and friendly help. + +%% horizontal brace + +%% wave + +% llbracket + +% wide accents + +%% \subsection{Technical extra} + +%% Following an idea of the \pkgname{fontinst} package, the following +%% \verb|fontdimen| have been defined. These parameters concerns the text font: +%% \smallskip +%% \begin{center} +%% \begin{tabular}[t]{c|c|l} +%% \hline +%% \textbf{Parameter} & \textbf{Name} & \textbf{Description} \\\hline\hline +%% \verb|fontdimen8| & capheight & \quad Postscript CapHeight \\ +%% \verb|fontdimen9| & ascender & \quad Postscript Ascender \\ +%% \verb|fontdimen10| & acccapheight & \quad accented cap height \\ +%% \verb|fontdimen11| & descender & \quad Postscript Descender \\ +%% \verb|fontdimen12| & maxheight & \quad max height (from Postscript +%% FontBBox) \\ +%% \verb|fontdimen13| & maxdepth & \quad max depth (from Postscript +%% FontBBox)\\ +%% \verb|fontdimen14| & digitwidth & \quad digit width (width of the 6)\\ +%% %% \verb|fontdimen15| & verticalstem & dominant width of verical stems \\ +%% \verb|fontdimen16| & baselineskip & \quad baselineskip (12pt) +%% \end{tabular} +%% \end{center} + + +%% \section{Known issues and workarounds} + +%% Some fonts use + +\setcounter{tocdepth}{2} +\tableofcontents + +\appendix + +\section{Commands available} + +This is a remind of all the commands redefined in the +\pkgname{mathdesign} package\footnote{The following table are strongly + inspired from the excellent Scoot Pakin's \emph{Comprehensive + \LaTeX{} Symbol List} + \url{http://www.ctan.org/tex-archive/help/Catalogue/entries/comprehe + nsive.html}}. + +\begin{symtable}{Math Design extra symbols} +\label{mdbin} +\begin{tabular}{*4{cl}} +\X\smallin & +\X\smallowns & +\X\notsmallin & +\X\notsmallowns \\ +\X\rightangle +\end{tabular} + +%% \bigskip +%% \notpredefinedmessage +\end{symtable} + +\begin{symtable}{Variable-sized Math Design Operators} +\label{mdop} +\renewcommand{\arraystretch}{1.75} +\begin{tabular}{*2{c@{$\:$}cl@{\qquad}}c@{$\:$}cl} +\R\intclockwise & +\R\ointclockwise & +\R\ointctrclockwise \\ +\R\oiint & +\R\oiiint \\ +\end{tabular} +\end{symtable} + + +\begin{symtable}{Binary Operators} +\label{bin} +\begin{tabular}{*4{cl}} +\X\amalg & \X\cup & \X\oplus & \X\times \\ +\X\ast & \X\dagger & \X\oslash & \X\triangleleft \\ +\X\bigcirc & \X\ddagger & \X\otimes & \X\triangleright \\ +\X\bigtriangledown & \X\diamond & \X\pm & \X\unlhd$^*$ \\ +\X\bigtriangleup & \X\div & \X\rhd$^*$ & \X\unrhd$^*$ \\ +\X\bullet & \X\lhd$^*$ & \X\setminus & \X\uplus \\ +\X\cap & \X\mp & \X\sqcap & \X\vee \\ +\X\cdot & \X\odot & \X\sqcup & \X\wedge \\ +\X\circ & \X\ominus & \X\star & \X\wr \\ +\end{tabular} + +\bigskip +\notpredefinedmessage +\end{symtable} + + +\begin{symtable}{Variable-sized Math Operators} +\label{op} +\renewcommand{\arraystretch}{1.75} +\begin{tabular}{*2{c@{$\:$}cl@{\qquad}}c@{$\:$}cl} +\R\bigcap & \R\bigotimes & \R\bigwedge \\ +\R\bigcup & \R\bigsqcup & \R\sum \\ +\R\bigodot & \R\biguplus & \R\int \\ +\R\bigoplus & \R\bigvee & \R\oint \\ +\R\prod & \R\coprod \end{tabular} +\end{symtable} + + +\begin{symtable}{Binary Relations} +\label{rel} +\begin{tabular}{*4{cl}} +\X\approx & \X\equiv & \X\perp & \X\smile \\ +\X\asymp & \X\frown & \X\prec & \X\succ \\ +\X\bowtie & \X\Join$^*$ +& \X\preceq & \X\succeq \\ +\X\cong & \X\mid & \X\propto & \X\vdash \\ +\X\dashv & \X\models & \X\sim \\ +\X\doteq & \X\parallel & \X\simeq \\ +\end{tabular} +\bigskip +\notpredefinedmessage +\end{symtable} + + + +\begin{symtable}{Subset and Superset Relations} +\label{subsets} +\begin{tabular}{*3{cl}} +\X\sqsubset$^*$ +& \X\sqsupseteq & \X\supset \\ +\X\sqsubseteq & \X\subset & \X\supseteq \\ +\X\sqsupset$^*$ +& \X\subseteq \\ +\end{tabular} +\bigskip +\notpredefinedmessage +\end{symtable} + +\begin{symtable}{Inequalities} +\label{inequal-rel} +\begin{tabular}{*5{cl}} +\X\geq & \X\gg & \X\leq & \X\ll & \X\neq \\ +\end{tabular} +\end{symtable} + + + +\begin{symtable}{Arrows} +\label{arrow} +\begin{tabular}{*3{cl}} +\X\Downarrow & \X\longleftarrow & \X\nwarrow \\ +\X\downarrow & \X\Longleftarrow & \X\Rightarrow \\ +\X\hookleftarrow & \X\longleftrightarrow & \X\rightarrow \\ +\X\hookrightarrow & \X\Longleftrightarrow & \X\searrow \\ +\X\leadsto$^*$ & \X\longmapsto & \X\swarrow \\ +\X\leftarrow & \X\Longrightarrow & \X\uparrow \\ +\X\Leftarrow & \X\longrightarrow & \X\Uparrow \\ +\X\Leftrightarrow & \X\mapsto & \X\updownarrow \\ +\X\leftrightarrow & \X\nearrow & \X\Updownarrow \\ +\end{tabular} +\notpredefinedmessage +\end{symtable} + + +\begin{symtable}{Harpoons} +\label{harpoons} +\begin{tabular}{*2{cl}} +\X\leftharpoondown & \X\rightharpoondown \\ +\X\leftharpoonup & \X\rightharpoonup \\ + \X\rightleftharpoons +\end{tabular} +\end{symtable} + + +\begin{symtable}{Letter-like Symbols} +\label{letter-like} +\begin{tabular}{*5{cl}} +\X\bot & \X\forall & \X\imath & \X\ni & \X\top \\ +\X\ell & \X\hbar & \X\in & \X\partial & \X\wp \\ +\X\exists & \X\Im & \X\jmath & \X\Re \\ +\end{tabular} +\end{symtable} + + + +\begin{symtable}{Extension Characters} +\label{ext} +\begin{tabular}{*2{cl}} +\X\relbar & \X\Relbar \\ +\end{tabular} +\end{symtable} + + + + +\begin{symtable}{Variable-sized Delimiters} +\label{dels} +\renewcommand{\arraystretch}{1.75} +\begin{tabular}{ccl@{\quad}ccl@{\quad}ccl@{\quad}ccl} +\N\downarrow & \N\Downarrow & \N{[} & \N{]} \\ +\N\langle & \N\rangle & \N| & \N\| \\ +\N\lceil & \N\rceil & \N\uparrow & \N\Uparrow \\ +\N\lfloor & \N\rfloor & \N\updownarrow & \N\Updownarrow \\ +\N( & \N) & \N\{ & \N\} \\ +\N/ & \N\backslash \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{Large, Variable-sized Delimiters} +\label{ldels} +\renewcommand{\arraystretch}{2.5} +\begin{tabular}{*3{ccl@{\qquad}}ccl} +\Y\lmoustache & \Y\rmoustache & \Y\lgroup & \Y\rgroup \\ +\Y\arrowvert & \Y\Arrowvert & \Y\bracevert +\end{tabular} +\end{symtable} + +\begin{symtable}{Math-mode Accents} +\label{math-accents} +\begin{tabular}{*4{cl}} +\W\acute{a} & \W\check{a} & \W\grave{a} & \W\tilde{a} \\ +\W\bar{a} & \W\ddot{a} & \W\hat{a} & \W\vec{a} \\ +\W\breve{a} & \W\dot{a} & \W\mathring{a} \\ +\end{tabular} + +\end{symtable} + + + +\begin{symtable}{Extensible Accents} +\label{extensible-accents} +\renewcommand{\arraystretch}{1.5} +\begin{tabular}{*4l} +\W\widetilde{abc}$^*$ & \W\widehat{abc}$^*$ \\ +\W\overleftarrow{abc}$^\dag$ & \W\overrightarrow{abc}$^\dag$ \\ +\W\overline{abc} & \W\underline{abc} \\ +\W\overbrace{abc} & \W\underbrace{abc} \\[5pt] +\W\sqrt{abc} \\ +\end{tabular} +\end{symtable} + + +\begin{symtable}{\AmS\ Extensible Accents} +\label{extensible-arrows} +\renewcommand{\arraystretch}{1.5} +\begin{tabular}{cl@{\qquad}cl} +\W\overleftrightarrow{abcde} & \W\underleftrightarrow{abcde} \\ +\W\underleftarrow{abcde} & \W\underrightarrow{abcde} \\ +\W\xleftarrow{abcde} & \W\xrightarrow{abcde} \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{Dots} +\begin{tabular}{*{3}{cl@{\hspace*{1.5cm}}}cl} +\X\cdotp & \X\colon & \X\ldotp & \X\vdots \\ +\X\cdots & \X\ddots & \X\ldots & \X\iddots$^*$ \\ +\end{tabular} +\bigskip +\notpredefinedmessage +\end{symtable} + + + + +\begin{symtable}{Miscellaneous \LaTeX {} Symbols} +\label{ord} +\begin{tabular}{*4{cl}} +\X\aleph & \X\Diamond$^*$ & \X\infty & \X\prime \\ +\X\angle & \X\diamondsuit & \X\mho$^*$ & \X\sharp \\ +\X\backslash & \X\emptyset & \X\nabla & \X\spadesuit \\ +\X\Box$^{*}$ & \X\flat & \X\natural & \X\surd \\ +\X\clubsuit & \X\heartsuit & \X\neg & \X\triangle \\ +\end{tabular} +\bigskip +\notpredefinedmessage +\end{symtable} + +\begin{symtable}{\LaTeX{} Commands Defined to Work in Both Math and Text Mode} +\label{math-text} +\begin{tabular}{*3{ccl@{\qqquad}}ccl} +\V\$ & \V\_ & \V\ddag & \V\{ \\ +\V\P & \V\copyright & \V\dots & \V\} \\ +\V\S & \V\dag & \V\pounds \\ +\end{tabular} +\end{symtable} + + +\begin{symtable}{Predefined \LaTeX{} Text-mode Commands} +\label{text-predef} +\begin{tabular}{ccl@{\qqquad}ccl} +\V\textasciicircum & \V\textless \\ +\V\textasciitilde & \V\textordfeminine \\ +\V\textasteriskcentered & \V\textordmasculine \\ +\V\textbackslash & \V\textparagraph \\ +\V\textbar & \V\textperiodcentered \\ +\V\textbraceleft & \V\textquestiondown \\ +\V\textbraceright & \V\textquotedblleft \\ +\V\textbullet & \V\textquotedblright \\ +\V\textcopyright + & \V\textquoteleft \\ +\V\textdagger & \V\textquoteright \\ +\V\textdaggerdbl & \V\textregistered \\ +\V\textdollar & \V\textsection \\ +\V\textellipsis & \V\textsterling \\ +\V\textemdash & \V\texttrademark \\ +\V\textendash & \V\textunderscore \\ +\V\textexclamdown & \V\textvisiblespace \\ +\V\textgreater \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{Text-mode Accents} +\label{text-accents} + \begin{tabular}{*3{cl@{\hspace*{3em}}}cl} + \Q\" & \Q\` & \Q\k \\ + \Q\' & \Q\b & \Q\r \\ + \Q\. & \Q\c & \QQ\t \\ + \Q\= & \Q\d & \Q\u \\ + \Q\^ & \Q\H & \Q\v \\ + \Q\~ \\ + \end{tabular} +\par\medskip +\begin{tabular}{cl@{\hspace*{3em}}cl} + \Q\textcircled +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Commands Defined to Work in Both Math and Text Mode} +\label{ams-math-text} +\begin{tabular}{*2{cl@{\qquad}}cl} +\X\checkmark & \X\circledR & \X\maltese +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Binary Operators} +\label{ams-bin} +\begin{tabular}{*3{cl}} +\X\barwedge & \X\circledcirc & \X\intercal \\ +\X\boxdot & \X\circleddash & \X\Join \\ +\X\boxminus & \X\Cup & \X\leftthreetimes \\ +\X\boxplus & \X\curlyvee & \X\ltimes \\ +\X\boxtimes & \X\curlywedge & \X\rightthreetimes \\ +\X\Cap & \X\divideontimes & \X\rtimes \\ +\X\centerdot & \X\dotplus & \X\smallsetminus \\ +\X\circledast & \X\doublebarwedge & \X\veebar \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Extra Binary Operators (see section~\ref{sec:extras})} +\label{ams-extra-bin} +\begin{tabular}{*3{cl}} +\X\utimes & \X\dtimes & \X\udtimes \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Variable-sized Math Operators} +\label{ams-large} +\renewcommand{\arraystretch}{1.85} +\begin{tabular}{c@{$\:$}cl@{\qquad}c@{$\:$}cl} +\R\idotsint & \R\iiint \\[12pt] +\R\iiiint & \R\iint \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Binary Relations} +\label{ams-rel} +\begin{tabular}{*3{cl}} +\X\approxeq & \X\eqcirc & \X\succapprox \\ +\X\backepsilon & \X\fallingdotseq & \X\succcurlyeq \\ +\X\backsim & \X\multimap & \X\succsim \\ +\X\backsimeq & \X\pitchfork & \X\therefore \\ +\X\because & \X\precapprox & \X\thickapprox \\ +\X\between & \X\preccurlyeq & \X\thicksim \\ +\X\Bumpeq & \X\precsim & \X\varpropto \\ +\X\bumpeq & \X\risingdotseq & \X\Vdash \\ +\X\circeq & \X\shortmid & \X\vDash \\ +\X\curlyeqprec & \X\shortparallel & \X\Vvdash \\ +\X\curlyeqsucc & \X\smallfrown & \\ +\X\doteqdot & \X\smallsmile & \\ +\end{tabular} +\end{symtable} + + +\begin{symtable}{\AmS\ Negated Binary Relations} +\label{ams-nrel} +\begin{tabular}{*3{cl}} +\X\ncong & \X\nshortparallel & \X\nVDash \\ +\X\nmid & \X\nsim & \X\precnapprox \\ +\X\nparallel & \X\nsucc & \X\precnsim \\ +\X\nprec & \X\nsucceq & \X\succnapprox \\ +\X\npreceq & \X\nvDash & \X\succnsim \\ +\X\nshortmid & \X\nvdash \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Subset and Superset Relations} +\label{ams-subsets} +\begin{tabular}{*3{cl}} +\X\nsubseteq & \X\subseteqq & \X\supsetneqq \\ +\X\nsupseteq & \X\subsetneq & \X\varsubsetneq \\ +\X\nsupseteqq & \X\subsetneqq & \X\varsubsetneqq \\ +\X\sqsubset & \X\Supset & \X\varsupsetneq \\ +\X\sqsupset & \X\supseteqq & \X\varsupsetneqq \\ +\X\Subset & \X\supsetneq \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Inequalities} +\label{ams-inequal-rel} +\begin{tabular}{*3{cl}} +\X\eqslantgtr & \X\gtrless & \X\lneq \\ +\X\eqslantless & \X\gtrsim & \X\lneqq \\ +\X\geqq & \X\gvertneqq & \X\lnsim \\ +\X\geqslant & \X\leqq & \X\lvertneqq \\ +\X\ggg & \X\leqslant & \X\ngeq \\ +\X\gnapprox & \X\lessapprox & \X\ngeqq \\ +\X\gneq & \X\lessdot & \X\ngeqslant \\ +\X\gneqq & \X\lesseqgtr & \X\ngtr \\ +\X\gnsim & \X\lesseqqgtr & \X\nleq \\ +\X\gtrapprox & \X\lessgtr & \X\nleqq \\ +\X\gtrdot & \X\lesssim & \X\nleqslant \\ +\X\gtreqless & \X\lll & \X\nless \\ +\X\gtreqqless & \X\lnapprox \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Triangle Relations} +\label{ams-triangle-rel} +\begin{tabular}{*4{cl}} +\X\blacktriangleleft & \X\ntriangleright & \X\trianglerighteq & \\ +\X\blacktriangleright & \X\ntrianglerighteq & \X\vartriangleleft \\ +\X\ntriangleleft &\X\ntrianglelefteq & \X\vartriangleright \\ +\X\trianglelefteq & \X\triangleq \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Arrows} +\label{ams-arrows} +\begin{tabular}{*3{cl}} +\X\circlearrowleft & \X\leftleftarrows & \X\rightleftarrows \\ +\X\circlearrowright & \X\leftrightarrows & \X\rightrightarrows \\ +\X\curvearrowleft & \X\leftrightsquigarrow & \X\rightsquigarrow \\ +\X\curvearrowright & \X\Lleftarrow & \X\Rsh \\ +\X\dashleftarrow & \X\looparrowleft & \X\twoheadleftarrow \\ +\X\dashrightarrow & \X\looparrowright & \X\twoheadrightarrow \\ +\X\downdownarrows & \X\Lsh & \X\upuparrows \\ +\X\leftarrowtail & \X\rightarrowtail & \\ +\end{tabular} +\end{symtable} + + +\begin{symtable}{\AmS\ Negated Arrows} +\label{ams-narrows} +\begin{tabular}{*3{cl}} +\X\nLeftarrow & \X\nLeftrightarrow & \X\nRightarrow \\ +\X\nleftarrow & \X\nleftrightarrow & \X\nrightarrow \\ +\end{tabular} +\end{symtable} + + +\begin{symtable}{\AmS\ Harpoons} +\label{ams-harpoons} +\begin{tabular}{*3{cl}} +\X\downharpoonleft & \X\leftrightharpoons & \X\upharpoonleft \\ +\X\downharpoonright & \X\rightleftharpoons & \X\upharpoonright \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Hebrew Letters} +\label{ams-hebrew} +\begin{tabular}{*6l} +\X\beth & \X\gimel & \X\daleth +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Letter-like Symbols} +\label{ams-letter-like} +\begin{tabular}{*3{cl}} +\X\Bbbk & \X\complement & \X\hbar \\ +\X\circledR & \X\Finv & \X\hslash \\ +\X\circledS & \X\Game & \X\nexists \\ +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Delimiters} +\label{ams-del} +\begin{tabular}{*2{cl}} +\X\ulcorner & \X\urcorner \\ +\X\llcorner & \X\lrcorner +\end{tabular} +\end{symtable} + +\begin{symtable}{\AmS\ Math-mode Accents} +\label{ams-math-accents} +\begin{tabular}{cl@{\hspace*{2em}}cl} +\W\dddot{a} & \W\ddddot{a} \\ +\end{tabular} +\end{symtable} + + +\begin{symtable}{Miscellaneous \AmS\ Symbols} +\label{ams-misc} +\begin{tabular}{*3{cl}} +\X\angle & \X\blacktriangledown & \X\mho \\ +\X\backprime & \X\diagdown & \X\sphericalangle \\ +\X\bigstar & \X\diagup & \X\square \\ +\X\blacklozenge & \X\eth & \X\triangledown \\ +\X\blacksquare & \X\lozenge & \X\varnothing \\ +\X\blacktriangle & \X\measuredangle & \X\vartriangle \\ + +\end{tabular} +\end{symtable} + +\begin{symtable}{Text Companion symbols (Not predefined in \LaTeX. Use the package \pkgname{textcomp})} +\label{text-comp} +\begin{tabular}{*2{cl}} +\T\textbardbl & +\T\textbigcircle \\ +\T\textborn & +\T\textbrokenbar \\ +\T\textbullet & +\T\textcelsius \\ +\T\textcent & +\T\textcentoldstyle \\ +\T\textcopyright & +\T\textdagger \\ +\T\textdaggerdbl & +\T\textdegree \\ +\T\textdied & +\T\textdivorced \\ +\T\textdollar & +\T\textdollaroldstyle \\ +\T\textdownarrow & +\T\texteightoldstyle \\ +\T\textestimated & +\T\textfiveoldstyle \\ +\T\textfouroldstyle & +\T\textguarani \\ +\T\textlbrackdbl & +\T\textleftarrow \\ +\T\textlira & +\T\textmarried \\ +\T\textmu & +\T\textnineoldstyle \\ +\T\textnumero & +\T\textohm \\ +\T\textonehalf & +\T\textoneoldstyle \\ +\T\textonequarter & +\T\textopenbullet \\ +\T\textordfeminine & +\T\textordmasculine \\ +\T\textpertenthousand & +\T\textperthousand \\ +\T\textpm & +\T\textrbrackdbl \\ +\T\textregistered & +\T\textrightarrow \\ +\T\textsection & +\T\textsevenoldstyle \\ +\T\textsixoldstyle & +\T\textsterling \\ +\T\textsurd & +\T\textthreeoldstyle \\ +\T\textthreequarters & +\T\texttrademark \\ +\T\texttwooldstyle & +\T\textuparrow \\ +\T\textuparrow & +\T\textzerooldstyle \\ +\T\texteuro +\end{tabular} +\end{symtable} + + +\newpage + +\section*{The GNU General Public License} + +\label{app:gpl} + +\begin{center} +{\parindent 0in + +Version 2, June 1991 + +Copyright \copyright\ 1989, 1991 Free Software Foundation, Inc. + +\bigskip + +59 Temple Place - Suite 330, Boston, MA 02111-1307, USA + +\bigskip + +Everyone is permitted to copy and distribute verbatim copies +of this license document, but changing it is not allowed. +} +\end{center} + +\begin{center} +{\bf\large Preamble} +\end{center} + + +The licenses for most software are designed to take away your freedom to +share and change it. By contrast, the GNU General Public License is +intended to guarantee your freedom to share and change free software---to +make sure the software is free for all its users. This General Public +License applies to most of the Free Software Foundation's software and to +any other program whose authors commit to using it. (Some other Free +Software Foundation software is covered by the GNU Library General Public +License instead.) You can apply it to your programs, too. + +When we speak of free software, we are referring to freedom, not price. +Our General Public Licenses are designed to make sure that you have the +freedom to distribute copies of free software (and charge for this service +if you wish), that you receive source code or can get it if you want it, +that you can change the software or use pieces of it in new free programs; +and that you know you can do these things. + +To protect your rights, we need to make restrictions that forbid anyone to +deny you these rights or to ask you to surrender the rights. These +restrictions translate to certain responsibilities for you if you +distribute copies of the software, or if you modify it. + +For example, if you distribute copies of such a program, whether gratis or +for a fee, you must give the recipients all the rights that you have. You +must make sure that they, too, receive or can get the source code. And +you must show them these terms so they know their rights. + +We protect your rights with two steps: (1) copyright the software, and (2) +offer you this license which gives you legal permission to copy, +distribute and/or modify the software. + +Also, for each author's protection and ours, we want to make certain that +everyone understands that there is no warranty for this free software. If +the software is modified by someone else and passed on, we want its +recipients to know that what they have is not the original, so that any +problems introduced by others will not reflect on the original authors' +reputations. + +Finally, any free program is threatened constantly by software patents. +We wish to avoid the danger that redistributors of a free program will +individually obtain patent licenses, in effect making the program +proprietary. To prevent this, we have made it clear that any patent must +be licensed for everyone's free use or not licensed at all. + +The precise terms and conditions for copying, distribution and +modification follow. + +\begin{center} +{\Large Terms and Conditions For Copying, Distribution and + Modification} +\end{center} + + +%\renewcommand{\theenumi}{\alpha{enumi}} +\begin{enumerate} + +\addtocounter{enumi}{-1} + +\item + +This License applies to any program or other work which contains a notice +placed by the copyright holder saying it may be distributed under the +terms of this General Public License. The ``Program'', below, refers to +any such program or work, and a ``work based on the Program'' means either +the Program or any derivative work under copyright law: that is to say, a +work containing the Program or a portion of it, either verbatim or with +modifications and/or translated into another language. (Hereinafter, +translation is included without limitation in the term ``modification''.) +Each licensee is addressed as ``you''. + +Activities other than copying, distribution and modification are not +covered by this License; they are outside its scope. The act of +running the Program is not restricted, and the output from the Program +is covered only if its contents constitute a work based on the +Program (independent of having been made by running the Program). +Whether that is true depends on what the Program does. + +\item You may copy and distribute verbatim copies of the Program's source + code as you receive it, in any medium, provided that you conspicuously + and appropriately publish on each copy an appropriate copyright notice + and disclaimer of warranty; keep intact all the notices that refer to + this License and to the absence of any warranty; and give any other + recipients of the Program a copy of this License along with the Program. + +You may charge a fee for the physical act of transferring a copy, and you +may at your option offer warranty protection in exchange for a fee. + +\item + +You may modify your copy or copies of the Program or any portion +of it, thus forming a work based on the Program, and copy and +distribute such modifications or work under the terms of Section 1 +above, provided that you also meet all of these conditions: + +\begin{enumerate} + +\item + +You must cause the modified files to carry prominent notices stating that +you changed the files and the date of any change. + +\item + +You must cause any work that you distribute or publish, that in +whole or in part contains or is derived from the Program or any +part thereof, to be licensed as a whole at no charge to all third +parties under the terms of this License. + +\item +If the modified program normally reads commands interactively +when run, you must cause it, when started running for such +interactive use in the most ordinary way, to print or display an +announcement including an appropriate copyright notice and a +notice that there is no warranty (or else, saying that you provide +a warranty) and that users may redistribute the program under +these conditions, and telling the user how to view a copy of this +License. (Exception: if the Program itself is interactive but +does not normally print such an announcement, your work based on +the Program is not required to print an announcement.) + +\end{enumerate} + + +These requirements apply to the modified work as a whole. If +identifiable sections of that work are not derived from the Program, +and can be reasonably considered independent and separate works in +themselves, then this License, and its terms, do not apply to those +sections when you distribute them as separate works. But when you +distribute the same sections as part of a whole which is a work based +on the Program, the distribution of the whole must be on the terms of +this License, whose permissions for other licensees extend to the +entire whole, and thus to each and every part regardless of who wrote it. + +Thus, it is not the intent of this section to claim rights or contest +your rights to work written entirely by you; rather, the intent is to +exercise the right to control the distribution of derivative or +collective works based on the Program. + +In addition, mere aggregation of another work not based on the Program +with the Program (or with a work based on the Program) on a volume of +a storage or distribution medium does not bring the other work under +the scope of this License. + +\item +You may copy and distribute the Program (or a work based on it, +under Section 2) in object code or executable form under the terms of +Sections 1 and 2 above provided that you also do one of the following: + +\begin{enumerate} + +\item + +Accompany it with the complete corresponding machine-readable +source code, which must be distributed under the terms of Sections +1 and 2 above on a medium customarily used for software interchange; or, + +\item + +Accompany it with a written offer, valid for at least three +years, to give any third party, for a charge no more than your +cost of physically performing source distribution, a complete +machine-readable copy of the corresponding source code, to be +distributed under the terms of Sections 1 and 2 above on a medium +customarily used for software interchange; or, + +\item + +Accompany it with the information you received as to the offer +to distribute corresponding source code. (This alternative is +allowed only for noncommercial distribution and only if you +received the program in object code or executable form with such +an offer, in accord with Subsection b above.) + +\end{enumerate} + + +The source code for a work means the preferred form of the work for +making modifications to it. For an executable work, complete source +code means all the source code for all modules it contains, plus any +associated interface definition files, plus the scripts used to +control compilation and installation of the executable. However, as a +special exception, the source code distributed need not include +anything that is normally distributed (in either source or binary +form) with the major components (compiler, kernel, and so on) of the +operating system on which the executable runs, unless that component +itself accompanies the executable. + +If distribution of executable or object code is made by offering +access to copy from a designated place, then offering equivalent +access to copy the source code from the same place counts as +distribution of the source code, even though third parties are not +compelled to copy the source along with the object code. + +\item +You may not copy, modify, sublicense, or distribute the Program +except as expressly provided under this License. Any attempt +otherwise to copy, modify, sublicense or distribute the Program is +void, and will automatically terminate your rights under this License. +However, parties who have received copies, or rights, from you under +this License will not have their licenses terminated so long as such +parties remain in full compliance. + +\item +You are not required to accept this License, since you have not +signed it. However, nothing else grants you permission to modify or +distribute the Program or its derivative works. These actions are +prohibited by law if you do not accept this License. Therefore, by +modifying or distributing the Program (or any work based on the +Program), you indicate your acceptance of this License to do so, and +all its terms and conditions for copying, distributing or modifying +the Program or works based on it. + +\item +Each time you redistribute the Program (or any work based on the +Program), the recipient automatically receives a license from the +original licensor to copy, distribute or modify the Program subject to +these terms and conditions. You may not impose any further +restrictions on the recipients' exercise of the rights granted herein. +You are not responsible for enforcing compliance by third parties to +this License. + +\item +If, as a consequence of a court judgment or allegation of patent +infringement or for any other reason (not limited to patent issues), +conditions are imposed on you (whether by court order, agreement or +otherwise) that contradict the conditions of this License, they do not +excuse you from the conditions of this License. If you cannot +distribute so as to satisfy simultaneously your obligations under this +License and any other pertinent obligations, then as a consequence you +may not distribute the Program at all. For example, if a patent +license would not permit royalty-free redistribution of the Program by +all those who receive copies directly or indirectly through you, then +the only way you could satisfy both it and this License would be to +refrain entirely from distribution of the Program. + +If any portion of this section is held invalid or unenforceable under +any particular circumstance, the balance of the section is intended to +apply and the section as a whole is intended to apply in other +circumstances. + +It is not the purpose of this section to induce you to infringe any +patents or other property right claims or to contest validity of any +such claims; this section has the sole purpose of protecting the +integrity of the free software distribution system, which is +implemented by public license practices. Many people have made +generous contributions to the wide range of software distributed +through that system in reliance on consistent application of that +system; it is up to the author/donor to decide if he or she is willing +to distribute software through any other system and a licensee cannot +impose that choice. + +This section is intended to make thoroughly clear what is believed to +be a consequence of the rest of this License. + +\item +If the distribution and/or use of the Program is restricted in +certain countries either by patents or by copyrighted interfaces, the +original copyright holder who places the Program under this License +may add an explicit geographical distribution limitation excluding +those countries, so that distribution is permitted only in or among +countries not thus excluded. In such case, this License incorporates +the limitation as if written in the body of this License. + +\item +The Free Software Foundation may publish revised and/or new versions +of the General Public License from time to time. Such new versions will +be similar in spirit to the present version, but may differ in detail to +address new problems or concerns. + +Each version is given a distinguishing version number. If the Program +specifies a version number of this License which applies to it and ``any +later version'', you have the option of following the terms and conditions +either of that version or of any later version published by the Free +Software Foundation. If the Program does not specify a version number of +this License, you may choose any version ever published by the Free Software +Foundation. + +\item +If you wish to incorporate parts of the Program into other free +programs whose distribution conditions are different, write to the author +to ask for permission. For software which is copyrighted by the Free +Software Foundation, write to the Free Software Foundation; we sometimes +make exceptions for this. Our decision will be guided by the two goals +of preserving the free status of all derivatives of our free software and +of promoting the sharing and reuse of software generally. + +\begin{center} +{\Large +No Warranty +} +\end{center} + +\item +\textbf { Because the program is licensed free of charge, there is no warranty +for the program, to the extent permitted by applicable law. Except when +otherwise stated in writing the copyright holders and/or other parties +provide the program ``as is'' without warranty of any kind, either expressed +or implied, including, but not limited to, the implied warranties of +merchantability and fitness for a particular purpose. The entire risk as +to the quality and performance of the program is with you. Should the +program prove defective, you assume the cost of all necessary servicing, +repair or correction.} + +\item +\textbf {In no event unless required by applicable law or agreed to in writing +will any copyright holder, or any other party who may modify and/or +redistribute the program as permitted above, be liable to you for damages, +including any general, special, incidental or consequential damages arising +out of the use or inability to use the program (including but not limited +to loss of data or data being rendered inaccurate or losses sustained by +you or third parties or a failure of the program to operate with any other +programs), even if such holder or other party has been advised of the +possibility of such damages.} + +\end{enumerate} + + +\begin{center} +{\Large End of Terms and Conditions} +\end{center} + + + + + +\end{document} |