]> git.lyx.org Git - lyx.git/blobdiff - src/mathed/MathParser.cpp
Don't create nested text-in-math environments.
[lyx.git] / src / mathed / MathParser.cpp
index 266272e84eecd86a90f083a40fc2865b86bec626..aa71b268e036a454d88822eeeab86234ff8db870 100644 (file)
@@ -3,7 +3,7 @@
  * This file is part of LyX, the document processor.
  * Licence details can be found in the file COPYING.
  *
- * \author André Pönitz
+ * \author André Pönitz
  *
  * Full author contact details are available in file CREDITS.
  */
@@ -54,6 +54,7 @@ following hack as starting point to write some macros:
 #include "InsetMathRef.h"
 #include "InsetMathRoot.h"
 #include "InsetMathScript.h"
+#include "InsetMathSpace.h"
 #include "InsetMathSplit.h"
 #include "InsetMathSqrt.h"
 #include "InsetMathTabular.h"
@@ -62,11 +63,13 @@ following hack as starting point to write some macros:
 #include "MathMacroArgument.h"
 #include "MathSupport.h"
 
+#include "Encoding.h"
 #include "Lexer.h"
 
 #include "support/debug.h"
 #include "support/convert.h"
 #include "support/docstream.h"
+#include "support/lstrings.h"
 
 #include <sstream>
 
