Index: trunk/extensions/Math/math/lexer.mll |
— | — | @@ -66,7 +66,7 @@ |
67 | 67 | | "\\" (latex_function_names as name) space * "\\{" |
68 | 68 | { LITERAL (MHTMLABLEFC(FONT_UFH, "\\" ^ name ^ "\\{", name ^ "{", MF, name, "{")) } |
69 | 69 | | "\\" (latex_function_names as name) space * |
70 | | - { LITERAL (MHTMLABLEC(FONT_UFH,"\\" ^ name, name ^ " ", MF, name)) } |
| 70 | + { LITERAL (MHTMLABLEC(FONT_UFH,"\\" ^ name ^ " ", name ^ " ", MF, name)) } |
71 | 71 | | "\\" (mediawiki_function_names as name) space * "(" |
72 | 72 | { (Texutil.tex_use_ams(); LITERAL (MHTMLABLEFC(FONT_UFH, |
73 | 73 | "\\operatorname{" ^ name ^ "}(", name ^ "(", MF, name, "("))) } |
— | — | @@ -77,7 +77,7 @@ |
78 | 78 | { (Texutil.tex_use_ams(); LITERAL (MHTMLABLEFC(FONT_UFH, |
79 | 79 | "\\operatorname{" ^ name ^ "}\\{", name ^ "{", MF, name, "{"))) } |
80 | 80 | | "\\" (mediawiki_function_names as name) space * |
81 | | - { (Texutil.tex_use_ams(); LITERAL (MHTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}", name ^ " ", MF, name))) } |
| 81 | + { (Texutil.tex_use_ams(); LITERAL (MHTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "} ", name ^ " ", MF, name))) } |
82 | 82 | | "\\" alpha + { Texutil.find (Lexing.lexeme lexbuf) } |
83 | 83 | | "\\," { LITERAL (HTMLABLE (FONT_UF, "\\,"," ")) } |
84 | 84 | | "\\ " { LITERAL (HTMLABLE (FONT_UF, "\\ "," ")) } |
Index: trunk/extensions/Math/math/texutil.ml |
— | — | @@ -269,10 +269,6 @@ |
270 | 270 | | "\\limits" -> LITERAL (TEX_ONLY "\\limits ") |
271 | 271 | | "\\nolimits" -> LITERAL (TEX_ONLY "\\nolimits ") |
272 | 272 | | "\\top" -> LITERAL (TEX_ONLY "\\top ") |
273 | | - | "\\arccot" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccot}}","arccot"))) |
274 | | - | "\\arcsec" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arcsec}}","arcsec"))) |
275 | | - | "\\arccsc" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccsc}}","arccsc"))) |
276 | | - | "\\sgn" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{sgn}}","sgn"))) |
277 | 273 | | "\\bullet" -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "•")) |
278 | 274 | | "\\bull" -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "•")) |
279 | 275 | | "\\angle" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\angle ", "∠"))) |