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