From 0358360e51b87d0b720d237506635eaa62604ae3 Mon Sep 17 00:00:00 2001 From: Dekel Tsur Date: Sat, 26 Jan 2002 18:33:45 +0000 Subject: [PATCH] Add macros for \models and \Join. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@3440 a592a061-630c-0410-9148-cb99ea01b6c8 --- src/mathed/ChangeLog | 4 ++++ src/mathed/math_macrotable.C | 9 ++++++--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/src/mathed/ChangeLog b/src/mathed/ChangeLog index 8a5699a32f..1dac93b366 100644 --- a/src/mathed/ChangeLog +++ b/src/mathed/ChangeLog @@ -1,3 +1,7 @@ +2002-01-26 Dekel Tsur + + * math_macrotable.C (builtinMacros): Add macros for \models and \Join. + 2002-01-19 Jean-Marc Lasgouttes * math_factory.C (createMathInset): add a default: label in switch diff --git a/src/mathed/math_macrotable.C b/src/mathed/math_macrotable.C index 793ab5e495..58e0766051 100644 --- a/src/mathed/math_macrotable.C +++ b/src/mathed/math_macrotable.C @@ -102,8 +102,6 @@ void MathMacroTable::builtinMacros() 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"); @@ -111,9 +109,10 @@ void MathMacroTable::builtinMacros() create("longmapsto", 0, "\\mapstochar\\kern-3mu\\lyxbar\\kern-6mu\\rightarrow"); } - if (math_font_available(LM_TC_CMR)) { + if (math_font_available(LM_TC_CMR) && math_font_available(LM_TC_CMSY)) { create("Longrightarrow", 0, "\\lyxeq\\kern-5mu\\Rightarrow"); create("Longleftarrow", 0, "\\Leftarrow\\kern-5mu\\lyxeq"); + create("models", 0, "\\vert\\kern-3mu\\lyxeq"); } if (math_font_available(LM_TC_CMM)) { @@ -142,6 +141,10 @@ void MathMacroTable::builtinMacros() create("gggtr", 0, "\\ggg"); } + if (math_font_available(LM_TC_MSB)) { + create("Join", 0, "\\ltimes\\kern-12mu\\rtimes"); + } + //create("lint", 4, "\\int_#1^#2#3 d#4"); //create("silentmult", 0, "\\cdot"); //create("binom", 2, "\\left(\\frac#1#2\\right)"); -- 2.39.2