+void initMathSymbols()
+{
+ // FIXME: Ideally, those unicode codepoints would be defined
+ // in "lib/symbols". Unfortunately, some of those are already
+ // defined with non-unicode ids for use within mathed.
+ // FIXME 2: We should fill-in this map with the parsed "symbols"
+ // file done in MathFactory.cpp.
+ math_symbols_["("] = MathSymbol('(');
+ math_symbols_[")"] = MathSymbol(')');
+ math_symbols_["{"] = MathSymbol('{');
+ math_symbols_["}"] = MathSymbol('}');
+ math_symbols_["["] = MathSymbol('[');
+ math_symbols_["]"] = MathSymbol(']');
+ math_symbols_["|"] = MathSymbol('|');
+ math_symbols_["/"] = MathSymbol('/', 54, CMSY_FAMILY);
+ math_symbols_["backslash"] = MathSymbol('\\', 110, CMSY_FAMILY);
+ math_symbols_["lceil"] = MathSymbol(0x2308, 100, CMSY_FAMILY);
+ math_symbols_["rceil"] = MathSymbol(0x2309, 101, CMSY_FAMILY);
+ math_symbols_["lfloor"] = MathSymbol(0x230A, 98, CMSY_FAMILY);
+ math_symbols_["rfloor"] = MathSymbol(0x230B, 99, CMSY_FAMILY);
+ math_symbols_["langle"] = MathSymbol(0x2329, 104, CMSY_FAMILY);
+ math_symbols_["rangle"] = MathSymbol(0x232A, 105, CMSY_FAMILY);
+ math_symbols_["uparrow"] = MathSymbol(0x2191, 34, CMSY_FAMILY);
+ math_symbols_["Uparrow"] = MathSymbol(0x21D1, 42, CMSY_FAMILY);
+ math_symbols_["updownarrow"] = MathSymbol(0x2195, 108, CMSY_FAMILY);
+ math_symbols_["Updownarrow"] = MathSymbol(0x21D5, 109, CMSY_FAMILY);
+ math_symbols_["downarrow"] = MathSymbol(0x2193, 35, CMSY_FAMILY);
+ math_symbols_["Downarrow"] = MathSymbol(0x21D3, 43, CMSY_FAMILY);
+ math_symbols_["downdownarrows"] = MathSymbol(0x21CA, 184, MSA_FAMILY);
+ math_symbols_["downharpoonleft"] = MathSymbol(0x21C3, 188, MSA_FAMILY);
+ math_symbols_["downharpoonright"] = MathSymbol(0x21C2, 186, MSA_FAMILY);
+ math_symbols_["vert"] = MathSymbol(0x007C, 106, CMSY_FAMILY);
+ math_symbols_["Vert"] = MathSymbol(0x2016, 107, CMSY_FAMILY);
+
+ map<string, MathSymbol>::const_iterator it = math_symbols_.begin();
+ map<string, MathSymbol>::const_iterator end = math_symbols_.end();
+ for (; it != end; ++it)
+ tex_names_[it->second.unicode] = it->first;
+}