summaryrefslogtreecommitdiff
path: root/fonts/mt11p/test11p.tex
blob: 8527e842d3196082c3103a9be7c1af2dc6e3d9e9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
%
% 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}