%
% This is a demo file for testing the mt11p MathTime package.
%
% The contents is essentially stolen from A. Jeffrey's testmath.tex,
% with math versions and the additional glyphs of MathTime added.
%
%
% CAUTION: This test document makes heavy demands on
% TeX's font memory, about 200k. Unless your TeX has dynamic memory
% allocation, you may have to reduce the number of `sizing'
% tests (search for "SIZING"), or make a bigger TeX, or
% avoid preloading the Computer Modern TFM files into
% the format file.
%
% The only reason this is a ltxdoc-class document is so that 
% we automatically fetch any ltxdoc.cfg file with a default
% paper size or some such.

\documentclass[10pt]{ltxdoc}

%\usepackage{amsmath}% try it :-)

\usepackage{mt11p}% see documentation for what the defaults are

% Try the options:
% symaccents, [no8r|nodag], [mtcal|cmcal], [opnone|opmax], noresize
% See docs for meaning; note that output will not be ``correct''
% in under some conditions, e.g., opmax, nodag.


\hfuzz=200pt % shut up...
\title{Yet another math test document,\\
       \texttt{\bfseries test11p}}
\author{based on Alan Jeffrey's \texttt{testmath.tex}%
       \thanks{Extra math versions and
              the extra symbols of the MathT\i me fonts
              hacked in by Drahoslav L\'\i m, 97/01/27.}}
\date{}
\providecommand{\cs}[1]{\texttt{\char`\\#1}}
\raggedbottom
\parskip=1ex plus 1ex
\newcommand{\testsize}[1]{{
   #1 \texttt{\string#1}: $a_{c_e}, b_{d_f}, C_{E_G}, 0_{1_2}, 
      a_{0_a}, 0_{a_0},
      \sum_{i=0}^\infty$ \\\relax }}
