context metasenv (Mathml_editor.get_tex tex_editor) !environment
with
[environment',metasenv,expr] -> environment',metasenv,expr
context metasenv (Mathml_editor.get_tex tex_editor) !environment
with
[environment',metasenv,expr] -> environment',metasenv,expr