%% This is a verbatim with a small tt font and redefinition of
%% _ for proper treatment.  It does not have all the nuances of the
%% verbatim enironment -- it doesn't redefine special characters.

\font\figfont  = cmtt10   \@ptscale7 % typewriter
\def\xxobeyspaces{\@vobeyspaces}
\newenvironment{averbatim}{
	\catcode`\_=13
	\footnotesize\setlength{\baselineskip}{2.7mm}\figfont
	\obeylines\frenchspacing\xxobeyspaces}{}
