> dviとかpsって何で見るの？数式とかなんだけど

dviout
Ghostscript

参考：2002/06/18(火)03時24分42秒