On Thu, Apr 15, 2021, 12:49 AM Chris Torek <torek@elf.torek.net> wrote:

I found it. What are you looking for, TeX source, dvi, PostScript...?

First choice is TeX, second choice is PostScript.

And thank you so much Chris....

Warner