-
-
-void MathMacroTable::builtinMacros()
-{
- static bool built = false;
-
- if (built)
- return;
-
- built = true;
- //lyxerr[Debug::MATHED] << "Building macros\n";
- //create("emptyset", 0, "\\not0");
- create("notin", 0, "\\not\\in");
- create("slash", 0, "/");
-
- // fontmath.ltx
-
- create("lnot", 0, "\\neg");
- create("land", 0, "\\wedge");
- create("lor", 0, "\\vee");
- create("ne", 0, "\\neq");
- create("le", 0, "\\leq");
- create("ge", 0, "\\geq");
- create("owns", 0, "\\ni");
- create("gets", 0, "\\leftarrow");
- create("to", 0, "\\rightarrow");
- create("|", 0, "\\Vert");
-
- create("longleftrightarrow", 0, "\\leftarrow\\kern-8mu\\rightarrow");
- create("Longleftrightarrow", 0, "\\Leftarrow\\kern-8mu\\Rightarrow");
- create("doteq", 0, "\\stackrel{\\cdot}{=}");
-
- //create("models", 0, "|\\kern-9mu=");
-
- if (math_font_available(LM_TC_CMSY)) {
- create("longrightarrow", 0, "\\lyxbar\\kern-6mu\\rightarrow");
- create("longleftarrow", 0, "\\leftarrow\\kern-6mu\\lyxbar");
- create("mapsto", 0, "\\mapstochar\\kern-4mu\\rightarrow");
- create("longmapsto", 0, "\\mapstochar\\kern-3mu\\lyxbar\\kern-6mu\\rightarrow");
- }
-
- if (math_font_available(LM_TC_CMR)) {
- create("Longrightarrow", 0, "\\lyxeq\\kern-5mu\\Rightarrow");
- create("Longleftarrow", 0, "\\Leftarrow\\kern-5mu\\lyxeq");
- }
-
- if (math_font_available(LM_TC_CMM)) {
- create("hookrightarrow", 0, "\\lhook\\kern-8mu\\rightarrow");
- create("hookleftarrow", 0, "\\leftarrow\\kern-8mu\\rhook");
- create("bowtie", 0, "\\triangleright\\kern-2mu\\triangleleft");
- }
-
- if (math_font_available(LM_TC_MSA)) {
- //amsfonts.sty
-
- create("dashrightarrow", 0, "\\lyxdabar\\lyxdabar\\lyxright");
- create("dashleftarrow", 0, "\\lyxleft\\lyxdabar\\lyxdabar");
- create("dasharrow", 0, "\\dashrightarrow");
- create("Box", 0, "\\square");
- create("Diamond", 0, "\\lozenge");
- create("leadsto", 0, "\\rightsquigarrow");
-
- // amssymb.sty
-
- create("restriction", 0, "\\upharpoonright");
- create("Doteq", 0, "\\doteqdot");
- create("doublecup", 0, "\\Cup");
- create("doublecap", 0, "\\Cap");
- create("llless", 0, "\\lll");
- create("gggtr", 0, "\\ggg");
- }
-
- //create("lint", 4, "\\int_#1^#2#3 d#4");
- //create("silentmult", 0, "\\cdot");
- //create("binom", 2, "\\left(\\frac#1#2\\right)");
-}