This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 1999.11.29)  4 DEC 2000 09:51
**test
(test.tex (/disk4/usr/local/teTeX/share/texmf/tex/plain/amsfonts/amssym.def
\msafam=\fam8
\msbfam=\fam9
\eufmfam=\fam10
)
\qnum=\count26
\inum=\count27
\imarks=\count28

[1] )
Output written on test.dvi (1 page, 1808 bytes).