[math-fun] dvipdf