- 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, "\\parallel");
-
- create("longleftrightarrow", 0, "\\leftarrow\\kern-6mu\\rightarrow");
- create("Longleftrightarrow", 0, "\\Leftarrow\\kern-6mu\\Rightarrow");
- create("doteq", 0, "\\stackrel{\\cdot}{=}");
-
- //create("models", 0, "|\\kern-9mu=");
-
- if (math_font_available(LM_TC_CMSY)) {
- create("longrightarrow", 0, "\\lyxbar\\kern-5mu\\rightarrow");
- create("longleftarrow", 0, "\\leftarrow\\kern-5mu\\lyxbar");
- create("mapsto", 0, "\\mapstochar\\rightarrow");
- create("longmapsto", 0, "\\mapstochar\\lyxbar\\kern-5mu\\rightarrow");
- }
-
- if (math_font_available(LM_TC_CMR)) {
- create("Longrightarrow", 0, "\\lyxeq\\kern-3mu\\Rightarrow");
- create("Longleftarrow", 0, "\\Leftarrow\\kern-9mu\\lyxeq");
- }
-
- if (math_font_available(LM_TC_CMM)) {
- create("hookrightarrow", 0, "\\lhook\\kern-5mu\\rightarrow");
- create("hookleftarrow", 0, "\\leftarrow\\kern-5mu\\rhook");
- create("bowtie", 0, "\\triangleright\\kern-3mu\\triangleleft");
- }
-
- if (math_font_available(LM_TC_MSA)) {
+ 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)) {