@@ -76,6 +79,8 @@ using namespace std;
 
 namespace lyx {
 
+using support::subst;
+
 namespace {
 
 InsetMath::mode_type asMode(InsetMath::mode_type oldmode, docstring const & str)
@@ -96,6 +101,26 @@ bool stared(docstring const & s)
 }
 
 
+docstring escapeSpecialChars(docstring const & str, bool textmode)
+{
+       docstring const backslash = textmode ? from_ascii("\\textbackslash ")
+                                            : from_ascii("\\backslash ");
+       docstring const caret = textmode ? from_ascii("\\textasciicircum ")
+                                        : from_ascii("\\mathcircumflex ");
+
+       return subst(subst(subst(subst(subst(subst(subst(subst(subst(str,
+                       from_ascii("\\"), backslash),
+                       from_ascii("^"), caret),
+                       from_ascii("_"), from_ascii("\\_")),
+                       from_ascii("$"), from_ascii("\\$")),
+                       from_ascii("#"), from_ascii("\\#")),
+                       from_ascii("&"), from_ascii("\\&")),
+                       from_ascii("%"), from_ascii("\\%")),
+                       from_ascii("{"), from_ascii("\\{")),
+                       from_ascii("}"), from_ascii("\\}"));
+}
+
+
 /*!
  * Add the row \p cellrow to \p grid.
  * \returns wether the row could be added. Adding a row can fail for
@@ -303,21 +328,23 @@ class Parser {
 public:
        ///
        typedef  InsetMath::mode_type mode_type;
+       ///
+       typedef  Parse::flags parse_mode;
 
        ///
-       Parser(Lexer & lex);
+       Parser(Lexer & lex, parse_mode mode);
        /// Only use this for reading from .lyx file format, for the reason
        /// see Parser::tokenize(istream &).
-       Parser(istream & is);
+       Parser(istream & is, parse_mode mode);
        ///
-       Parser(docstring const & str);
+       Parser(docstring const & str, parse_mode mode);
 
        ///
        bool parse(MathAtom & at);
        ///
-       void parse(MathData & array, unsigned flags, mode_type mode);
+       bool parse(MathData & array, unsigned flags, mode_type mode);
        ///
-       void parse1(InsetMathGrid & grid, unsigned flags, mode_type mode,
+       bool parse1(InsetMathGrid & grid, unsigned flags, mode_type mode,
                bool numbered);
        ///
        MathData parse(unsigned flags, mode_type mode);
@@ -374,26 +401,30 @@ private:
        unsigned pos_;
        /// Stack of active environments
        vector<docstring> environments_;
+       ///
+       parse_mode mode_;
+       ///
+       bool success_;
 };
 
 
-Parser::Parser(Lexer & lexer)
-       : lineno_(lexer.getLineNo()), pos_(0)
+Parser::Parser(Lexer & lexer, parse_mode mode)
+       : lineno_(lexer.lineNumber()), pos_(0), mode_(mode), success_(true)
 {
        tokenize(lexer.getStream());
        lexer.eatLine();
 }
 
 
-Parser::Parser(istream & is)
-       : lineno_(0), pos_(0)
+Parser::Parser(istream & is, parse_mode mode)
+       : lineno_(0), pos_(0), mode_(mode), success_(true)
 {
        tokenize(is);
 }
 
 
-Parser::Parser(docstring const & str)
-       : lineno_(0), pos_(0)
+Parser::Parser(docstring const & str, parse_mode mode)
+       : lineno_(0), pos_(0), mode_(mode), success_(true)
 {
        tokenize(str);
 }
@@ -515,7 +546,9 @@ void Parser::tokenize(istream & is)
 
 void Parser::tokenize(docstring const & buffer)
 {
-       idocstringstream is(buffer, ios::in | ios::binary);
+       idocstringstream is(mode_ & Parse::VERBATIM
+                       ? escapeSpecialChars(buffer, mode_ & Parse::TEXTMODE)
+                       : buffer, ios::in | ios::binary);
 
        char_type c;
        while (is.get(c)) {
@@ -569,7 +602,8 @@ void Parser::tokenize(docstring const & buffer)
                        }
 
                        case catIgnore: {
-                               lyxerr << "ignoring a char: " << int(c) << endl;
+                               if (!(mode_ & Parse::QUIET))
+                                       lyxerr << "ignoring a char: " << int(c) << endl;
                                break;
                        }
 
@@ -598,9 +632,12 @@ void Parser::dump() const
 
 void Parser::error(string const & msg)
 {
-       lyxerr << "Line ~" << lineno_ << ": Math parse error: " << msg << endl;
-       dump();
-       //exit(1);
+       success_ = false;
+       if (!(mode_ & Parse::QUIET)) {
+               lyxerr << "Line ~" << lineno_ << ": Math parse error: "
+                      << msg << endl;
+               dump();
+       }
 }
 
 
@@ -610,16 +647,17 @@ bool Parser::parse(MathAtom & at)
        MathData ar;
        parse(ar, false, InsetMath::UNDECIDED_MODE);
        if (ar.size() != 1 || ar.front()->getType() == hullNone) {
-               lyxerr << "unusual contents found: " << ar << endl;
+               if (!(mode_ & Parse::QUIET))
+                       lyxerr << "unusual contents found: " << ar << endl;
                at = MathAtom(new InsetMathPar(ar));
                //if (at->nargs() > 0)
                //      at.nucleus()->cell(0) = ar;
                //else
                //      lyxerr << "unusual contents found: " << ar << endl;
-               return true;
-       }
-       at = ar[0];
-       return true;
+               success_ = false;
+       } else
+               at = ar[0];
+       return success_;
 }
 
 
@@ -634,7 +672,7 @@ docstring Parser::parse_verbatim_option()
                                putback();
                                res += '{' + parse_verbatim_item() + '}';
                        } else
-                               res += t.asString();
+                               res += t.asInput();
                }
        }
        return res;
@@ -653,7 +691,7 @@ docstring Parser::parse_verbatim_item()
                                res += '{' + parse_verbatim_item() + '}';
                        }
                        else
-                               res += t.asString();
+                               res += t.asInput();
                }
        }
        return res;
@@ -668,11 +706,12 @@ MathData Parser::parse(unsigned flags, mode_type mode)
 }
 
 
-void Parser::parse(MathData & array, unsigned flags, mode_type mode)
+bool Parser::parse(MathData & array, unsigned flags, mode_type mode)
 {
        InsetMathGrid grid(1, 1);
        parse1(grid, flags, mode, false);
        array = grid.cell(0);
+       return success_;
 }
 
 
@@ -683,7 +722,7 @@ void Parser::parse2(MathAtom & at, const unsigned flags, const mode_type mode,
 }
 
 
-void Parser::parse1(InsetMathGrid & grid, unsigned flags,
+bool Parser::parse1(InsetMathGrid & grid, unsigned flags,
        const mode_type mode, const bool numbered)
 {
        int limits = 0;
@@ -715,7 +754,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                // skip the brace and collect everything to the next matching
                                // closing brace
                                parse1(grid, FLAG_BRACE_LAST, mode, numbered);
-                               return;
+                               return success_;
                        }
 
                        // handle only this single token, leave the loop if done
@@ -729,7 +768,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
 
                        if (t.cat() != catBegin) {
                                error("opening brace expected");
-                               return;
+                               return success_;
                        }
 
                        // skip the brace and collect everything to the next matching
@@ -747,7 +786,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                // no option found, put back token and we are done
                                putback();
                        }
-                       return;
+                       return success_;
                }
 
                //
@@ -772,7 +811,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
 
                        else if (flags & FLAG_SIMPLE) {
                                // this is the end of the formula
-                               return;
+                               return success_;
                        }
 
                        else {
@@ -815,9 +854,9 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
 
                else if (t.cat() == catEnd) {
                        if (flags & FLAG_BRACE_LAST)
-                               return;
+                               return success_;
                        error("found '}' unexpectedly");
-                       //BOOST_ASSERT(false);
+                       //LASSERT(false, /**/);
                        //add(cell, '}', LM_TC_TEX);
                }
 
