- var pre = matita.unlockedbackup.substring(0,matita.ambiguityStart);
- var mid = matita.unlockedbackup.substring(matita.ambiguityStart,matita.ambiguityStop);
- var post = matita.unlockedbackup.substring(matita.ambiguityStop);
+ var pre = matita.unlockedbackup
+ .substring(0,matita.ambiguityStart).matita_to_html();
+ var mid = matita.unlockedbackup
+ .substring(matita.ambiguityStart,matita.ambiguityStop)
+ .matita_to_html();
+ var post = matita.unlockedbackup
+ .substring(matita.ambiguityStop).matita_to_html();