write_latex_definitions: remove lines that prevented this code from being included in a larger latex doc