\input double.tex% some double columning macros (not provided) \input verbatim.tex% verbatim macros (based on those in the TeXbook % provides a |..| and \begintt...\endtt environment \font\mf=logo10 \font\mfb=logobf10 \def\MF{{\mf METAFONT}} \def\MFb{{\mfb METAFONT}} \def\MarkUp{MarkUp '8\kern-0.2em\lower0.45ex\hbox{7}} \def\LaTeX{L\kern-.3em\raise.5ex \hbox{a}\kern-.1em\TeX} \def\frac#1/#2{\leavevmode\kern0.1em \raise0.5ex\hbox{\the\scriptfont0 #1}\kern-0.1em /\kern-0.15em\lower0.25ex\hbox{\the\scriptfont0 #2}} \baselineskip12pt \parskip0pt \parindent1em \hfuzz1.5pt \tolerance3000 \hyphenation{SGML SGML-ers} \headline{\sl \TeX line 5 \hss \folio} %\nopagenumbers \vsize720pt \def\PS{PostScript} \def\TS{Type \&~Set} \def\dvi{{\tt dvi}} \def\tfm{{\tt tfm}} \def\quid{{\it\$}} \def\DW{Dominik Wujastyk}