@@ -825,7 +864,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        //lyxerr << " column now " << (cellcol + 1)
                        //       << " max: " << grid.ncols() << endl;
                        if (flags & FLAG_ALIGN)
-                               return;
+                               return success_;
                        if (addCol(grid, cellcol))
                                cell = &grid.cell(grid.index(cellrow, cellcol));
                }
@@ -865,11 +904,26 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
 
                else if (t.character() == ']' && (flags & FLAG_BRACK_LAST)) {
                        //lyxerr << "finished reading option" << endl;
-                       return;
+                       return success_;
                }
 
-               else if (t.cat() == catOther)
-                       cell->push_back(MathAtom(new InsetMathChar(t.character())));
+               else if (t.cat() == catOther) {
+                       char_type c = t.character();
+                       if (c < 0x80 || mode_ & Parse::VERBATIM
+                           || !(mode_ & Parse::USETEXT)
+                           || mode == InsetMath::TEXT_MODE) {
+                               cell->push_back(MathAtom(new InsetMathChar(c)));
+                       } else {
+                               MathAtom at = createInsetMath("text");
+                               at.nucleus()->cell(0).push_back(MathAtom(new InsetMathChar(c)));
+                               while (nextToken().cat() == catOther
+                                      && nextToken().character() >= 0x80) {
+                                       c = getToken().character();
+                                       at.nucleus()->cell(0).push_back(MathAtom(new InsetMathChar(c)));
+                               }
+                               cell->push_back(at);
+                       }
+               }
 
                else if (t.cat() == catComment) {
                        docstring s;
@@ -929,12 +983,12 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        // get name
                        if (getToken().cat() != catBegin) {
                                error("'{' in \\newcommand expected (1) ");
-                               return;
+                               return success_;
                        }
                        docstring name = getToken().cs();
                        if (getToken().cat() != catEnd) {
                                error("'}' in \\newcommand expected");
-                               return;
+                               return success_;
                        }
                                
                        // get arity
@@ -978,7 +1032,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                name = getToken().cs();
                                if (getToken().cat() != catEnd) {
                                        error("'}' in \\newcommandx expected");
-                                       return;
+                                       return success_;
                                }
                        } else
                                name = getToken().cs();
