I am concerned about this LaTeX-specific code.