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}", "N"))) | "\\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], "
", Html.html_render [den]) | "\\cfrac" -> (tex_use_ams (); FUN_AR2h ("\\cfrac ", fun num den -> Html.html_render [num], "
", Html.html_render [den])) | "\\over" -> FUN_INFIXh ("\\over ", fun num den -> Html.html_render num, "
", 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 ")