@@ -987,7 +1041,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        docstring const arg = getArg('[', ']');
                        if (arg.empty()) {
                                error("[num] in \\newcommandx expected");
-                               return;
+                               return success_;
                        }
                        int nargs = convert<int>(arg);
                        
@@ -1008,14 +1062,14 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                                if (n > nargs) {
                                                        error("Arity of \\newcommandx too low "
                                                              "for given optional parameter.");
-                                                       return;
+                                                       return success_;
                                                }
                                                
                                                // skip '='
                                                if (getToken().character() != '=') {
                                                        error("'=' and optional parameter value "
                                                              "expected for \\newcommandx");
-                                                       return;
+                                                       return success_;
                                                }
                                                
                                                // get value
@@ -1050,7 +1104,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                                }
                                        } else {
                                                error("option for \\newcommandx expected");
-                                               return;
+                                               return success_;
                                        }
                                        
                                        // skip komma
@@ -1061,13 +1115,13 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                        } else if (nextToken().character() != ']') {
                                                error("Expecting ',' or ']' in options "
                                                      "of \\newcommandx");
-                                               return;
+                                               return success_;
                                        }
                                }
                                
                                // skip ']'
                                if (!good())
-                                       return;
+                                       return success_;
                                getToken();
                        }
 
@@ -1087,11 +1141,19 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                }
 
                else if (t.cs() == "(") {
+                       if (mode == InsetMath::MATH_MODE) {
+                               error("bad math environment");
+                               break;
+                       }
                        cell->push_back(MathAtom(new InsetMathHull(hullSimple)));
                        parse2(cell->back(), FLAG_SIMPLE2, InsetMath::MATH_MODE, false);
                }
 
                else if (t.cs() == "[") {
+                       if (mode != InsetMath::UNDECIDED_MODE) {
+                               error("bad math environment");
+                               break;
+                       }
                        cell->push_back(MathAtom(new InsetMathHull(hullEquation)));
                        parse2(cell->back(), FLAG_EQUATION, InsetMath::MATH_MODE, false);
                }
@@ -1123,7 +1185,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                        // single line hull insets.
                                        if (grid.nrows() > 1)
                                                delEmptyLastRow(grid);
-                                       return;
+                                       return success_;
                                }
                        } else
                                error("found 'end' unexpectedly");
@@ -1131,19 +1193,19 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
 
                else if (t.cs() == ")") {
                        if (flags & FLAG_SIMPLE2)
-                               return;
+                               return success_;
                        error("found '\\)' unexpectedly");
                }
 
                else if (t.cs() == "]") {
                        if (flags & FLAG_EQUATION)
-                               return;
+                               return success_;
                        error("found '\\]' unexpectedly");
                }
 
                else if (t.cs() == "\\") {
                        if (flags & FLAG_ALIGN)
-                               return;
+                               return success_;
                        bool added = false;
                        if (nextToken().asInput() == "*") {
                                getToken();
@@ -1169,6 +1231,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        parse(count, FLAG_ITEM, mode);
                        int cols = 1;
                        if (!extractNumber(count, cols)) {
+                               success_ = false;
                                lyxerr << " can't extract number of cells from " << count << endl;
                        }
                        // resize the table if necessary
@@ -1240,6 +1303,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                parse(cell->back().nucleus()->cell(0), FLAG_ITEM, mode);
                        }
                }
+
                else if (t.cs() == "unitfrac") {
                        // Here allowed formats are \unitfrac[val]{num}{denom}
                        MathData ar;
@@ -1254,14 +1318,28 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        parse(cell->back().nucleus()->cell(1), FLAG_ITEM, mode);
                }
 
