Merge pull request #630 from krlmlr/629-inf

infinity is formatted as a symbol in LaTeX inline mode
Merge branch 'master' into develop