#
latex williams3.tex
latex williams3.tex
dvips -z williams3.dvi > williams3.ps
dvips -z -Ppdf -o tmp.ps williams3.dvi
ps2pdf tmp.ps williams3.pdf
/bin/rm tmp.ps
chmod og+r *