Package: ptex2tex