| 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 ", "∠"))) |
