3 ms·I would have preferred a .dvi! (font embedding issues notwithstanding).by rrmm 14y agoI would have preferred a .dvi! (font embedding issues notwithstanding).