diff --git a/slob.cc b/slob.cc index 617b526d..8c1e4d51 100644 --- a/slob.cc +++ b/slob.cc @@ -823,6 +823,8 @@ string SlobDictionary::convert( const string & in, RefEntry const & entry ) tex.replace( "\\infin", "\\infty" ); tex.replace( "\\iff", "\\Longleftrightarrow" ); tex.replace( "\\tbinom", "\\binom" ); + tex.replace( "\\implies", "\\Longrightarrow" ); + tex.replace( "{aligned}", "{align*}" ); QString command = texCgiPath + " -e " + imgName + " \"" + tex + "\"";