\def\mf{{Meta\-Font}}
\def\ha#1;{\bigskip {\noindent \fa #1}\bigskip}
\def\I#1`{\smallskip\noindent \bf #1\rm\smallskip}
\def\II#1`{\par \noindent \bf #1\rm\smallskip}
\def\ii{\smallskip\advance\leftskip by \parindent}
\def\io{\advance\leftskip by -\parindent}
\def\i#1;{\item{#1} }
\def\"{{\rm \char125}}

