*ptex2pdf [#u0ef9f2c]