let finalize_output () = 
      ext "\n\\end{document}\n"