@@ -35,7 +35,7 @@ angular.module('app')
return "\\(" + $2 + "\\)";
}).replace(/\\medskip/g, "")
.replace(/\\bigskip/g, "")
- .replace(/\\rond/g, "")
+ .replace(/\\rond/g, "\\mathcal")
.replace(/\\begin\{.*\}/g, "")
.replace(/\\end\{.*\}/g, "")
.replace(/\n|\r|\r\n|\n\r/g, " ")