#
latex choi5
latex choi5
dvips -z choi5.dvi > choi5.ps
dvips -z -Ppdf -o tmp.ps choi5.dvi
ps2pdf tmp.ps choi5.pdf
/bin/rm tmp.ps