- createTemplate("lnot", 0, "\\neg");
- createTemplate("land", 0, "\\wedge");
- createTemplate("lor", 0, "\\vee");
- createTemplate("ne", 0, "\\neq");
- createTemplate("le", 0, "\\leq");
- createTemplate("ge", 0, "\\geq");
- createTemplate("owns", 0, "\\ni");
- createTemplate("gets", 0, "\\leftarrow");
- createTemplate("to", 0, "\\rightarrow");
-
- //amsfonts.sty
-
- createTemplate("dasharrow", 0, "\\dashrightarrow");
- createTemplate("Box", 0, "\\square");
- createTemplate("Diamond", 0, "\\lozenge");
- createTemplate("leadsto", 0, "\\rightsquigarrow");
-
- // amssymb.sty
-
- createTemplate("restriction", 0, "\\upharpoonright");
- createTemplate("Doteq", 0, "\\doteqdot");
- createTemplate("doublecup", 0, "\\Cup");
- createTemplate("doublecap", 0, "\\Cap");
- createTemplate("llless", 0, "\\lll");
- createTemplate("gggtr", 0, "\\ggg");
-
-// #ifdef WITH_WARNINGS
-// #warning 9em looks like too much but it is somehow working on screen..
-// #endif WITH_WARNINGS
-// createTemplate("ll", 0, "<\\kern-9em<");
-// createTemplate("gg", 0, ">\\kern-9em>");
-
- //createTemplate("lint", 4, "\\int_#1^#2#3 d#4");
- //createTemplate("silentmult", 0, "\\cdot");
- //createTemplate("binom", 2, "\\left(\\frac#1#2\\right)");
+ 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)}");