% % 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}