diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
commit | 8f416baead93a48e5799e44b8bd2e2c4859f4e04 (patch) | |
tree | cd47ac55eb80a39e3225e8b4f3161b88ea16c2cf /math | |
parent | d7d08bd1a17618c7d77a6b9b2989e9f7293d6ed6 (diff) |
auf Version 1.11 aktualisiert; Login-Bug behoben
Diffstat (limited to 'math')
-rw-r--r-- | math/texutil.ml | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/math/texutil.ml b/math/texutil.ml index f9ebb258..6a405cb3 100644 --- a/math/texutil.ml +++ b/math/texutil.ml @@ -217,20 +217,20 @@ let find = function | "\\models" -> LITERAL (TEX_ONLY "\\models ") | "\\vdash" -> LITERAL (TEX_ONLY "\\vdash ") | "\\triangle" -> LITERAL (TEX_ONLY "\\triangle ") - | "\\bowtie" -> LITERAL (TEX_ONLY "\\bowtie ") + | "\\bowtie" -> LITERAL (TEX_ONLY "\\bowtie ") | "\\wr" -> LITERAL (TEX_ONLY "\\wr ") | "\\triangleleft" -> LITERAL (TEX_ONLY "\\triangleleft ") | "\\triangleright" -> LITERAL (TEX_ONLY "\\triangleright ") | "\\textvisiblespace" -> LITERAL (TEX_ONLY "\\textvisiblespace ") - | "\\ker" -> LITERAL (TEX_ONLY "\\ker ") + | "\\ker" -> LITERAL (HTMLABLEC(FONT_UFH,"\\ker ","ker")) | "\\lim" -> LITERAL (TEX_ONLY "\\lim ") | "\\limsup" -> LITERAL (TEX_ONLY "\\limsup ") | "\\liminf" -> LITERAL (TEX_ONLY "\\liminf ") | "\\sup" -> LITERAL (TEX_ONLY "\\sup ") | "\\Pr" -> LITERAL (TEX_ONLY "\\Pr ") - | "\\hom" -> LITERAL (TEX_ONLY "\\hom ") - | "\\arg" -> LITERAL (TEX_ONLY "\\arg ") - | "\\dim" -> LITERAL (TEX_ONLY "\\dim ") + | "\\hom" -> LITERAL (HTMLABLEC(FONT_UFH,"\\hom ","hom")) + | "\\arg" -> LITERAL (HTMLABLEC(FONT_UFH,"\\arg ","arg")) + | "\\dim" -> LITERAL (HTMLABLEC(FONT_UFH,"\\dim ","dim")) | "\\inf" -> LITERAL (TEX_ONLY "\\inf ") | "\\circ" -> LITERAL (TEX_ONLY "\\circ ") | "\\hbar" -> LITERAL (TEX_ONLY "\\hbar ") @@ -240,7 +240,7 @@ let find = function | "\\hookrightarrow" -> LITERAL (TEX_ONLY "\\hookrightarrow ") | "\\hookleftarrow" -> LITERAL (TEX_ONLY "\\hookleftarrow ") | "\\mp" -> LITERAL (TEX_ONLY "\\mp ") - | "\\approx" -> LITERAL (TEX_ONLY "\\approx ") + | "\\approx" -> LITERAL (HTMLABLE (FONT_UF, "\\approx ", "≈")) | "\\propto" -> LITERAL (TEX_ONLY "\\propto ") | "\\flat" -> LITERAL (TEX_ONLY "\\flat ") | "\\sharp" -> LITERAL (TEX_ONLY "\\sharp ") @@ -466,6 +466,8 @@ let find = function | "\\left" -> LEFT | "\\right" -> RIGHT | "\\hat" -> FUN_AR1 "\\hat " + | "\\hline" -> LITERAL (TEX_ONLY "\\hline ") + | "\\vline" -> LITERAL (TEX_ONLY "\\vline ") | "\\widehat" -> LITERAL (TEX_ONLY "\\widehat ") | "\\overline" -> LITERAL (TEX_ONLY "\\overline ") | "\\overbrace" -> LITERAL (TEX_ONLY "\\overbrace ") @@ -702,7 +704,13 @@ let find = function | "\\nLeftrightarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nLeftrightarrow ")) | "\\mathit" -> (tex_use_ams (); FUN_AR1hf ("\\mathit ", FONTFORCE_IT)) | "\\mathrm" -> (tex_use_ams (); FUN_AR1hf ("\\mathrm ", FONTFORCE_RM)) + | "\\mathord" -> (tex_use_ams (); FUN_AR1 "\\mathord ") | "\\mathop" -> (tex_use_ams (); FUN_AR1 "\\mathop ") + | "\\mathbin" -> (tex_use_ams (); FUN_AR1 "\\mathbin ") + | "\\mathrel" -> (tex_use_ams (); FUN_AR1 "\\mathrel ") + | "\\mathopen" -> (tex_use_ams (); FUN_AR1 "\\mathopen ") + | "\\mathclose" -> (tex_use_ams (); FUN_AR1 "\\mathclose ") + | "\\mathpunct" -> (tex_use_ams (); FUN_AR1 "\\mathpunct ") | "\\boldsymbol" -> (tex_use_ams (); FUN_AR1 "\\boldsymbol ") | "\\bold" -> (tex_use_ams (); FUN_AR1 "\\mathbf ") | "\\Bbb" -> (tex_use_ams (); FUN_AR1 "\\mathbb ") |