6.9. Using dvips to convert from DVI to PS

dvips in.dvi -o out.ps

This produces the PostScript file out.ps.