+               else if (t.cs() == "cfrac") {
+                       // Here allowed formats are \cfrac[pos]{num}{denom}
+                       MathData ar;
+                       parse(ar, FLAG_OPTION, mode);
+                       if (ar.size()) {
+                               cell->push_back(MathAtom(new InsetMathFrac(InsetMathFrac::CFRAC, 3)));
+                               cell->back().nucleus()->cell(2) = ar;
+                       } else {
+                               cell->push_back(MathAtom(new InsetMathFrac(InsetMathFrac::CFRAC)));
+                       }
+                       parse(cell->back().nucleus()->cell(0), FLAG_ITEM, mode);
+                       parse(cell->back().nucleus()->cell(1), FLAG_ITEM, mode);
+               }
+
                else if (t.cs() == "xrightarrow" || t.cs() == "xleftarrow") {
                        cell->push_back(createInsetMath(t.cs()));
                        parse(cell->back().nucleus()->cell(1), FLAG_OPTION, mode);
                        parse(cell->back().nucleus()->cell(0), FLAG_ITEM, mode);
                }
 
-               else if (t.cs() == "ref" || t.cs() == "prettyref" ||
-                               t.cs() == "pageref" || t.cs() == "vpageref" || t.cs() == "vref") {
+               else if (t.cs() == "ref" || t.cs() == "eqref" || t.cs() == "prettyref"
+                         || t.cs() == "pageref" || t.cs() == "vpageref" || t.cs() == "vref") {
                        cell->push_back(MathAtom(new InsetMathRef(t.cs())));
                        parse(cell->back().nucleus()->cell(1), FLAG_OPTION, mode);
                        parse(cell->back().nucleus()->cell(0), FLAG_ITEM, mode);
@@ -1286,10 +1364,10 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
 
                else if (t.cs() == "right") {
                        if (flags & FLAG_RIGHT)
-                               return;
+                               return success_;
                        //lyxerr << "got so far: '" << cell << "'" << endl;
                        error("Unmatched right delimiter");
-                       return;
+                       return success_;
                }
 
                else if (t.cs() == "begin") {
@@ -1326,32 +1404,56 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        }
 
                        else if (name == "math") {
+                               if (mode == InsetMath::MATH_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                cell->push_back(MathAtom(new InsetMathHull(hullSimple)));
                                parse2(cell->back(), FLAG_END, InsetMath::MATH_MODE, true);
                        }
 
                        else if (name == "equation" || name == "equation*"
                                        || name == "displaymath") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                cell->push_back(MathAtom(new InsetMathHull(hullEquation)));
                                parse2(cell->back(), FLAG_END, InsetMath::MATH_MODE, (name == "equation"));
                        }
 
                        else if (name == "eqnarray" || name == "eqnarray*") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                cell->push_back(MathAtom(new InsetMathHull(hullEqnArray)));
                                parse2(cell->back(), FLAG_END, InsetMath::MATH_MODE, !stared(name));
                        }
 
                        else if (name == "align" || name == "align*") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                cell->push_back(MathAtom(new InsetMathHull(hullAlign)));
                                parse2(cell->back(), FLAG_END, InsetMath::MATH_MODE, !stared(name));
                        }
 
                        else if (name == "flalign" || name == "flalign*") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                cell->push_back(MathAtom(new InsetMathHull(hullFlAlign)));
                                parse2(cell->back(), FLAG_END, InsetMath::MATH_MODE, !stared(name));
                        }
 
                        else if (name == "alignat" || name == "alignat*") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                // ignore this for a while
                                getArg('{', '}');
                                cell->push_back(MathAtom(new InsetMathHull(hullAlignAt)));
@@ -1359,6 +1461,10 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        }
 
                        else if (name == "xalignat" || name == "xalignat*") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                // ignore this for a while
                                getArg('{', '}');
                                cell->push_back(MathAtom(new InsetMathHull(hullXAlignAt)));
@@ -1366,6 +1472,10 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        }
 
                        else if (name == "xxalignat") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                // ignore this for a while
                                getArg('{', '}');
                                cell->push_back(MathAtom(new InsetMathHull(hullXXAlignAt)));
