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(string const & name, int na, MathArray const & ar)
61 MathAtom t(new MathMacroTemplate(name, na));
63 macro_table[name] = t;
68 bool MathMacroTable::has(string const & name)
71 return macro_table.find(name) != macro_table.end();
75 void MathMacroTable::builtinMacros()
77 static bool built = false;
83 //lyxerr[Debug::MATHED] << "Building macros\n";
84 //create("emptyset", 0, "\\not0");
85 create("notin", 0, "\\not\\in");
86 create("slash", 0, "/");
90 create("lnot", 0, "\\neg");
91 create("land", 0, "\\wedge");
92 create("lor", 0, "\\vee");
93 create("ne", 0, "\\neq");
94 create("le", 0, "\\leq");
95 create("ge", 0, "\\geq");
96 create("owns", 0, "\\ni");
97 create("gets", 0, "\\leftarrow");
98 create("to", 0, "\\rightarrow");
99 create("|", 0, "\\Vert");
101 create("longleftrightarrow", 0, "\\leftarrow\\kern-8mu\\rightarrow");
102 create("Longleftrightarrow", 0, "\\Leftarrow\\kern-8mu\\Rightarrow");
103 create("doteq", 0, "\\stackrel{\\cdot}{=}");
105 //create("models", 0, "|\\kern-9mu=");
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)) {
115 create("Longrightarrow", 0, "\\lyxeq\\kern-5mu\\Rightarrow");
116 create("Longleftarrow", 0, "\\Leftarrow\\kern-5mu\\lyxeq");
119 if (math_font_available(LM_TC_CMM)) {
120 create("hookrightarrow", 0, "\\lhook\\kern-8mu\\rightarrow");
121 create("hookleftarrow", 0, "\\leftarrow\\kern-8mu\\rhook");
122 create("bowtie", 0, "\\triangleright\\kern-2mu\\triangleleft");
125 if (math_font_available(LM_TC_MSA)) {
128 create("dashrightarrow", 0, "\\lyxdabar\\lyxdabar\\lyxright");
129 create("dashleftarrow", 0, "\\lyxleft\\lyxdabar\\lyxdabar");
130 create("dasharrow", 0, "\\dashrightarrow");
131 create("Box", 0, "\\square");
132 create("Diamond", 0, "\\lozenge");
133 create("leadsto", 0, "\\rightsquigarrow");
137 create("restriction", 0, "\\upharpoonright");
138 create("Doteq", 0, "\\doteqdot");
139 create("doublecup", 0, "\\Cup");
140 create("doublecap", 0, "\\Cap");
141 create("llless", 0, "\\lll");
142 create("gggtr", 0, "\\ggg");
145 //create("lint", 4, "\\int_#1^#2#3 d#4");
146 //create("silentmult", 0, "\\cdot");
147 //create("binom", 2, "\\left(\\frac#1#2\\right)");