-
- //lyxerr[Debug::MATHED] << "Building macros" << endl;
-
-/*
- // This macro doesn't have arguments
- {
- MathMacroTemplate * t = new MathMacroTemplate("notin", 0);
- MathDecorationInset * p = new MathDecorationInset("not");
- p->cell(0).push_back(LM_in, LM_TC_SYMB);
- t->push_back(p);
- insertTemplate(t);
- }
-*/
-
- createTemplate("silentmult", 0, "\\cdot");
- createTemplate("emptyset", 0, "\\not0");
- createTemplate("notin", 0, "\\not\\in");
-
-
-
-/*
- {
- MathMacroTemplate * t = new MathMacroTemplate("emptyset", 0);
- MathDecorationInset * p = new MathDecorationInset("not", LM_not);
- p->cell(0).push_back('O', LM_TC_VAR);
- t->push_back(p);
- insertTemplate(t);
- }
-*/
-
- {
-
- MathMacroTemplate * t = new MathMacroTemplate("land", 0);
- t->push_back(LM_wedge, LM_TC_SYMB);
- insertTemplate(t);
- }
-
- {
- MathMacroTemplate * t = new MathMacroTemplate("lor", 0);
- t->push_back(LM_vee, LM_TC_SYMB);
- insertTemplate(t);
- }
-
- {
- MathMacroTemplate * t = new MathMacroTemplate("to", 0);
- t->push_back(LM_rightarrow, LM_TC_SYMB);
- insertTemplate(t);
- }
-
- {
- MathMacroTemplate * t = new MathMacroTemplate("perp", 0);
- t->push_back(LM_bot, LM_TC_BOP);
- insertTemplate(t);
- }
-
-/*
- {
- MathMacroTemplate & m = createTemplate("lint", 4);
- istringstream is("\\int_{#1}^{#2}#3 d#4\0");
- mathed_parser_file(is, 0);
- MathMatrixInset * p = &m;
- mathed_parse(m.array, p, 0);
- }
-*/
-/*
- {
- MathMacroTemplate * t = new MathMacroTemplate("binomii", 2);
- istringstream is("\\left(\\frac{#1}{#2}\\right)\0");
- mathed_parser_file(is, 0);
- mathed_parse(t->array, t, 0);
- insertTemplate(t);
- }
-*/
-
- // binom has two arguments
- {
- MathFracInset * frac = new MathFracInset("atop");
- frac->cell(0).push_back(new MathMacroArgument(1));
- frac->cell(1).push_back(new MathMacroArgument(2));
-
- MathInset * inset = new MathDelimInset('(', ')');
- inset->push_back(frac);
-
- MathMacroTemplate * t = new MathMacroTemplate("binom", 2);
- t->push_back(inset);
-
- insertTemplate(t);
- }
-
-/*
- {
- MathFracInset * frac = new MathFracInset(LM_OT_ATOP);
- frac->cell(0)->push_back(new MathMacroArgument(1));
- frac->cell(1)->push_back(new MathMacroArgument(2));
-
- MathMacroTemplate * t = new MathMacroTemplate("choose", 2);
- t->push_back(frac);
-
- insertTemplate(t);
- }
-*/
+ //lyxerr[Debug::MATHED] << "Building macros\n";
+ //define("\\def\\emptyset{\\not0}");
+ define("\\def\\notin{\\not\\in}");
+ define("\\def\\slash{/}");
+ //define("\\def\\mathcircumflex{\\^}");
+
+ // fontmath.ltx
+
+ define("\\def\\lnot{\\neg}");
+ define("\\def\\land{\\wedge}");
+ define("\\def\\lor{\\vee}");
+ define("\\def\\ne{\\neq}");
+ define("\\def\\le{\\leq}");
+ define("\\def\\ge{\\geq}");
+ define("\\def\\owns{\\ni}");
+ define("\\def\\gets{\\leftarrow}");
+ define("\\def\\to{\\rightarrow}");
+ define("\\def\\|{\\Vert}");
+
+ define("\\def\\longleftrightarrow{\\leftarrow\\kern-8mu\\rightarrow}");
+ define("\\def\\Longleftrightarrow{\\Leftarrow\\kern-8mu\\Rightarrow}");
+ define("\\def\\doteq{\\stackrel{\\cdot}{\\=}}");
+
+ //if (math_font_available(LM_TC_CMSY)) {
+ define("\\def\\longrightarrow{\\lyxbar\\kern-6mu\\rightarrow}");
+ define("\\def\\longleftarrow{\\leftarrow\\kern-6mu\\lyxbar}");
+ define("\\def\\mapsto{\\mapstochar\\kern-4mu\\rightarrow}");
+ define("\\def\\longmapsto{\\mapstochar\\kern-3mu\\lyxbar\\kern-6mu\\rightarrow}");
+ //}
+
+ //if (math_font_available(LM_TC_CMR) && math_font_available(LM_TC_CMSY)) {
+ define("\\def\\Longrightarrow{\\lyxeq\\kern-5mu\\Rightarrow}");
+ define("\\def\\Longleftarrow{\\Leftarrow\\kern-5mu\\lyxeq}");
+ define("\\def\\models{\\vert\\kern-3mu\\lyxeq}");
+ //}
+
+ //if (math_font_available(LM_TC_CMM)) {
+ define("\\def\\hookrightarrow{\\lhook\\kern-8mu\\rightarrow}");
+ define("\\def\\hookleftarrow{\\leftarrow\\kern-8mu\\rhook}");
+ define("\\def\\bowtie{\\triangleright\\kern-2mu\\triangleleft}");
+ //}
+
+ //if (math_font_available(LM_TC_MSA)) {
+ //amsfonts.sty
+
+ define("\\def\\dashrightarrow{\\lyxdabar\\lyxdabar\\lyxright}");
+ define("\\def\\dashleftarrow{\\lyxleft\\lyxdabar\\lyxdabar}");
+ define("\\def\\dasharrow{\\dashrightarrow}");
+ define("\\def\\Box{\\square}");
+ define("\\def\\Diamond{\\lozenge}");
+ define("\\def\\leadsto{\\rightsquigarrow}");
+
+ // amssymb.sty
+
+ define("\\def\\restriction{\\upharpoonright}");
+ define("\\def\\Doteq{\\doteqdot}");
+ define("\\def\\doublecup{\\Cup}");
+ define("\\def\\doublecap{\\Cap}");
+ define("\\def\\llless{\\lll}");
+ define("\\def\\gggtr{\\ggg}");
+ //}
+
+ //if (math_font_available(LM_TC_MSB)) {
+ define("\\def\\Join{\\ltimes\\kern-12mu\\rtimes}");
+ //}
+
+ //
+ define("\\def\\mathcircumflex{\\mbox{\\^{}}}\n" "{\\hat{}}");
+
+ //define("\def\lint", 4, "\\int_#1^#2#3 d#4}");
+ //define("\\def\\silentmult{\\cdot}");
+ //define("\def\binom", 2, "\\left(\\frac#1#2\\right)}");