@@ -1373,11 +1483,19 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        }
 
                        else if (name == "multline" || name == "multline*") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                cell->push_back(MathAtom(new InsetMathHull(hullMultline)));
                                parse2(cell->back(), FLAG_END, InsetMath::MATH_MODE, !stared(name));
                        }
 
                        else if (name == "gather" || name == "gather*") {
+                               if (mode != InsetMath::UNDECIDED_MODE) {
+                                       error("bad math environment");
+                                       break;
+                               }
                                cell->push_back(MathAtom(new InsetMathHull(hullGather)));
                                parse2(cell->back(), FLAG_END, InsetMath::MATH_MODE, !stared(name));
                        }
@@ -1391,10 +1509,15 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                        cell->push_back(MathAtom(new InsetMathSplit(name, (char)valign[0])));
                                        parse2(cell->back(), FLAG_END, mode, false);
                                } else {
-                                       dump();
-                                       lyxerr << "found math environment `" << to_utf8(name)
-                                              << "' in symbols file with unsupported inset `"
-                                              << to_utf8(l->inset) << "'." << endl;
+                                       success_ = false;
+                                       if (!(mode_ & Parse::QUIET)) {
+                                               dump();
+                                               lyxerr << "found math environment `"
+                                                      << to_utf8(name)
+                                                      << "' in symbols file with unsupported inset `"
+                                                      << to_utf8(l->inset)
+                                                      << "'." << endl;
+                                       }
                                        // create generic environment inset
                                        cell->push_back(MathAtom(new InsetMathEnv(name)));
                                        parse(cell->back().nucleus()->cell(0), FLAG_END, mode);
@@ -1402,9 +1525,12 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        }
 
                        else {
-                               dump();
-                               lyxerr << "found unknown math environment '" << to_utf8(name)
-                                       << "'" << endl;
+                               success_ = false;
+                               if (!(mode_ & Parse::QUIET)) {
+                                       dump();
+                                       lyxerr << "found unknown math environment '"
+                                              << to_utf8(name) << "'" << endl;
+                               }
                                // create generic environment inset
                                cell->push_back(MathAtom(new InsetMathEnv(name)));
                                parse(cell->back().nucleus()->cell(0), FLAG_END, mode);
@@ -1440,20 +1566,22 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        }
                }
 
