write_latex_definitions: use M_ as global