For LaTeX sources.