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  <dekelts@tau.ac.il>
+
+	* math_macrotable.C (builtinMacros): Add macros for \models and \Join.
+
 2002-01-19  Jean-Marc Lasgouttes  <lasgouttes@freesurf.fr>
 
 	* 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)");