\newcommand{\testdelims}[3]{\sqrt{
   #1|#1\|#1\uparrow
   #1\downarrow#1\updownarrow#1\Uparrow#1\Downarrow
   #1\Updownarrow#1\lfloor#1\lceil
   #1(#1\{#1[#1\langle
      #3
   #2\rangle#2]#2\}#2)
   #2\rceil#2\rfloor#2\Updownarrow#2\Downarrow
   #2\Uparrow#2\updownarrow#2\downarrow#2\uparrow
   #2\|#2|}\\\relax}
\newcommand{\testglyphs}[1]{%
\begin{quote}
   #1a#1b#1c#1d#1e#1f#1g#1h#1i#1j#1k#1l#1m
   #1n#1o#1p#1q#1r#1s#1t#1u#1v#1w#1x#1y#1z
   #1A#1B#1C#1D#1E#1F#1G#1H#1I#1J#1K#1L#1M
   #1N#1O#1P#1Q#1R#1S#1T#1U#1V#1W#1X#1Y#1Z
   #10#11#12#13#14#15#16#17#18#19 
   #1\Gamma#1\Delta#1\Theta#1\Lambda#1\Xi
   #1\Pi#1\Sigma#1\Upsilon#1\Phi#1\Psi#1\Omega
   #1\varGamma#1\varDelta#1\varTheta#1\varLambda
   #1\varXi#1\varPi
   #1\varSigma#1\varUpsilon#1\varPhi#1\varPsi#1\varOmega
   #1\alpha#1\beta#1\gamma#1\delta#1\epsilon
   #1\varepsilon#1\zeta#1\eta#1\theta#1\vartheta
   #1\iota#1\kappa#1\varkappa#1\lambda#1\mu#1\nu#1\xi#1\omicron
   #1\pi#1\varpi#1\rho#1\varrho
   #1\sigma#1\varsigma#1\tau#1\upsilon#1\phi
   #1\varphi#1\chi#1\psi#1\omega
   #1\partial#1\ell#1\imath#1\jmath#1\wp
   #1{\mathcal{A}} #1{\mathcal{B}} #1{\mathcal{C}} #1{\mathcal{D}}
   #1{\mathcal{E}} #1{\mathcal{F}} #1{\mathcal{G}} #1{\mathcal{H}}
   #1{\mathcal{I}} #1{\mathcal{J}} #1{\mathcal{K}} #1{\mathcal{L}}
   #1{\mathcal{M}} #1{\mathcal{N}} #1{\mathcal{O}} #1{\mathcal{P}}
   #1{\mathcal{Q}} #1{\mathcal{R}} #1{\mathcal{S}} #1{\mathcal{T}}
   #1{\mathcal{U}} #1{\mathcal{V}} #1{\mathcal{W}} #1{\mathcal{X}}
   #1{\mathcal{Y}} #1{\mathcal{Z}}
   \expandafter\ifnum\csname mt@cal\endcsname=1 % if mathcal <> mathscr
      #1{\mathscr{A}} #1{\mathscr{B}} #1{\mathscr{C}} #1{\mathscr{D}}
      #1{\mathscr{E}} #1{\mathscr{F}} #1{\mathscr{G}} #1{\mathscr{H}}
      #1{\mathscr{I}} #1{\mathscr{J}} #1{\mathscr{K}} #1{\mathscr{L}}
      #1{\mathscr{M}} #1{\mathscr{N}} #1{\mathscr{O}} #1{\mathscr{P}}
      #1{\mathscr{Q}} #1{\mathscr{R}} #1{\mathscr{S}} #1{\mathscr{T}}
      #1{\mathscr{U}} #1{\mathscr{V}} #1{\mathscr{W}} #1{\mathscr{X}}
      #1{\mathscr{Y}} #1{\mathscr{Z}}
      #1{\mathcal{\varA}} #1{\mathcal{\varE}} #1{\mathcal{\varG}}
      #1{\mathcal{\varvarG}} #1{\mathcal{\varI}} #1{\mathcal{\varL}}
      #1{\mathcal{\varQ}} #1{\mathcal{\varS}} #1{\mathcal{\varr}}
      #1{\mathcal{\varz}} #1{\mathcal{\iscript}} #1{\mathcal{\jscript}}
   \fi
   \expandafter\ifnum\csname mt@cal\endcsname<2 % if we have mtms
      #1{\mathscr{a}} #1{\mathscr{b}} #1{\mathscr{c}} #1{\mathscr{d}}
      #1{\mathscr{e}} #1{\mathscr{f}} #1{\mathscr{g}} #1{\mathscr{h}}
      #1{\mathscr{i}} #1{\mathscr{j}} #1{\mathscr{k}} #1{\mathscr{l}}
      #1{\mathscr{m}} #1{\mathscr{n}} #1{\mathscr{o}} #1{\mathscr{p}}
      #1{\mathscr{q}} #1{\mathscr{r}} #1{\mathscr{s}} #1{\mathscr{t}}
      #1{\mathscr{u}} #1{\mathscr{v}} #1{\mathscr{w}} #1{\mathscr{x}}
      #1{\mathscr{y}} #1{\mathscr{z}}
   \fi
   #1{\mathgr{a}} #1{\mathgr{b}} #1{\mathgr{G}} #1{\mathgr{g}}
   #1{\mathgr{D}} #1{\mathgr{d}} #1{\mathgr{e}} #1{\mathgr{ve}}
   #1{\mathgr{vev}} #1{\mathgr{z}} #1{\mathgr{Th}} #1{\mathgr{th}}
   #1{\mathgr{vth}} #1{\mathgr{S}} #1{\mathgr{s}} #1{\mathgr{vs}}
   #1{\mathgr{t}} #1{\mathgr{U}} #1{\mathgr{u}} #1{\mathgr{Ph}}
   #1{\mathgr{ph}} #1{\mathgr{ch}} #1{\mathgr{Ps}} #1{\mathgr{ps}}
   #1{\mathgr{vO}} #1{\mathgr{vo}}
\end{quote}}
\newcommand{\AcTest}[1]{\grave{#1}\acute{#1} \hat{#1} \tilde{#1} \ddot{#1}
      \check{#1} \breve{#1} \bar{#1} \dot{#1}\; \overbar{#1}
      \expandafter\ifx\csname mathaccent@\endcsname\relax\else
      % do double accents if we have amsmath
      \;
      \Grave{\Grave{#1}}\Acute{\Acute{#1}} \Hat{\Hat{#1}} \Tilde{\Tilde{#1}}
      \Ddot{\Ddot{#1}}
      \Check{\Check{#1}} \Breve{\Breve{#1}} \Bar{\Bar{#1}} \Dot{\Dot{#1}}
      \Vec{\Vec{#1}}\; \Widebar{\Widebar{#1}}
      \fi}
\newcommand{\sidebearings}[1]{ $|#1|$ }
\newcommand{\subscripts}[1]{ $#1_\circ$ }
\newcommand{\supscripts}[1]{ $#1^\circ$ }
\newcommand{\scripts}[1]{ $#1^\circ_\circ$ }
\newcommand{\vecaccents}[1]{ $\vec#1$ }
\newcommand{\tildeaccents}[1]{ $\tilde#1$ }

% Here's the test of everything...

\long\def\TheBigTest{%
\subsection*{Fonts and Accents}
Math italic (\cs{mathnormal}):
\[
   ABCDEFGHIJKLMNOPQRSTUVWXYZ
   abcdefghijklmnopqrstuvwxyz\imath\jmath
   \AcTest{x}
\]
Text italic (\cs{mathit}):
\[
   \mathit{ABCDEFGHIJKLMNOPQRSTUVWXYZ
      abcdefghijklmnopqrstuvwxyz\AcTest{x}}
\]
Roman (\cs{mathrm}):
\[
   \mathrm{ABCDEFGHIJKLMNOPQRSTUVWXYZ
      abcdefghijklmnopqrstuvwxyz\AcTest{x}}
\]
Bold (\cs{mathbf}):
\[
   \mathbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ
      abcdefghijklmnopqrstuvwxyz\AcTest{x}}
\]
Calligraphic (\cs{mathcal}) upper case:
% omit variant forms if \mathcal is Comp. Mod.
\[
   \mathcal{ABCDEFGHIJKLMNOPQRSTUVWXYZ
            \expandafter\ifnum\csname mt@cal\endcsname=0 %
                           \varA\varE\varG\varvarG\varI \varL\varQ\varS
                        \fi
           \AcTest{G}}
\]
\expandafter\ifnum\csname mt@cal\endcsname=0 %
   % omit whole thing if mathcal is Comp. Modern.
   Calligraphic (\cs{mathcal}) lower case:
   \[
      \mathcal{abcdefghijklmnopqr\varr stuvwxyz
      \varz\iscript\jscript\AcTest{x}}
   \]
\fi
\expandafter\ifnum\csname mt@cal\endcsname=1
   % include only if it really is...
   ``Script'' math (\cs{mathscr}), different from calligraphy:
   \[
     \mathscr{A\varA BCDE\varE FG\varG\varvarG
              HI\varI JKL\varL MNOPQ\varQ RS\varS
              TUVWXYZ\varr\varz\iscript\jscript\AcTest{\varI}}
   \]
\fi
\expandafter\ifnum\csname mt@cal\endcsname<2 %
   % only is we have mtms fonts
   Test the ``\cs{script}'' (a form of \cs{mathscr})
   command and its starred form:
   \[  \script A \script B \script C \script D \dots
       \quad\hbox{starred: }
       \script *A \script *E \script *G \script *g
       \script *I \script *L \script *Q \script *S
       \script *r \script *z \script *i \script *j
   \]
\fi
Sans (\cs{mathsf}):
\[
   \mathsf{ABCDEFGHIJKLMNOPQRSTUVWXYZ
      abcdefghijklmnopqrstuvwxyz\AcTest{x}}
\]
Typewriter (\cs{mathtt}):
\[
   \mathtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ
      abcdefghijklmnopqrstuvwxyz\AcTest{x}}
\]
Greek (lower case italic):
\[
   \Gamma\Delta\Theta\Lambda\Xi\Pi\Sigma\Upsilon\Phi\Psi\Omega
   \alpha\beta\gamma\delta\epsilon\varepsilon\zeta\eta\theta\vartheta
   \iota\kappa\varkappa\lambda\mu\nu\xi\omicron\pi\varpi\rho\varrho
   \sigma\varsigma\tau\upsilon\phi\varphi\chi\psi\omega
\]
Italic upper case Greek (\cs{var...}):
\[
   \varGamma \varDelta \varTheta \varLambda \varXi \varPi
   \varSigma \varUpsilon \varPhi \varPsi \varOmega \AcTest{\varDelta}
\]
Upright lowercase Greek, incl.~ligatures (\cs{mathgr}):
\[
   \mathgr{
   abGgDde ve{} vev z Thth vth
   k vk LlmnXxPp vp r vr Ss vs t
   Uu Ph ph ch Ps ps vO vo
   \AcTest{vev}
   }
\]
Upright Greek in text, no space between letters (\cs{textgr}):\\
\textgr{abGgDdee*zThthkLlmnXxPprSstUuPhphchPspsO*o*}

Do these line up appropriately? (Check out the \cs{hbar}.)
\[
   \forall \mathcal{B} \Gamma \mathbf{D} \exists \mathtt{F} 
   G \mathcal{H} \Im \mathbf{J} \mathsf{K} \Lambda
   M \aleph \emptyset \Pi \mathit{Q} \Re \Sigma
   \mathtt{T} \Upsilon \mathcal{V} \mathbf{W} \Xi
   \mathsf{Y} Z \angle S
   \quad
   a \mathbf{c} \epsilon \mathtt{i}
   \kappa \mathbf{m} \nu o \varpi \mathsf{r}
   s \tau \mathit{u} v \mathsf{w} z
   \mathtt{g} j \mathsf{q} \chi y
   \quad
   b \delta \mathbf{f} \mathtt{h} k \mathsf{l} \phi
   \hbar \capprod \cupprod
\]

Math mode symbols: $ \dag\, \ddag\, \S\, \P$, and the same
in text mode: \dag, \ddag, \S, \P,
and in bold series: \textbf{\dag, \ddag, \S, \P}.

Text mode symbols: \copyright, \textregistered,
and in bold series: \textbf{\copyright, \textregistered}.

Oldstyle digits (Computer Modern): \oldstylenums{1234567890};
in math: $ \oldstylenums{1234567890}$.

Active underscore: compare $A_{ j}$ vs.~$A_{\relax j}$;
the underscore kern has been blocked in the second case.

\subsection*{Glyph dimensions}
These glyphs should be optically centered:
   \testglyphs\sidebearings
These subscripts should be correctly placed:
   \testglyphs\subscripts
These superscripts should be correctly placed:
   \testglyphs\supscripts
These subscripts and superscripts should be correctly placed:
   \testglyphs\scripts
These accents should be centered:
   \testglyphs\vecaccents
As should these:
   \testglyphs\tildeaccents

\subsection*{Symbols}
These arrows should join up properly:
% (they will not
%do so if the \texttt{opmax}~option is used!):
\[
   a \hookrightarrow b \hookleftarrow c \longrightarrow d
   \longleftarrow e \Longrightarrow f \Longleftarrow g
   \longleftrightarrow h \Longleftrightarrow i
   \mapsto j 
\]
These symbols should of similar weights:
\[
   \pm + - \mp = / \backslash ( \langle [ \{ 
   \} ] \rangle ) < \leq > \geq
\]
Are these the same size?
\[\textstyle
   \oint \int \quad
   \bigodot \bigoplus \bigotimes \sum \prod
   \bigcup \bigcap \biguplus \bigwedge \bigvee \coprod
\]
Are these?
\[
   \oint \int \quad
   \bigodot \bigoplus \bigotimes \sum \prod
   \bigcup \bigcap \biguplus \bigwedge \bigvee \coprod
\]


\subsection*{Sizing}
%SIZING
The subscripts should be appropriately sized:\\
(Some sizes left out.)
\begin{quote}
(\cs{tiny} omitted)\par
\testsize\scriptsize
\testsize\footnotesize
\testsize\small
\testsize\normalsize
\testsize\large
\testsize\Large
(\cs{LARGE} omitted)\par
\testsize\huge
(\cs{Huge} omitted)\par
\end{quote}
\subsection*{Delimiters}
Each row should be a different size, but within each row the delimiters 
should be the same size.  First with \cs{big}, etc:
\[\begin{array}{c}
   \testdelims\relax\relax{a} 
   \testdelims\bigl\bigr{a}
   \testdelims\Bigl\Bigr{a}
   \testdelims\biggl\biggr{a}
   \testdelims\Biggl\Biggr{a}
\end{array}\]
Then with \cs{left} and \cs{right}:
\[\begin{array}{c}
   \testdelims\left\right{\begin{array}{c} a \end{array}} 
   \testdelims\left\right{\begin{array}{c} a\\a \end{array}} 
   \testdelims\left\right{\begin{array}{c} a\\a\\a \end{array}} 
   \testdelims\left\right{\begin{array}{c} a\\a\\a\\a \end{array}} 
\end{array}\]

\subsection*{Spacing}
This paragraph should appear to be a monotone grey texture. Well,
in the bolder math versions the math will stick out\ldots{}
Suppose $f \in \mathcal{S}_n$ and $g(x) = (-1)^{|\alpha|}x^\alpha
f(x)$.  Then $g \in \mathcal{S}_n$; now (\emph{c}) implies that $\hat
g = D_\alpha \hat f$ and $P \cdot D_\alpha\hat f = P \cdot \hat g =
(P(D)g)\hat{}$, which is a bounded function, since $P(D)g \in
L^1(R^n)$.  This proves that $\hat f \in \mathcal S_n$.  If $f_i
\rightarrow f$ in $\mathcal S_n$, then $f_i \rightarrow f$ in
$L^1(R^n)$.  Therefore $\hat f_i(t) \rightarrow \hat f(t)$ for all $t
\in R^n$.  That $f \rightarrow \hat f$ is a \emph{continuous} mapping
of $\mathcal S_n$ into $\mathcal S_n$ follows now from the closed
graph theorem.  \emph{Functional Analysis}, W.~Rudin, McGraw--Hill,
1973. 

The text in these boxes should spread out as much as the math does:
\[\begin{array}{c}
   \framebox[0.980\width][s]{For example $x+y = \min\{x,y\} 
      + \max\{x,y\}$ is a formula.} \\
   \framebox[\width][s]{For example $x+y = \min\{x,y\} 
      + \max\{x,y\}$ is a formula.} \\
   \framebox[1.025\width][s]{For example $x+y = \min\{x,y\} 
      + \max\{x,y\}$ is a formula.} \\
   \framebox[1.05\width][s]{For example $x+y = \min\{x,y\} 
      + \max\{x,y\}$ is a formula.} \\
   \framebox[1.075\width][s]{For example $x+y = \min\{x,y\} 
      + \max\{x,y\}$ is a formula.} \\
   \framebox[1.1\width][s]{For example $x+y = \min\{x,y\} 
      + \max\{x,y\}$ is a formula.} \\
   \framebox[1.125\width][s]{For example $x+y = \min\{x,y\} 
      + \max\{x,y\}$ is a formula.} \\
\end{array}\]

\clearpage

}% End of \TheBigTest

\begin{document}
\maketitle
\parindent=0pt %
\section{Introduction}

{\raggedright
This document tests the math capabilities of \texttt{mt11p}.
The MathT\i mes glyphs are included as 600\,dpi bitmaps,
not as outlines.
%We go though pretty much all of the available symbols,
%so a printer that doesn't have a lot of~RAM
%might run out of~VM\@.

The package was loaded with the default options.
Each section uses the same math version setting thoughout.
}
\section{\cs{normalmath} version}\label{test_underscore}
Test of a label containing an underscore:
We're in section~\ref{test_underscore}.
\normalmath\TheBigTest
\section{\cs{boldmath} version}
\boldmath\TheBigTest
\section{\cs{heavymath} version}
Note that some glyphs don't get bolder than
in \cs{boldmath}, but, e.g., delimiters and some symbols do.
\heavymath\TheBigTest

\message{^^J*************************************************^^J%
            * Expect NFSS Font warnings about substitutions.*^^J%
            *************************************************^^J}

\end{document}
