Does anyone have a program that strips out postscript stuff
from a file?
Also, I would like to thank all of you who responded to my request
for a detexification frob!
--
-- Rich (rich at eddie.mit.edu).
The circle is open, but unbroken.
Merry meet, merry part,
and merry meet again.