\baselineskip=12pt
\font\docfont=doc
\textfont0=\docfont \scriptfont0=\docfont \scriptscriptfont0=\docfont
\def\rm{\fam0\docfont}
\textfont1=\docfont \scriptfont1=\docfont \scriptscriptfont1=\docfont
\def\mit{\fam1} \def\oldstyle{\fam1\docfont}
\def\it{\fam\itfam\docfont} % \it is family 4
\textfont\itfam=\docfont
\def\sl{\fam\slfam\docfont} % \sl is family 5
\textfont\slfam=\docfont
\def\bf{\fam\bffam\docfont} % \bf is family 6
\textfont\bffam=\docfont \scriptfont\bffam=\docfont
\scriptscriptfont\bffam=\docfont
\def\tt{\fam\ttfam\docfont} % \tt is family 7
\textfont\ttfam=\docfont
\def\TeX{TeX}
\def\LaTeX{LaTeX}
\def\SliTeX{SliTeX}
\def\BibTeX{BibTeX}
\rm
