PHP LaTeX parser