diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/apl/ninesize.tex |
Initial commit
Diffstat (limited to 'fonts/apl/ninesize.tex')
-rw-r--r-- | fonts/apl/ninesize.tex | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/fonts/apl/ninesize.tex b/fonts/apl/ninesize.tex new file mode 100644 index 0000000000..a0260f0799 --- /dev/null +++ b/fonts/apl/ninesize.tex @@ -0,0 +1,34 @@ + +%============================================================================= +% N I N E S I Z E . T E X (for convenience only) +%============================================================================= +%=============================================================== +% This is a TeX macro for switching to nine point fonts. Taken +% from the TeXbook, pages 413 - 415. (For special cases only) +%=============================================================== +% +\font\ninerm=amr9 +\font\ninei=ammi9 +\font\ninesy=amsy9 +\font\ninebf=ambx9 +\font\ninett=amtt9 +\font\nineit=amti9 +\font\ninesl=amsl9 +% +\skewchar\ninei='177 +\skewchar\ninesy='60 +\skewchar\ninett=-1 +% +\newskip\tglue +\def\ninepoint{\def\rm{\fam0\ninerm} + \textfont0=\ninerm + \textfont1=\ninei + \textfont2=\ninesy + \textfont\itfam=\nineit \def\it{\fam\itfam\nineit}% + \textfont\slfam=\ninesl \def\sl{\fam\slfam\ninesl}% + \textfont\ttfam=\ninett \def\tt{\fam\ttfam\ninett}% + \textfont\bffam=\ninebf \def\bf{\fam\bffam\ninebf}% + \tt\tglue=.5em plus.25em minus .15em + \normalbaselineskip=11pt + \setbox\strutbox=\hbox{\vrule height8pt depth3pt width0pt}% + \let\sc=\sevenrm \let\big=\ninebig \normalbaselines\rm}% |