Go to the previous, next section.
There is no program which can produce acceptable ASCII output from a DVI file. The program dvitty attempts to do this, but falls quite short. We do not support this program.
dvitty