PTEX2TEX(1) - manual page | User commands

Executable script associated with ptex2tex module.