better latex-ascii conversions