let environment',metasenv,expr =
Disambiguate'.disambiguate_term mqi_handle
context metasenv (Mathml_editor.get_tex tex_editor) !environment
let environment',metasenv,expr =
Disambiguate'.disambiguate_term mqi_handle
context metasenv (Mathml_editor.get_tex tex_editor) !environment