% MiscJunk.TeX --- Stolfi March 7, 1984 0:31:47 am PSTi % Miscellaneous Junk from TeX macros % JUNK % Junk. % ??? \newglue\smallskipamount \smallskipamount=3pt plus 1pt minus 1pt \newglue\medskipamount \medskipamount=6pt plus 2pt minus 2pt \newglue\bigskipamount \bigskipamount=12pt plus 4pt minus 4pt \newglue\normalbaselineskip \normalbaselineskip=12pt \newglue\normallineskip \normallineskip=1pt \newdimen\normallineskiplimit \normallineskiplimit=0pt \newdimen\jot \jot=3pt \newcount\interdisplaylinepenalty \interdisplaylinepenalty=100 \newcount\interfootnotelinepenalty \interfootnotelinepenalty=100 \def\normalbaselines{\lineskip\normallineskip \baselineskip\normalbaselineskip \lineskiplimit\normallineskiplimit} \normalbaselineglue=12pt \normalinterlineglue=1pt \smallbaselineglue=9pt \smallinterlineglue=1pt \normal\rm % select roman font \nonfrenchspacing % punctuation affects the spacing \font\preloaded=ambi10 % bold math italic \font\preloaded=ambsy10 % bold math symbols \font\preloaded=amr9 \font\preloaded=amr8 \font\preloaded=amr6 \font\preloaded=ammi9 \font\preloaded=ammi8 \font\preloaded=ammi6 \font\preloaded=amsy9 \font\preloaded=amsy8 \font\preloaded=amsy6 \font\preloaded=amss10 % sans serif \font\preloaded=amssq8 \font\preloaded=amssi10 % sans serif italic \font\preloaded=amssqi8 \font\preloaded=ambx9 \font\preloaded=ambx8 \font\preloaded=ambx6 \font\preloaded=amtt9 \font\preloaded=amtt8 \font\preloaded=amsltt10 % slanted typewriter \font\tensl=amsl10 % slanted roman \font\preloaded=amsl9 \font\preloaded=amsl8 \font\preloaded=amti9 \font\preloaded=amti8 \font\preloaded=amti7 \message{more fonts,} \font\preloaded=amu10 % unslanted text italic \font\preloaded=amcsc10 % caps and small caps \font\preloaded=amssbx10 % sans serif bold extended \font\preloaded=amdunh10 % Dunhill style \font\preloaded=amr7 scaled \magstep4 % for titles \font\preloaded=amtt10 scaled \magstep2 \font\preloaded=amssbx10 scaled \magstep2 \font\preloaded=manfnt % METAFONT logo and dragon curve and special symbols % Additional \preloaded fonts can be specified here. % (And those that were \preloaded above can be eliminated.) \let\preloaded=\undefined % preloaded fonts must be declared anew later. % Definitions for preloaded fonts % Fonts assigned to \preloaded are not part of "plain TeX", % but they are preloaded so that other format packages can use them. % For example, if another set of macros says "\font\ninerm=cmr9", % TeX will not have to reload the font metric information for cmr9. % \mathsurround=0pt % \displaywidth=0pt, set before TeX enters $$ % \displayindent=0pt, set before TeX enters $$ \textfont0=\tenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm \def\rm{\fam\z@\tenrm} \textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei \def\mit{\fam\@ne} \def\oldstyle{\fam\@ne\teni} \textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy \def\cal{\fam\tw@} \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex \newfam\itfam \def\it{\fam\itfam\tenit} % \it is family 4 \textfont\itfam=\tenit \newfam\slfam \def\sl{\fam\slfam\tensl} % \sl is family 5 \textfont\slfam=\tensl \newfam\bffam \def\bf{\fam\bffam\tenbf} % \bf is family 6 \textfont\bffam=\tenbf \scriptfont\bffam=\sevenbf \scriptscriptfont\bffam=\fivebf \newfam\ttfam \def\tt{\fam\ttfam\tentt} % \tt is family 7 \textfont\ttfam=\tentt \setbox\strutbox=\hbox{\vrule height8.5pt depth3.5pt width\z@} \font\inchhigh=aminch \font\titlefont=amssmc40 \font\ninei=ammi9 \skewchar\ninei='177 \font\ninesy=amsy9 \font\eightss=amssq8 \font\eightssi=amssqi8 \font\ninebf=ambx9 \font\ninett=amtt9 \hyphenchar\tentt=-1 % inhibit hyphenation in typewriter type \hyphenchar\ninett=-1 \hyphenchar\eighttt=-1 \font\ninesl=amsl9 \font\eightsl=amsl8 \font\nineit=amti9 \font\tenu=amu10 % unslanted text italic \font\magnifiedfiverm=amr5 at 10pt \font\manual=manfnt % font used for the METAFONT logo and special symbols \newskip\ttglue Ê–"stolfitex" style˜JšœÏc9œ$˜ašœ˜šœ˜šœ˜Jšœà˜à——Jšœmœ!˜´Jš œœœßœ1œ£œœœœœœ(œk4œ4œ;œ.œ!˜Ô Jšœ;œDœAœC˜‡Jšœœ-œ.˜qJš œœAœAœ|œX˜«Jšœ/˜/JšœÙ˜Ù—J˜—…—˜¬