diff -ruN math/lexer.mll math-new/lexer.mll
--- math/lexer.mll	2003-05-20 00:40:16.000000000 +0200
+++ math-new/lexer.mll	2004-01-19 23:22:12.000000000 +0100
@@ -53,6 +53,7 @@
   | "\\sqrt" space * "["	{ FUN_AR1opt "\\sqrt" }
   | "\\," 			{ LITERAL (HTMLABLE (FONT_UF, "\\,"," ")) }
   | "\\ " 			{ LITERAL (HTMLABLE (FONT_UF, "\\ "," ")) }
+  | "\\>" 			{ LITERAL (HTMLABLE (FONT_UF, "\\>"," ")) }
   | "\\;" 			{ LITERAL (HTMLABLE (FONT_UF, "\\;"," ")) }
   | "\\!" 			{ LITERAL (TEX_ONLY "\\!") }
   | "\\{" 			{ DELIMITER (HTMLABLEC(FONT_UFH,"\\{","{")) }
diff -ruN math/texutil.ml math-new/texutil.ml
--- math/texutil.ml	2003-08-27 02:32:05.000000000 +0200
+++ math-new/texutil.ml	2004-01-19 23:39:50.000000000 +0100
@@ -337,6 +337,7 @@
     | "\\heartsuit"        -> LITERAL (TEX_ONLY "\\heartsuit ")
     | "\\diamonds"         -> LITERAL (TEX_ONLY "\\diamondsuit ")
     | "\\diamondsuit"      -> LITERAL (TEX_ONLY "\\diamondsuit ")
+    | "\\rightleftharpoons"-> LITERAL (TEX_ONLY "\\rightleftharpoons ")
     | "\\implies"          -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\implies ", "⇒")))
     | "\\mod"	           -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mod ", "mod")))
     | "\\Diamond"          -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\Diamond ", "◊")))
@@ -351,6 +352,8 @@
     | "\\N"		   -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{N}", "<b>N</b>")))
     | "\\lVert"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\lVert ", "||")))
     | "\\rVert"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\rVert ", "||")))
+    | "\\ltimes"     	   -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ltimes "))
+    | "\\rtimes"  	   -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rtimes "))
     | "\\nmid"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nmid "))
     | "\\lesssim"          -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lesssim "))
     | "\\ngeq"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ngeq "))
@@ -416,7 +419,9 @@
     | "\\not"	           -> FUN_AR1 "\\not "
     | "\\choose"           -> FUN_INFIX "\\choose "
     | "\\atop"             -> FUN_INFIX "\\atop "
-    | "\\binom"            -> FUN_AR2 "\\binom "
+    | "\\binom"            -> (tex_use_ams (); FUN_AR2 "\\binom ")
+    | "\\overset"          -> (tex_use_ams (); FUN_AR2 "\\overset ")
+    | "\\underset"         -> (tex_use_ams (); FUN_AR2 "\\underset ")
     | "\\frac"             -> FUN_AR2h ("\\frac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\">", Html.html_render [den])
     | "\\cfrac"            -> (tex_use_ams (); FUN_AR2h ("\\cfrac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\">", Html.html_render [den]))
     | "\\over"             -> FUN_INFIXh ("\\over ", fun num den -> Html.html_render num, "<hr style=\"{background: black}\">", Html.html_render den)
@@ -442,6 +447,7 @@
     | "\\boldsymbol"       -> (tex_use_ams (); FUN_AR1 "\\boldsymbol ")
     | "\\bold"             -> (tex_use_ams (); FUN_AR1 "\\mathbf ")
     | "\\Bbb"              -> (tex_use_ams (); FUN_AR1 "\\mathbb ")
+    | "\\mathtt"           -> (tex_use_ams (); FUN_AR1 "\\mathtt ")
     | "\\mathbf"           -> (tex_use_ams (); FUN_AR1 "\\mathbf ")
     | "\\mathsf"           -> (tex_use_ams (); FUN_AR1 "\\mathsf ")
     | "\\mathcal"          -> (tex_use_ams (); FUN_AR1 "\\mathcal ")