\vsize720pt
\input dble.tex\input verbatim.tex
\font\sc=cmcsc10
\font\mf=logo10
\font\mfb=logobf10
\def\MF{{\rm{\mf META}\-{\mf FONT}}}
\def\MFb{{\rm{\mfb META}\-{\mfb FONT}}}
\def\MarkUp{MarkUp '8\kern-0.2em\lower0.45ex\hbox{7}}
\def\LaTeX{{\rm L\kern-.36em\raise.3ex\hbox{\sc a}\kern-.15em
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}

\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
\hyphenation{SGML SGML-ers}

\headline{\sl \TeX line 6 \hss \folio}
\nopagenumbers

\def\SGML{{\sc sgml}}
\def\PS{{\sc Post\-Script}}
\let\ps=\PS
\def\TS{Type \&~Set}
\def\dvi{{\tt dvi}}
\def\tfm{{\tt tfm}}
\def\quid{{\it\$}}
\def\DW{Dominik Wujastyk}
\def\AmSTeX{$\cal A$\kern-.1667em\lower.5ex\hbox{$\cal M$}\kern-.125em
     $\cal S$-\TeX}
\def\BibTeX{{\sc Bib}\TeX}
\def\SliTeX{{\sc Sli}\TeX}
\def\hax{\TeX{\sc hax}}
\abovedisplayskip0pt
\belowdisplayskip0pt
\def\nl{\hfill\break}
%\def\boxit#1{\vbox{\hrule\hbox{\vrule\kern3pt
%       \vbox{\kern3pt#1\kern3pt}\kern3pt\vrule}\hrule}}