-               else if (t.cs() == "choose" || t.cs() == "over" || t.cs() == "atop") {
+               else if (t.cs() == "choose" || t.cs() == "over"
+                               || t.cs() == "atop" || t.cs() == "brace"
+                               || t.cs() == "brack") {
                        MathAtom at = createInsetMath(t.cs());
                        at.nucleus()->cell(0) = *cell;
                        cell->clear();
                        parse(at.nucleus()->cell(1), flags, mode);
                        cell->push_back(at);
-                       return;
+                       return success_;
                }
 
                else if (t.cs() == "color") {
                        docstring const color = parse_verbatim_item();
                        cell->push_back(MathAtom(new InsetMathColor(true, color)));
                        parse(cell->back().nucleus()->cell(0), flags, mode);
-                       return;
+                       return success_;
                }
 
                else if (t.cs() == "textcolor") {
@@ -1465,7 +1593,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                else if (t.cs() == "normalcolor") {
                        cell->push_back(createInsetMath(t.cs()));
                        parse(cell->back().nucleus()->cell(0), flags, mode);
-                       return;
+                       return success_;
                }
 
                else if (t.cs() == "substack") {
@@ -1497,6 +1625,22 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        parse(cell->back().nucleus()->cell(0), FLAG_ITEM, InsetMath::TEXT_MODE);
                }
 
+               else if (t.cs() == "hspace" && nextToken().character() != '*') {
+                       docstring const name = t.cs();
+                       docstring const arg = parse_verbatim_item();
+                       Length length;
+                       if (isValidLength(to_utf8(arg), &length))
+                               cell->push_back(MathAtom(new InsetMathSpace(length)));
+                       else {
+                               // Since the Length class cannot use length variables
+                               // we must not create an InsetMathSpace.
+                               cell->push_back(MathAtom(new MathMacro(name)));
+                               MathData ar;
+                               mathed_parse_cell(ar, '{' + arg + '}');
+                               cell->append(ar);
+                       }
+               }
+
 #if 0
                else if (t.cs() == "infer") {
                        MathData ar;
@@ -1523,6 +1667,42 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                }
 #endif
 
+               else if (t.cs() == "lyxmathsym") {
+                       skipSpaces();
+                       if (getToken().cat() != catBegin) {
+                               error("'{' expected in \\" + t.cs());
+                               return success_;
+                       }
+                       int count = 0;
+                       docstring cmd;
+                       CatCode cat = nextToken().cat();
+                       while (good() && (count || cat != catEnd)) {
+                               if (cat == catBegin)
+                                       ++count;
+                               else if (cat == catEnd)
+                                       --count;
+                               cmd += getToken().asInput();
+                               cat = nextToken().cat();
+                       }
+                       if (getToken().cat() != catEnd) {
+                               error("'}' expected in \\" + t.cs());
+                               return success_;
+                       }
+                       docstring rem;
+                       do {
+                               cmd = Encodings::fromLaTeXCommand(cmd, rem);
+                               for (size_t i = 0; i < cmd.size(); ++i)
+                                       cell->push_back(MathAtom(new InsetMathChar(cmd[i])));
+                               if (rem.size()) {
+                                       char_type c = rem[0];
+                                       cell->push_back(MathAtom(new InsetMathChar(c)));
+                                       cmd = rem.substr(1);
+                                       rem.clear();
+                               } else
+                                       cmd.clear();
+                       } while (cmd.size());
+               }
+
                else if (t.cs().size()) {
                        latexkeys const * l = in_word_set(t.cs());
                        if (l) {
@@ -1550,7 +1730,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                                flags | FLAG_ALIGN, asMode(mode, l->extra));
                                        if (prevToken().cat() != catAlign &&
                                            prevToken().cs() != "\\")
-                                               return;
+                                               return success_;
                                        putback();
                                }
 
@@ -1560,7 +1740,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                                                flags | FLAG_ALIGN, mode);
                                        if (prevToken().cat() != catAlign &&
                                            prevToken().cs() != "\\")
-                                               return;
+                                               return success_;
                                        putback();
                                }
 
