Update ter_schemas_latex.ml