Latex support: Corrected preprocessing semantics and tools to compile it into latex.