Create Ter_schemas_latex.ml