Index: trunk/extensions/Math/math/lexer.mll |
— | — | @@ -63,7 +63,7 @@ |
64 | 64 | | "\\" (latex_function_names as name) space * "(" { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name ^ "(", name ^ "(")) } |
65 | 65 | | "\\" (latex_function_names as name) space * "[" { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name ^ "[", name ^ "[")) } |
66 | 66 | | "\\" (latex_function_names as name) space * "\\{" { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name ^ "\\{", name ^ "{")) } |
67 | | - | "\\" (latex_function_names as name) space * { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name, name ^ " ")) } |
| 67 | + | "\\" (latex_function_names as name) space * { LITERAL (HTMLABLEC(FONT_UFH,"\\" ^ name ^ " ", name ^ " ")) } |
68 | 68 | | "\\" (mediawiki_function_names as name) space * "(" { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}(", name^ "("))) } |
69 | 69 | | "\\" (mediawiki_function_names as name) space * "[" { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}[", name^ "["))) } |
70 | 70 | | "\\" (mediawiki_function_names as name) space * "\\{" { (Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^ "}\\{", name^ "{"))) } |
Index: trunk/extensions/Math/math/texutil.ml |
— | — | @@ -240,16 +240,6 @@ |
241 | 241 | | "\\triangleleft" -> LITERAL (TEX_ONLY "\\triangleleft ") |
242 | 242 | | "\\triangleright" -> LITERAL (TEX_ONLY "\\triangleright ") |
243 | 243 | | "\\textvisiblespace" -> LITERAL (TEX_ONLY "\\textvisiblespace ") |
244 | | - | "\\ker" -> LITERAL (HTMLABLEC(FONT_UFH,"\\ker ","ker")) |
245 | | - | "\\lim" -> LITERAL (TEX_ONLY "\\lim ") |
246 | | - | "\\limsup" -> LITERAL (TEX_ONLY "\\limsup ") |
247 | | - | "\\liminf" -> LITERAL (TEX_ONLY "\\liminf ") |
248 | | - | "\\sup" -> LITERAL (TEX_ONLY "\\sup ") |
249 | | - | "\\Pr" -> LITERAL (TEX_ONLY "\\Pr ") |
250 | | - | "\\hom" -> LITERAL (HTMLABLEC(FONT_UFH,"\\hom ","hom")) |
251 | | - | "\\arg" -> LITERAL (HTMLABLEC(FONT_UFH,"\\arg ","arg")) |
252 | | - | "\\dim" -> LITERAL (HTMLABLEC(FONT_UFH,"\\dim ","dim")) |
253 | | - | "\\inf" -> LITERAL (TEX_ONLY "\\inf ") |
254 | 244 | | "\\circ" -> LITERAL (TEX_ONLY "\\circ ") |
255 | 245 | | "\\hbar" -> LITERAL (TEX_ONLY "\\hbar ") |
256 | 246 | | "\\imath" -> LITERAL (TEX_ONLY "\\imath ") |
— | — | @@ -270,32 +260,10 @@ |
271 | 261 | | "\\limits" -> LITERAL (TEX_ONLY "\\limits ") |
272 | 262 | | "\\nolimits" -> LITERAL (TEX_ONLY "\\nolimits ") |
273 | 263 | | "\\top" -> LITERAL (TEX_ONLY "\\top ") |
274 | | - | "\\sin" -> LITERAL (HTMLABLEC(FONT_UFH,"\\sin ","sin")) |
275 | | - | "\\cos" -> LITERAL (HTMLABLEC(FONT_UFH,"\\cos ","cos")) |
276 | | - | "\\sinh" -> LITERAL (HTMLABLEC(FONT_UFH,"\\sinh ","sinh")) |
277 | | - | "\\cosh" -> LITERAL (HTMLABLEC(FONT_UFH,"\\cosh ","cosh")) |
278 | | - | "\\tan" -> LITERAL (HTMLABLEC(FONT_UFH,"\\tan ","tan")) |
279 | | - | "\\tanh" -> LITERAL (HTMLABLEC(FONT_UFH,"\\tanh ","tanh")) |
280 | | - | "\\sec" -> LITERAL (HTMLABLEC(FONT_UFH,"\\sec ","sec")) |
281 | | - | "\\csc" -> LITERAL (HTMLABLEC(FONT_UFH,"\\csc ","csc")) |
282 | | - | "\\arcsin" -> LITERAL (HTMLABLEC(FONT_UFH,"\\arcsin ","arcsin")) |
283 | | - | "\\arctan" -> LITERAL (HTMLABLEC(FONT_UFH,"\\arctan ","arctan")) |
284 | | - | "\\arccos" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccos}}","arccos"))) |
285 | 264 | | "\\arccot" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccot}}","arccot"))) |
286 | 265 | | "\\arcsec" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arcsec}}","arcsec"))) |
287 | 266 | | "\\arccsc" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccsc}}","arccsc"))) |
288 | 267 | | "\\sgn" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{sgn}}","sgn"))) |
289 | | - | "\\cot" -> LITERAL (HTMLABLEC(FONT_UFH,"\\cot ","cot")) |
290 | | - | "\\coth" -> LITERAL (HTMLABLEC(FONT_UFH,"\\coth ","coth")) |
291 | | - | "\\log" -> LITERAL (HTMLABLEC(FONT_UFH,"\\log ", "log")) |
292 | | - | "\\lg" -> LITERAL (HTMLABLEC(FONT_UFH,"\\lg ", "lg")) |
293 | | - | "\\ln" -> LITERAL (HTMLABLEC(FONT_UFH,"\\ln ", "ln")) |
294 | | - | "\\exp" -> LITERAL (HTMLABLEC(FONT_UFH,"\\exp ", "exp")) |
295 | | - | "\\min" -> LITERAL (HTMLABLEC(FONT_UFH,"\\min ", "min")) |
296 | | - | "\\max" -> LITERAL (HTMLABLEC(FONT_UFH,"\\max ", "max")) |
297 | | - | "\\gcd" -> LITERAL (HTMLABLEC(FONT_UFH,"\\gcd ", "gcd")) |
298 | | - | "\\deg" -> LITERAL (HTMLABLEC(FONT_UFH,"\\deg ", "deg")) |
299 | | - | "\\det" -> LITERAL (HTMLABLEC(FONT_UFH,"\\det ", "det")) |
300 | 268 | | "\\bullet" -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "•")) |
301 | 269 | | "\\bull" -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "•")) |
302 | 270 | | "\\angle" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\angle ", "∠"))) |