@@ -1574,26 +1754,66 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        }
 
                        else {
-                               MathAtom at = createInsetMath(t.cs());
-                               InsetMath::mode_type m = mode;
-                               //if (m == InsetMath::UNDECIDED_MODE)
-                               //lyxerr << "default creation: m1: " << m << endl;
-                               if (at->currentMode() != InsetMath::UNDECIDED_MODE)
-                                       m = at->currentMode();
-                               //lyxerr << "default creation: m2: " << m << endl;
-                               InsetMath::idx_type start = 0;
-                               // this fails on \bigg[...\bigg]
-                               //MathData opt;
-                               //parse(opt, FLAG_OPTION, InsetMath::VERBATIM_MODE);
-                               //if (opt.size()) {
-                               //      start = 1;
-                               //      at.nucleus()->cell(0) = opt;
-                               //}
-                               for (InsetMath::idx_type i = start; i < at->nargs(); ++i) {
-                                       parse(at.nucleus()->cell(i), FLAG_ITEM, m);
+                               bool is_unicode_symbol = false;
+                               if (mode == InsetMath::TEXT_MODE) {
+                                       int num_tokens = 0;
+                                       docstring cmd = prevToken().asInput();
                                        skipSpaces();
+                                       CatCode cat = nextToken().cat();
+                                       if (cat == catBegin) {
+                                               int count = 0;
+                                               while (good() && (count || cat != catEnd)) {
+                                                       cat = nextToken().cat();
+                                                       cmd += getToken().asInput();
+                                                       ++num_tokens;
+                                                       if (cat == catBegin)
+                                                               ++count;
+                                                       else if (cat == catEnd)
+                                                               --count;
+                                               }
+                                       }
+                                       bool is_combining;
+                                       char_type c =
+                                               Encodings::fromLaTeXCommand(cmd, is_combining);
+                                       if (is_combining) {
+                                               if (cat == catLetter)
+                                                       cmd += '{';
+                                               cmd += getToken().asInput();
+                                               ++num_tokens;
+                                               if (cat == catLetter)
+                                                       cmd += '}';
+                                               c = Encodings::fromLaTeXCommand(cmd, is_combining);
+                                       }
+                                       if (c) {
+                                               is_unicode_symbol = true;
+                                               cell->push_back(MathAtom(new InsetMathChar(c)));
+                                       } else {
+                                               while (num_tokens--)
+                                                       putback();
+                                       }
+                               }
+                               if (!is_unicode_symbol) {
+                                       MathAtom at = createInsetMath(t.cs());
+                                       InsetMath::mode_type m = mode;
+                                       //if (m == InsetMath::UNDECIDED_MODE)
+                                       //lyxerr << "default creation: m1: " << m << endl;
+                                       if (at->currentMode() != InsetMath::UNDECIDED_MODE)
+                                               m = at->currentMode();
+                                       //lyxerr << "default creation: m2: " << m << endl;
+                                       InsetMath::idx_type start = 0;
+                                       // this fails on \bigg[...\bigg]
+                                       //MathData opt;
+                                       //parse(opt, FLAG_OPTION, InsetMath::VERBATIM_MODE);
+                                       //if (opt.size()) {
+                                       //      start = 1;
+                                       //      at.nucleus()->cell(0) = opt;
+                                       //}
+                                       for (InsetMath::idx_type i = start; i < at->nargs(); ++i) {
+                                               parse(at.nucleus()->cell(i), FLAG_ITEM, m);
+                                               skipSpaces();
+                                       }
+                                       cell->push_back(at);
                                }
-                               cell->push_back(at);
                        }
                }
 
@@ -1603,6 +1823,7 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
                        break;
                }
        }
+       return success_;
 }
 
 
@@ -1610,33 +1831,36 @@ void Parser::parse1(InsetMathGrid & grid, unsigned flags,
 } // anonymous namespace
 
 
-void mathed_parse_cell(MathData & ar, docstring const & str)
+bool mathed_parse_cell(MathData & ar, docstring const & str, Parse::flags f)
 {
-       Parser(str).parse(ar, 0, InsetMath::MATH_MODE);
+       return Parser(str, f).parse(ar, 0, f & Parse::TEXTMODE ?
+                               InsetMath::TEXT_MODE : InsetMath::MATH_MODE);
 }
 
 
-void mathed_parse_cell(MathData & ar, istream & is)
+bool mathed_parse_cell(MathData & ar, istream & is, Parse::flags f)
 {
-       Parser(is).parse(ar, 0, InsetMath::MATH_MODE);
+       return Parser(is, f).parse(ar, 0, f & Parse::TEXTMODE ?
+                               InsetMath::TEXT_MODE : InsetMath::MATH_MODE);
 }
 
 
-bool mathed_parse_normal(MathAtom & t, docstring const & str)
+bool mathed_parse_normal(MathAtom & t, docstring const & str, Parse::flags f)
 {
-       return Parser(str).parse(t);
+       return Parser(str, f).parse(t);
 }
 
 
-bool mathed_parse_normal(MathAtom & t, Lexer & lex)
+bool mathed_parse_normal(MathAtom & t, Lexer & lex, Parse::flags f)
 {
-       return Parser(lex).parse(t);
+       return Parser(lex, f).parse(t);
 }
 
 
-void mathed_parse_normal(InsetMathGrid & grid, docstring const & str)
+bool mathed_parse_normal(InsetMathGrid & grid, docstring const & str, Parse::flags f)
 {
-       Parser(str).parse1(grid, 0, InsetMath::MATH_MODE, false);
+       return Parser(str, f).parse1(grid, 0, f & Parse::TEXTMODE ?
+                       InsetMath::TEXT_MODE : InsetMath::MATH_MODE, false);
 }