Thanks for everybody's messages. Yes, there are utilities (usually based on a small lex program) that strip TeX or LaTeX commands. Apparently the standard TeX distribution for Unix systems even comes with such utilities. /ivo ivo at next.agsm.ucla.edu