9 #include "math_macrotable.h"
10 #include "math_macro.h"
11 #include "math_macrotemplate.h"
12 #include "math_parser.h"
13 #include "math_mathmlstream.h"
15 #include "math_support.h" // math_font_available
18 MathMacroTable::table_type MathMacroTable::macro_table;
21 void MathMacroTable::dump()
24 lyxerr << "\n------------------------------------------\n";
25 table_type::const_iterator it;
26 for (it = macro_table.begin(); it != macro_table.end(); ++it)
28 << " [" << it->second->asMacroTemplate()->nargs() << "] : "
29 << it->second->cell(0) << "\n";
30 lyxerr << "------------------------------------------\n";
35 MathAtom & MathMacroTable::provide(string const & name)
39 table_type::iterator pos = macro_table.find(name);
41 if (pos == macro_table.end()) {
42 lyxerr << "MathMacroTable::provideTemplate: no template with name '"
43 << name << "' available.\n";
50 void MathMacroTable::create(string const & name, int na, string const & text)
52 MathAtom t(new MathMacroTemplate(name, na));
53 mathed_parse_cell(t->cell(0), text);
54 macro_table[name] = t;
59 void MathMacroTable::create
60 (string const & name, int na, MathArray const & ar1, MathArray const & ar2)
62 MathAtom t(new MathMacroTemplate(name, na));
65 macro_table[name] = t;
70 bool MathMacroTable::has(string const & name)
73 return macro_table.find(name) != macro_table.end();
77 void MathMacroTable::builtinMacros()
79 static bool built = false;
85 //lyxerr[Debug::MATHED] << "Building macros\n";
86 //create("emptyset", 0, "\\not0");
87 create("notin", 0, "\\not\\in");
88 create("slash", 0, "/");
92 create("lnot", 0, "\\neg");
93 create("land", 0, "\\wedge");
94 create("lor", 0, "\\vee");
95 create("ne", 0, "\\neq");
96 create("le", 0, "\\leq");
97 create("ge", 0, "\\geq");
98 create("owns", 0, "\\ni");
99 create("gets", 0, "\\leftarrow");
100 create("to", 0, "\\rightarrow");
101 create("|", 0, "\\Vert");
103 create("longleftrightarrow", 0, "\\leftarrow\\kern-8mu\\rightarrow");
104 create("Longleftrightarrow", 0, "\\Leftarrow\\kern-8mu\\Rightarrow");
105 create("doteq", 0, "\\stackrel{\\cdot}{=}");
107 if (math_font_available(LM_TC_CMSY)) {
108 create("longrightarrow", 0, "\\lyxbar\\kern-6mu\\rightarrow");
109 create("longleftarrow", 0, "\\leftarrow\\kern-6mu\\lyxbar");
110 create("mapsto", 0, "\\mapstochar\\kern-4mu\\rightarrow");
111 create("longmapsto", 0, "\\mapstochar\\kern-3mu\\lyxbar\\kern-6mu\\rightarrow");
114 if (math_font_available(LM_TC_CMR) && math_font_available(LM_TC_CMSY)) {
115 create("Longrightarrow", 0, "\\lyxeq\\kern-5mu\\Rightarrow");
116 create("Longleftarrow", 0, "\\Leftarrow\\kern-5mu\\lyxeq");
117 create("models", 0, "\\vert\\kern-3mu\\lyxeq");
120 if (math_font_available(LM_TC_CMM)) {
121 create("hookrightarrow", 0, "\\lhook\\kern-8mu\\rightarrow");
122 create("hookleftarrow", 0, "\\leftarrow\\kern-8mu\\rhook");
123 create("bowtie", 0, "\\triangleright\\kern-2mu\\triangleleft");
126 if (math_font_available(LM_TC_MSA)) {
129 create("dashrightarrow", 0, "\\lyxdabar\\lyxdabar\\lyxright");
130 create("dashleftarrow", 0, "\\lyxleft\\lyxdabar\\lyxdabar");
131 create("dasharrow", 0, "\\dashrightarrow");
132 create("Box", 0, "\\square");
133 create("Diamond", 0, "\\lozenge");
134 create("leadsto", 0, "\\rightsquigarrow");
138 create("restriction", 0, "\\upharpoonright");
139 create("Doteq", 0, "\\doteqdot");
140 create("doublecup", 0, "\\Cup");
141 create("doublecap", 0, "\\Cap");
142 create("llless", 0, "\\lll");
143 create("gggtr", 0, "\\ggg");
146 if (math_font_available(LM_TC_MSB)) {
147 create("Join", 0, "\\ltimes\\kern-12mu\\rtimes");
150 //create("lint", 4, "\\int_#1^#2#3 d#4");
151 //create("silentmult", 0, "\\cdot");
152 //create("binom", 2, "\\left(\\frac#1#2\\right)");