Added LaTeX stuff back.

Note: all symbols seem totally broken.