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