math/texutil.ml

   1 open Parser
   2 open Render_info
   3 open Tex
   4 open Util
   5
   6 let tex_part = function
   7     HTMLABLE (_,t,_) -> t
   8   | HTMLABLEM (_,t,_) -> t
   9   | HTMLABLEC (_,t,_) -> t
  10   | MHTMLABLEC (_,t,_,_,_) -> t
  11   | HTMLABLE_BIG (t,_) -> t
  12   | TEX_ONLY t -> t
  13 let rec render_tex = function
  14     TEX_FQ (a,b,c) -> (render_tex a) ^ "_{" ^ (render_tex  b) ^ "}^{" ^ (render_tex  c) ^ "}"
  15   | TEX_DQ (a,b) -> (render_tex a) ^ "_{" ^ (render_tex  b) ^ "}"
  16   | TEX_UQ (a,b) -> (render_tex a) ^ "^{" ^ (render_tex  b) ^ "}"
  17   | TEX_LITERAL s -> tex_part s
  18   | TEX_FUN1 (f,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}"
  19   | TEX_FUN1hl (f,_,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}"
  20   | TEX_FUN1hf (f,_,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}"
  21   | TEX_DECLh (f,_,a) -> "{" ^ f ^ "{" ^ (mapjoin render_tex a) ^ "}}"
  22   | TEX_FUN2 (f,a,b) -> "{" ^ f ^ " " ^ (render_tex a) ^ (render_tex b) ^ "}"
  23   | TEX_FUN2h (f,_,a,b) -> "{" ^ f ^ " " ^ (render_tex a) ^ (render_tex b) ^ "}"
  24   | TEX_FUN2sq (f,a,b) -> "{" ^ f ^ "[ " ^ (render_tex a) ^ "]" ^ (render_tex b) ^ "}"
  25   | TEX_CURLY (tl) -> "{" ^ (mapjoin render_tex tl) ^ "}"
  26   | TEX_INFIX (s,ll,rl) -> "{" ^ (mapjoin render_tex ll) ^ " " ^ s ^ "" ^ (mapjoin render_tex rl) ^ "}"
  27   | TEX_INFIXh (s,_,ll,rl) -> "{" ^ (mapjoin render_tex ll) ^ " " ^ s ^ "" ^ (mapjoin render_tex rl) ^ "}"
  28   | TEX_BOX (bt,s) -> "{"^bt^"{" ^ s ^ "}}"
  29   | TEX_BIG (bt,d) -> "{"^bt^(tex_part d)^"}"
  30   | TEX_MATRIX (t,rows) -> "{\\begin{"^t^"}"^(mapjoine "\\\\" (mapjoine "&" (mapjoin render_tex)) rows)^"\\end{"^t^"}}"
  31   | TEX_LR (l,r,tl) -> "\\left "^(tex_part l)^(mapjoin render_tex tl)^"\\right "^(tex_part r)
  32
  33 (* Dynamic loading*)
  34 type encoding_t = LATIN1 | LATIN2 | UTF8
  35
  36 let modules_ams = ref false
  37 let modules_nonascii = ref false
  38 let modules_encoding = ref UTF8
  39
  40 let tex_use_ams ()     = modules_ams := true
  41 let tex_use_nonascii () = modules_nonascii := true
  42 let tex_mod_reset ()   = (modules_ams := false; modules_nonascii := false; modules_encoding := UTF8)
  43
  44 let get_encoding = function
  45     UTF8 -> "\\usepackage{ucs}\n\\usepackage[utf8]{inputenc}\n"
  46   | LATIN1 -> "\\usepackage[latin1]{inputenc}\n"
  47   | LATIN2 -> "\\usepackage[latin2]{inputenc}\n"
  48
  49 let get_preface ()  = "\\nonstopmode\n\\documentclass[12pt]{article}\n" ^
  50                       (if !modules_nonascii then get_encoding !modules_encoding else "") ^
  51                       (if !modules_ams then "\\usepackage{amsmath}\n\\usepackage{amsfonts}\n\\usepackage{amssymb}\n" else "") ^
  52                       "\\pagestyle{empty}\n\\begin{document}\n$$\n"
  53 let get_footer  ()  = "\n$$\n\\end{document}\n"
  54
  55 let set_encoding = function
  56     "ISO-8859-1" -> modules_encoding := LATIN1
  57   | "iso-8859-1" -> modules_encoding := LATIN1
  58   | "ISO-8859-2" -> modules_encoding := LATIN2
  59   | _ -> modules_encoding := UTF8
  60
  61 (* Turn that into hash table lookup *)
  62 exception Illegal_tex_function of string
  63
  64 let find = function
  65       "\\alpha"            -> LITERAL (HTMLABLEC (FONT_UF,  "\\alpha ", "&alpha;"))
  66     | "\\Alpha"            -> LITERAL (HTMLABLEC (FONT_RTI, "A", "&Alpha;"))
  67     | "\\beta"             -> LITERAL (HTMLABLEC (FONT_UF,  "\\beta ",  "&beta;"))
  68     | "\\Beta"             -> LITERAL (HTMLABLEC (FONT_RTI, "B",  "&Beta;"))
  69     | "\\gamma"            -> LITERAL (HTMLABLEC (FONT_UF,  "\\gamma ", "&gamma;"))
  70     | "\\Gamma"            -> LITERAL (HTMLABLEC (FONT_RTI, "\\Gamma ", "&Gamma;"))
  71     | "\\delta"            -> LITERAL (HTMLABLEC (FONT_UF,  "\\delta ", "&delta;"))
  72     | "\\Delta"            -> LITERAL (HTMLABLEC (FONT_RTI, "\\Delta ", "&Delta;"))
  73     | "\\epsilon"          -> LITERAL (HTMLABLEC (FONT_UF,  "\\epsilon ", "&epsilon;"))
  74     | "\\Epsilon"          -> LITERAL (HTMLABLEC (FONT_RTI, "E", "&Epsilon;"))
  75     | "\\varepsilon"       -> LITERAL (TEX_ONLY "\\varepsilon ")
  76     | "\\zeta"             -> LITERAL (HTMLABLEC (FONT_UF,  "\\zeta ", "&zeta;"))
  77     | "\\Zeta"             -> LITERAL (HTMLABLEC (FONT_RTI, "Z", "&Zeta;"))
  78     | "\\eta"              -> LITERAL (HTMLABLEC (FONT_UF,  "\\eta ", "&eta;"))
  79     | "\\Eta"              -> LITERAL (HTMLABLEC (FONT_RTI, "H", "&Eta;"))
  80     | "\\theta"            -> LITERAL (HTMLABLEC (FONT_UF,  "\\theta ", "&theta;"))
  81     | "\\Theta"            -> LITERAL (HTMLABLEC (FONT_RTI, "\\Theta ", "&Theta;"))
  82     | "\\vartheta"         -> LITERAL (HTMLABLE  (FONT_UF,  "\\vartheta ", "&thetasym;"))
  83     | "\\thetasym"         -> LITERAL (HTMLABLE  (FONT_UF,  "\\vartheta ", "&thetasym;"))
  84     | "\\iota"             -> LITERAL (HTMLABLEC (FONT_UF,  "\\iota ", "&iota;"))
  85     | "\\Iota"             -> LITERAL (HTMLABLEC (FONT_RTI, "I", "&Iota;"))
  86     | "\\kappa"            -> LITERAL (HTMLABLEC (FONT_UF,  "\\kappa ", "&kappa;"))
  87     | "\\Kappa"            -> LITERAL (HTMLABLEC (FONT_RTI, "K", "&Kappa;"))
  88     | "\\lambda"           -> LITERAL (HTMLABLEC (FONT_UF,  "\\lambda ", "&lambda;"))
  89     | "\\Lambda"           -> LITERAL (HTMLABLEC (FONT_RTI, "\\Lambda ", "&Lambda;"))
  90     | "\\mu"               -> LITERAL (HTMLABLEC (FONT_UF,  "\\mu ", "&mu;"))
  91     | "\\Mu"               -> LITERAL (HTMLABLEC (FONT_RTI, "M", "&Mu;"))
  92     | "\\nu"               -> LITERAL (HTMLABLEC (FONT_UF,  "\\nu ", "&nu;"))
  93     | "\\Nu"               -> LITERAL (HTMLABLEC (FONT_RTI, "N", "&Nu;"))
  94     | "\\pi"               -> LITERAL (HTMLABLEC (FONT_UF,  "\\pi ", "&pi;"))
  95     | "\\Pi"               -> LITERAL (HTMLABLEC (FONT_RTI, "\\Pi ", "&Pi;"))
  96     | "\\varpi"            -> LITERAL (TEX_ONLY "\\varpi ")
  97     | "\\rho"              -> LITERAL (HTMLABLEC (FONT_UF,  "\\rho ", "&rho;"))
  98     | "\\Rho"              -> LITERAL (HTMLABLEC (FONT_RTI, "P", "&Rho;"))
  99     | "\\varrho"           -> LITERAL (TEX_ONLY "\\varrho ")
 100     | "\\sigma"            -> LITERAL (HTMLABLEC (FONT_UF,  "\\sigma ", "&sigma;"))
 101     | "\\Sigma"            -> LITERAL (HTMLABLEC (FONT_RTI, "\\Sigma ", "&Sigma;"))
 102     | "\\varsigma"         -> LITERAL (TEX_ONLY "\\varsigma ")
 103     | "\\tau"              -> LITERAL (HTMLABLEC (FONT_UF,  "\\tau ", "&tau;"))
 104     | "\\Tau"              -> LITERAL (HTMLABLEC (FONT_RTI, "T", "&Tau;"))
 105     | "\\upsilon"          -> LITERAL (HTMLABLEC (FONT_UF,  "\\upsilon ", "&upsilon;"))
 106     | "\\Upsilon"          -> LITERAL (HTMLABLEC (FONT_RTI, "\\Upsilon ", "&Upsilon;"))
 107     | "\\phi"              -> LITERAL (HTMLABLEC (FONT_UF,  "\\phi ", "&phi;"))
 108     | "\\Phi"              -> LITERAL (HTMLABLEC (FONT_RTI, "\\Phi ", "&Phi;"))
 109     | "\\varphi"           -> LITERAL (TEX_ONLY "\\varphi ")
 110     | "\\chi"              -> LITERAL (HTMLABLEC (FONT_UF,  "\\chi ", "&chi;"))
 111     | "\\Chi"              -> LITERAL (HTMLABLEC (FONT_RTI, "X", "&Chi;"))
 112     | "\\psi"              -> LITERAL (HTMLABLEC (FONT_UF,  "\\psi ", "&psi;"))
 113     | "\\Psi"              -> LITERAL (HTMLABLEC (FONT_RTI, "\\Psi ", "&Psi;"))
 114     | "\\omega"            -> LITERAL (HTMLABLEC (FONT_UF,  "\\omega ", "&omega;"))
 115     | "\\Omega"            -> LITERAL (HTMLABLEC (FONT_RTI, "\\Omega ", "&Omega;"))
 116     | "\\xi"               -> LITERAL (HTMLABLEC (FONT_UF,  "\\xi ", "&xi;"))
 117     | "\\Xi"               -> LITERAL (HTMLABLEC (FONT_RTI, "\\Xi ", "&Xi;"))
 118     | "\\aleph"            -> LITERAL (HTMLABLE  (FONT_UF,  "\\aleph ", "&alefsym;"))
 119     | "\\alef"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\aleph ", "&alefsym;"))
 120     | "\\alefsym"          -> LITERAL (HTMLABLE  (FONT_UF,  "\\aleph ", "&alefsym;"))
 121     | "\\larr"             -> LITERAL (HTMLABLEM (FONT_UF,  "\\leftarrow ", "&larr;"))
 122     | "\\leftarrow"        -> LITERAL (HTMLABLEM (FONT_UF,  "\\leftarrow ", "&larr;"))
 123     | "\\rarr"             -> LITERAL (HTMLABLEM (FONT_UF,  "\\rightarrow ", "&rarr;"))
 124     | "\\to"               -> LITERAL (HTMLABLEM (FONT_UF,  "\\to ", "&rarr;"))
 125     | "\\gets"             -> LITERAL (HTMLABLEM (FONT_UF,  "\\gets ", "&larr;"))
 126     | "\\rightarrow"       -> LITERAL (HTMLABLEM (FONT_UF,  "\\rightarrow ", "&rarr;"))
 127     | "\\longleftarrow"    -> LITERAL (HTMLABLE  (FONT_UF,  "\\longleftarrow ", "&larr;"))
 128     | "\\longrightarrow"   -> LITERAL (HTMLABLE  (FONT_UF,  "\\longrightarrow ", "&rarr;"))
 129     | "\\Larr"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftarrow ", "&lArr;"))
 130     | "\\lArr"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftarrow ", "&lArr;"))
 131     | "\\Leftarrow"        -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftarrow ", "&lArr;"))
 132     | "\\Rarr"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\Rightarrow ", "&rArr;"))
 133     | "\\rArr"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\Rightarrow ", "&rArr;"))
 134     | "\\Rightarrow"       -> LITERAL (HTMLABLEM (FONT_UF,  "\\Rightarrow ", "&rArr;"))
 135     | "\\mapsto"           -> LITERAL (HTMLABLE  (FONT_UF,  "\\mapsto ", "&rarr;"))
 136     | "\\longmapsto"       -> LITERAL (HTMLABLE  (FONT_UF,  "\\longmapsto ", "&rarr;"))
 137     | "\\Longleftarrow"    -> LITERAL (HTMLABLE  (FONT_UF,  "\\Longleftarrow ", "&lArr;"))
 138     | "\\Longrightarrow"   -> LITERAL (HTMLABLE  (FONT_UF,  "\\Longrightarrow ", "&rArr;"))
 139     | "\\uarr"             -> DELIMITER (HTMLABLEM (FONT_UF,  "\\uparrow ", "&uarr;"))
 140     | "\\uparrow"          -> DELIMITER (HTMLABLEM (FONT_UF,  "\\uparrow ", "&uarr;"))
 141     | "\\uArr"             -> DELIMITER (HTMLABLE  (FONT_UF,  "\\Uparrow ", "&uArr;"))
 142     | "\\Uarr"             -> DELIMITER (HTMLABLE  (FONT_UF,  "\\Uparrow ", "&uArr;"))
 143     | "\\Uparrow"          -> DELIMITER (HTMLABLE  (FONT_UF,  "\\Uparrow ", "&uArr;"))
 144     | "\\darr"             -> DELIMITER (HTMLABLEM (FONT_UF,  "\\downarrow ", "&darr;"))
 145     | "\\downarrow"        -> DELIMITER (HTMLABLEM (FONT_UF,  "\\downarrow ", "&darr;"))
 146     | "\\dArr"             -> DELIMITER (HTMLABLE  (FONT_UF,  "\\Downarrow ", "&dArr;"))
 147     | "\\Darr"             -> DELIMITER (HTMLABLE  (FONT_UF,  "\\Downarrow ", "&dArr;"))
 148     | "\\Downarrow"        -> DELIMITER (HTMLABLE  (FONT_UF,  "\\Downarrow ", "&dArr;"))
 149     | "\\updownarrow"      -> DELIMITER (TEX_ONLY "\\updownarrow ")
 150     | "\\Updownarrow"      -> DELIMITER (TEX_ONLY "\\Updownarrow ")
 151     | "\\leftrightarrow"   -> LITERAL (HTMLABLE  (FONT_UF,  "\\leftrightarrow ", "&harr;"))
 152     | "\\lrarr"            -> LITERAL (HTMLABLE  (FONT_UF,  "\\leftrightarrow ", "&harr;"))
 153     | "\\harr"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\leftrightarrow ", "&harr;"))
 154     | "\\Leftrightarrow"   -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftrightarrow ", "&hArr;"))
 155     | "\\Lrarr"            -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftrightarrow ", "&hArr;"))
 156     | "\\Harr"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftrightarrow ", "&hArr;"))
 157     | "\\lrArr"            -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftrightarrow ", "&hArr;"))
 158     | "\\hAar"             -> LITERAL (HTMLABLE  (FONT_UF,  "\\Leftrightarrow ", "&hArr;"))
 159     | "\\Longleftrightarrow"->LITERAL (HTMLABLE  (FONT_UF,  "\\Longleftrightarrow ", "&harr;"))
 160     | "\\iff"              -> LITERAL (HTMLABLE  (FONT_UF,  "\\iff ", "&harr;"))
 161     | "\\searrow"          -> LITERAL (TEX_ONLY "\\searrow ")
 162     | "\\nearrow"          -> LITERAL (TEX_ONLY "\\nearrow ")
 163     | "\\swarrow"          -> LITERAL (TEX_ONLY "\\swarrow ")
 164     | "\\nwarrow"          -> LITERAL (TEX_ONLY "\\nwarrow ")
 165     | "\\sim"              -> LITERAL (TEX_ONLY "\\sim ")
 166     | "\\simeq"            -> LITERAL (TEX_ONLY "\\simeq ")
 167     | "\\star"             -> LITERAL (TEX_ONLY "\\star ")
 168     | "\\ell"              -> LITERAL (TEX_ONLY "\\ell ")
 169     | "\\P"                -> LITERAL (TEX_ONLY "\\P ")
 170     | "\\smile"            -> LITERAL (TEX_ONLY "\\smile ")
 171     | "\\frown"            -> LITERAL (TEX_ONLY "\\frown ")
 172     | "\\bigcap"           -> LITERAL (TEX_ONLY "\\bigcap ")
 173     | "\\bigodot"          -> LITERAL (TEX_ONLY "\\bigodot ")
 174     | "\\bigcup"           -> LITERAL (TEX_ONLY "\\bigcup ")
 175     | "\\bigotimes"        -> LITERAL (TEX_ONLY "\\bigotimes ")
 176     | "\\coprod"           -> LITERAL (TEX_ONLY "\\coprod ")
 177     | "\\bigsqcup"         -> LITERAL (TEX_ONLY "\\bigsqcup ")
 178     | "\\bigoplus"         -> LITERAL (TEX_ONLY "\\bigoplus ")
 179     | "\\bigvee"           -> LITERAL (TEX_ONLY "\\bigvee ")
 180     | "\\biguplus"         -> LITERAL (TEX_ONLY "\\biguplus ")
 181     | "\\oint"             -> LITERAL (TEX_ONLY "\\oint ")
 182     | "\\bigwedge"         -> LITERAL (TEX_ONLY "\\bigwedge ")
 183     | "\\models"           -> LITERAL (TEX_ONLY "\\models ")
 184     | "\\vdash"            -> LITERAL (TEX_ONLY "\\vdash ")
 185     | "\\triangle"         -> LITERAL (TEX_ONLY "\\triangle ")
 186     | "\\wr"               -> LITERAL (TEX_ONLY "\\wr ")
 187     | "\\triangleleft"     -> LITERAL (TEX_ONLY "\\triangleleft ")
 188     | "\\triangleright"    -> LITERAL (TEX_ONLY "\\triangleright ")
 189     | "\\textvisiblespace" -> LITERAL (TEX_ONLY "\\textvisiblespace ")
 190     | "\\ker"              -> LITERAL (TEX_ONLY "\\ker ")
 191     | "\\lim"              -> LITERAL (TEX_ONLY "\\lim ")
 192     | "\\limsup"           -> LITERAL (TEX_ONLY "\\limsup ")
 193     | "\\liminf"           -> LITERAL (TEX_ONLY "\\liminf ")
 194     | "\\sup"              -> LITERAL (TEX_ONLY "\\sup ")
 195     | "\\Pr"               -> LITERAL (TEX_ONLY "\\Pr ")
 196     | "\\hom"              -> LITERAL (TEX_ONLY "\\hom ")
 197     | "\\arg"              -> LITERAL (TEX_ONLY "\\arg ")
 198     | "\\dim"              -> LITERAL (TEX_ONLY "\\dim ")
 199     | "\\inf"              -> LITERAL (TEX_ONLY "\\inf ")
 200     | "\\circ"             -> LITERAL (TEX_ONLY "\\circ ")
 201     | "\\hbar"             -> LITERAL (TEX_ONLY "\\hbar ")
 202     | "\\imath"            -> LITERAL (TEX_ONLY "\\imath ")
 203     | "\\lnot"             -> LITERAL (TEX_ONLY "\\lnot ")
 204     | "\\hookrightarrow"   -> LITERAL (TEX_ONLY "\\hookrightarrow ")
 205     | "\\hookleftarrow"    -> LITERAL (TEX_ONLY "\\hookleftarrow ")
 206     | "\\mp"               -> LITERAL (TEX_ONLY "\\mp ")
 207     | "\\approx"           -> LITERAL (TEX_ONLY "\\approx ")
 208     | "\\flat"             -> LITERAL (TEX_ONLY "\\flat ")
 209     | "\\sharp"            -> LITERAL (TEX_ONLY "\\sharp ")
 210     | "\\natural"          -> LITERAL (TEX_ONLY "\\natural ")
 211     | "\\int"              -> LITERAL (HTMLABLE_BIG ("\\int ", "&int;"))
 212     | "\\sum"              -> LITERAL (HTMLABLE_BIG ("\\sum ", "&sum;"))
 213     | "\\prod"             -> LITERAL (HTMLABLE_BIG ("\\prod ", "&prod;"))
 214     | "\\vdots"            -> LITERAL (TEX_ONLY "\\vdots ")
 215     | "\\top"              -> LITERAL (TEX_ONLY "\\top ")
 216     | "\\sin"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\sin ","sin"))
 217     | "\\cos"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\cos ","cos"))
 218     | "\\sinh"             -> LITERAL (HTMLABLEC(FONT_UFH,"\\sinh ","sinh"))
 219     | "\\cosh"             -> LITERAL (HTMLABLEC(FONT_UFH,"\\cosh ","cosh"))
 220     | "\\tan"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\tan ","tan"))
 221     | "\\tanh"             -> LITERAL (HTMLABLEC(FONT_UFH,"\\tanh ","tanh"))
 222     | "\\sec"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\sec ","sec"))
 223     | "\\csc"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\csc ","csc"))
 224     | "\\arcsin"           -> LITERAL (HTMLABLEC(FONT_UFH,"\\arcsin ","arcsin"))
 225     | "\\arctan"           -> LITERAL (HTMLABLEC(FONT_UFH,"\\arctan ","arctan"))
 226     | "\\arccos"           -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccos}}","arccos")))
 227     | "\\arccot"           -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccot}}","arccot")))
 228     | "\\arcsec"           -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arcsec}}","arcsec")))
 229     | "\\arccsc"           -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccsc}}","arccsc")))
 230     | "\\sgn"              -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{sgn}}","sgn")))
 231     | "\\cot"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\cot ","cot"))
 232     | "\\coth"             -> LITERAL (HTMLABLEC(FONT_UFH,"\\coth ","coth"))
 233     | "\\log"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\log ", "log"))
 234     | "\\lg"               -> LITERAL (HTMLABLEC(FONT_UFH,"\\lg ", "lg"))
 235     | "\\ln"               -> LITERAL (HTMLABLEC(FONT_UFH,"\\ln ", "ln"))
 236     | "\\exp"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\exp ", "exp"))
 237     | "\\min"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\min ", "min"))
 238     | "\\max"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\max ", "max"))
 239     | "\\gcd"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\gcd ", "gcd"))
 240     | "\\deg"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\deg ", "deg"))
 241     | "\\det"              -> LITERAL (HTMLABLEC(FONT_UFH,"\\det ", "det"))
 242     | "\\bullet"           -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "&bull;"))
 243     | "\\bull"             -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "&bull;"))
 244     | "\\angle"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\angle ", "&ang;")))
 245     | "\\dagger"           -> LITERAL (HTMLABLEM(FONT_UFH, "\\dagger ", "&dagger;"))
 246     | "\\ddagger"          -> LITERAL (HTMLABLEM(FONT_UFH, "\\ddagger ", "&Dagger;"))
 247     | "\\Dagger"           -> LITERAL (HTMLABLEM(FONT_UFH, "\\ddagger ", "&Dagger;"))
 248     | "\\colon"            -> LITERAL (HTMLABLEC(FONT_UFH, "\\colon ", ":"))
 249     | "\\Vert"             -> DELIMITER (HTMLABLEM(FONT_UFH, "\\Vert ", "||"))
 250     | "\\vert"             -> DELIMITER (HTMLABLEM(FONT_UFH, "\\vert ", "|"))
 251     | "\\wp"               -> LITERAL (HTMLABLE (FONT_UF,  "\\wp ", "&weierp;"))
 252     | "\\weierp"           -> LITERAL (HTMLABLE (FONT_UF,  "\\wp ", "&weierp;"))
 253     | "\\wedge"            -> LITERAL (HTMLABLE (FONT_UF,  "\\wedge ", "&and;"))
 254     | "\\and"              -> LITERAL (HTMLABLE (FONT_UF,  "\\land ", "&and;"))
 255     | "\\land"             -> LITERAL (HTMLABLE (FONT_UF,  "\\land ", "&and;"))
 256     | "\\vee"              -> LITERAL (HTMLABLE (FONT_UF,  "\\vee ", "&or;"))
 257     | "\\or"               -> LITERAL (HTMLABLE (FONT_UF,  "\\lor ", "&or;"))
 258     | "\\lor"              -> LITERAL (HTMLABLE (FONT_UF,  "\\lor ", "&or;"))
 259     | "\\sub"              -> LITERAL (HTMLABLE (FONT_UF,  "\\subset ", "&sub;"))
 260     | "\\supe"             -> LITERAL (HTMLABLE (FONT_UF,  "\\supseteq ", "&supe;"))
 261     | "\\sube"             -> LITERAL (HTMLABLE (FONT_UF,  "\\subseteq ", "&sube;"))
 262     | "\\supset"           -> LITERAL (HTMLABLE (FONT_UF,  "\\supset ", "&sup;"))
 263     | "\\subset"           -> LITERAL (HTMLABLE (FONT_UF,  "\\subset ", "&sub;"))
 264     | "\\supseteq"         -> LITERAL (HTMLABLE (FONT_UF,  "\\supseteq ", "&supe;"))
 265     | "\\subseteq"         -> LITERAL (HTMLABLE (FONT_UF,  "\\subseteq ", "&sube;"))
 266     | "\\perp"             -> LITERAL (HTMLABLE (FONT_UF,  "\\perp ", "&perp;"))
 267     | "\\bot"              -> LITERAL (HTMLABLE (FONT_UF,  "\\bot ", "&perp;"))
 268     | "\\lfloor"           -> DELIMITER (HTMLABLE (FONT_UF,  "\\lfloor ", "&lfloor;"))
 269     | "\\rfloor"           -> DELIMITER (HTMLABLE (FONT_UF,  "\\rfloor ", "&rfloor;"))
 270     | "\\lceil"            -> DELIMITER (HTMLABLE (FONT_UF,  "\\lceil ", "&lceil;"))
 271     | "\\rceil"            -> DELIMITER (HTMLABLE (FONT_UF,  "\\rceil ", "&rceil;"))
 272     | "\\lbrace"           -> DELIMITER (HTMLABLEC(FONT_UFH, "\\lbrace ", "{"))
 273     | "\\rbrace"           -> DELIMITER (HTMLABLEC(FONT_UFH, "\\rbrace ", "}"))
 274     | "\\infty"            -> LITERAL (HTMLABLEM(FONT_UF,  "\\infty ", "&infin;"))
 275     | "\\infin"            -> LITERAL (HTMLABLEM(FONT_UF,  "\\infty ", "&infin;"))
 276     | "\\isin"             -> LITERAL (HTMLABLE (FONT_UF,  "\\in ", "&isin;"))
 277     | "\\in"               -> LITERAL (HTMLABLE (FONT_UF,  "\\in ", "&isin;"))
 278     | "\\ni"               -> LITERAL (HTMLABLE (FONT_UF,  "\\ni ", "&ni;"))
 279     | "\\notin"            -> LITERAL (HTMLABLE (FONT_UF,  "\\notin ", "&notin;"))
 280     | "\\smallsetminus"    -> (tex_use_ams (); LITERAL (TEX_ONLY "\\smallsetminus "))
 281     | "\\And"              -> (tex_use_ams (); LITERAL (HTMLABLEM(FONT_UFH, "\\And ", "&nbsp;&amp;&nbsp;")))
 282     | "\\forall"           -> LITERAL (HTMLABLE (FONT_UFH, "\\forall ", "&forall;"))
 283     | "\\exists"           -> LITERAL (HTMLABLE (FONT_UFH, "\\exists ", "&exist;"))
 284     | "\\exist"            -> LITERAL (HTMLABLE (FONT_UFH, "\\exists ", "&exist;"))
 285     | "\\equiv"            -> LITERAL (HTMLABLEM(FONT_UFH, "\\equiv ", "&equiv;"))
 286     | "\\ne"               -> LITERAL (HTMLABLEM(FONT_UFH, "\\neq ", "&ne;"))
 287     | "\\neq"              -> LITERAL (HTMLABLEM(FONT_UFH, "\\neq ", "&ne;"))
 288     | "\\Re"               -> LITERAL (HTMLABLE (FONT_UF,  "\\Re ", "&real;"))
 289     | "\\real"             -> LITERAL (HTMLABLE (FONT_UF,  "\\Re ", "&real;"))
 290     | "\\Im"               -> LITERAL (HTMLABLE (FONT_UF,  "\\Im ", "&image;"))
 291     | "\\image"            -> LITERAL (HTMLABLE (FONT_UF,  "\\Im ", "&image;"))
 292     | "\\prime"            -> LITERAL (HTMLABLE (FONT_UFH,"\\prime ", "&prime;"))
 293     | "\\backslash"        -> DELIMITER (HTMLABLEM(FONT_UFH,"\\backslash ", "\\"))
 294     | "\\setminus"         -> LITERAL (HTMLABLEM(FONT_UFH,"\\setminus ", "\\"))
 295     | "\\times"            -> LITERAL (HTMLABLEM(FONT_UFH,"\\times ", "&times;"))
 296     | "\\pm"               -> LITERAL (HTMLABLEM(FONT_UFH,"\\pm ", "&plusmn;"))
 297     | "\\plusmn"           -> LITERAL (HTMLABLEM(FONT_UFH,"\\pm ", "&plusmn;"))
 298     | "\\cdot"             -> LITERAL (HTMLABLE (FONT_UFH,"\\cdot ", "&sdot;"))
 299     | "\\cdots"            -> LITERAL (HTMLABLE (FONT_UFH,"\\cdots ", "&sdot;&sdot;&sdot;"))
 300     | "\\sdot"             -> LITERAL (HTMLABLE (FONT_UFH,"\\cdot ", "&sdot;"))
 301     | "\\oplus"            -> LITERAL (HTMLABLE (FONT_UF, "\\oplus ", "&oplus;"))
 302     | "\\otimes"           -> LITERAL (HTMLABLE (FONT_UF, "\\otimes ", "&otimes;"))
 303     | "\\cap"              -> LITERAL (HTMLABLEM(FONT_UF, "\\cap ", "&cap;"))
 304     | "\\cup"              -> LITERAL (HTMLABLE (FONT_UF, "\\cup ", "&cup;"))
 305     | "\\empty"            -> LITERAL (HTMLABLE (FONT_UF, "\\emptyset ", "&empty;"))
 306     | "\\emptyset"         -> LITERAL (HTMLABLE (FONT_UF, "\\emptyset ", "&empty;"))
 307     | "\\O"                -> LITERAL (HTMLABLE (FONT_UF, "\\emptyset ", "&empty;"))
 308     | "\\S"                -> LITERAL (HTMLABLEM(FONT_UFH,"\\S ", "&sect;"))
 309     | "\\sect"             -> LITERAL (HTMLABLEM(FONT_UFH,"\\S ", "&sect;"))
 310     | "\\nabla"            -> LITERAL (HTMLABLE (FONT_UF, "\\nabla ", "&nabla;"))
 311     | "\\geq"              -> LITERAL (HTMLABLE (FONT_UFH,"\\geq ", "&ge;"))
 312     | "\\ge"               -> LITERAL (HTMLABLE (FONT_UFH,"\\geq ", "&ge;"))
 313     | "\\leq"              -> LITERAL (HTMLABLE (FONT_UFH,"\\leq ", "&le;"))
 314     | "\\le"               -> LITERAL (HTMLABLE (FONT_UFH,"\\leq ", "&le;"))
 315     | "\\cong"             -> LITERAL (HTMLABLE (FONT_UF, "\\cong ", "&cong;"))
 316     | "\\ang"              -> LITERAL (HTMLABLE (FONT_UF, "\\angle ", "&ang;"))
 317     | "\\part"             -> LITERAL (HTMLABLEM(FONT_UF, "\\partial ", "&part;"))
 318     | "\\partial"          -> LITERAL (HTMLABLEM(FONT_UF, "\\partial ", "&part;"))
 319     | "\\ldots"            -> LITERAL (HTMLABLEM(FONT_UFH,"\\ldots ", "..."))
 320     | "\\dots"             -> LITERAL (HTMLABLEM(FONT_UFH,"\\dots ", "..."))
 321     | "\\quad"             -> LITERAL (HTMLABLE (FONT_UF, "\\quad ","&nbsp;&nbsp;"))
 322     | "\\qquad"            -> LITERAL (HTMLABLE (FONT_UF, "\\qquad ","&nbsp;&nbsp;&nbsp;&nbsp;"))
 323     | "\\mid"              -> LITERAL (HTMLABLEM(FONT_UFH,"\\mid ", " | "))
 324     | "\\neg"              -> LITERAL (HTMLABLEM(FONT_UFH,"\\neg ", "&not;"))
 325     | "\\langle"           -> DELIMITER (HTMLABLE (FONT_UFH,"\\langle ","&lang;"))
 326     | "\\rangle"           -> DELIMITER (HTMLABLE (FONT_UFH,"\\rangle ","&rang;"))
 327     | "\\lang"             -> DELIMITER (HTMLABLE (FONT_UFH,"\\langle ","&lang;"))
 328     | "\\rang"             -> DELIMITER (HTMLABLE (FONT_UFH,"\\rangle ","&rang;"))
 329     | "\\lbrack"           -> DELIMITER (HTMLABLEC(FONT_UFH,"[","["))
 330     | "\\rbrack"           -> DELIMITER (HTMLABLEC(FONT_UFH,"]","]"))
 331     | "\\ddots"            -> LITERAL (TEX_ONLY "\\ddots ")
 332     | "\\clubs"            -> LITERAL (TEX_ONLY "\\clubsuit ")
 333     | "\\clubsuit"         -> LITERAL (TEX_ONLY "\\clubsuit ")
 334     | "\\spades"           -> LITERAL (TEX_ONLY "\\spadesuit ")
 335     | "\\spadesuit"        -> LITERAL (TEX_ONLY "\\spadesuit ")
 336     | "\\hearts"           -> LITERAL (TEX_ONLY "\\heartsuit ")
 337     | "\\heartsuit"        -> LITERAL (TEX_ONLY "\\heartsuit ")
 338     | "\\diamonds"         -> LITERAL (TEX_ONLY "\\diamondsuit ")
 339     | "\\diamondsuit"      -> LITERAL (TEX_ONLY "\\diamondsuit ")
 340     | "\\implies"          -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\implies ", "&rArr;")))
 341     | "\\mod"              -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mod ", "mod")))
 342     | "\\Diamond"          -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\Diamond ", "&loz;")))
 343     | "\\dotsb"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\dotsb ", "&sdot;&sdot;&sdot;")))
 344     | "\\reals"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{R}", "<b>R</b>")))
 345     | "\\Reals"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{R}", "<b>R</b>")))
 346     | "\\R"                -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{R}", "<b>R</b>")))
 347     | "\\cnums"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{C}", "<b>C</b>")))
 348     | "\\Complex"          -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{C}", "<b>C</b>")))
 349     | "\\Z"                -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{Z}", "<b>Z</b>")))
 350     | "\\natnums"          -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{N}", "<b>N</b>")))
 351     | "\\N"                -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{N}", "<b>N</b>")))
 352     | "\\lVert"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\lVert ", "||")))
 353     | "\\rVert"            -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\rVert ", "||")))
 354     | "\\nmid"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nmid "))
 355     | "\\lesssim"          -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lesssim "))
 356     | "\\ngeq"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ngeq "))
 357     | "\\smallsmile"       -> (tex_use_ams (); LITERAL (TEX_ONLY "\\smallsmile "))
 358     | "\\smallfrown"       -> (tex_use_ams (); LITERAL (TEX_ONLY "\\smallfrown "))
 359     | "\\nleftarrow"       -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nleftarrow "))
 360     | "\\nrightarrow"      -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nrightarrow "))
 361     | "\\trianglelefteq"   -> (tex_use_ams (); LITERAL (TEX_ONLY "\\trianglelefteq "))
 362     | "\\trianglerighteq"  -> (tex_use_ams (); LITERAL (TEX_ONLY "\\trianglerighteq "))
 363     | "\\square"           -> (tex_use_ams (); LITERAL (TEX_ONLY "\\square "))
 364     | "\\supsetneq"        -> (tex_use_ams (); LITERAL (TEX_ONLY "\\supsetneq "))
 365     | "\\subsetneq"        -> (tex_use_ams (); LITERAL (TEX_ONLY "\\subsetneq "))
 366     | "\\Box"              -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Box "))
 367     | "\\nleq"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nleq "))
 368     | "\\upharpoonright"   -> (tex_use_ams (); LITERAL (TEX_ONLY "\\upharpoonright "))
 369     | "\\upharpoonleft"    -> (tex_use_ams (); LITERAL (TEX_ONLY "\\upharpoonleft "))
 370     | "\\downharpoonright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\downharpoonright "))
 371     | "\\downharpoonleft"  -> (tex_use_ams (); LITERAL (TEX_ONLY "\\downharpoonleft "))
 372     | "\\nless"            -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nless "))
 373     | "\\Vdash"            -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Vdash "))
 374     | "\\vDash"            -> (tex_use_ams (); LITERAL (TEX_ONLY "\\vDash "))
 375     | "\\varkappa"         -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varkappa "))
 376     | "\\digamma"          -> (tex_use_ams (); LITERAL (TEX_ONLY "\\digamma "))
 377     | "\\beth"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\beth "))
 378     | "\\daleth"           -> (tex_use_ams (); LITERAL (TEX_ONLY "\\daleth "))
 379     | "\\gimel"            -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gimel "))
 380     | "\\complement"       -> (tex_use_ams (); LITERAL (TEX_ONLY "\\complement "))
 381     | "\\eth"              -> (tex_use_ams (); LITERAL (TEX_ONLY "\\eth "))
 382     | "\\hslash"           -> (tex_use_ams (); LITERAL (TEX_ONLY "\\hslash "))
 383     | "\\mho"              -> (tex_use_ams (); LITERAL (TEX_ONLY "\\mho "))
 384     | "\\Finv"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Finv "))
 385     | "\\Game"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Game "))
 386     | "\\varlimsup"        -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varlimsup "))
 387     | "\\varliminf"        -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varliminf "))
 388     | "\\varinjlim"        -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varinjlim "))
 389     | "\\varprojlim"       -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varprojlim "))
 390     | "\\injlim"           -> (tex_use_ams (); LITERAL (TEX_ONLY "\\injlim "))
 391     | "\\projlim"          -> (tex_use_ams (); LITERAL (TEX_ONLY "\\projlim "))
 392     | "\\iint"             -> (tex_use_ams (); LITERAL (TEX_ONLY "\\iint "))
 393     | "\\iiint"            -> (tex_use_ams (); LITERAL (TEX_ONLY "\\iiint "))
 394     | "\\iiiint"           -> (tex_use_ams (); LITERAL (TEX_ONLY "\\iiiint "))
 395     | "\\varnothing"       -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varnothing "))
 396     | "\\left"             -> LEFT
 397     | "\\right"            -> RIGHT
 398     | "\\hat"              -> FUN_AR1 "\\hat "
 399     | "\\widehat"          -> FUN_AR1 "\\widehat "
 400     | "\\overline"         -> FUN_AR1 "\\overline "
 401     | "\\overbrace"        -> FUN_AR1 "\\overbrace "
 402     | "\\underline"        -> FUN_AR1 "\\underline "
 403     | "\\underbrace"       -> FUN_AR1 "\\underbrace "
 404     | "\\overleftarrow"    -> FUN_AR1 "\\overleftarrow "
 405     | "\\overrightarrow"   -> FUN_AR1 "\\overrightarrow "
 406     | "\\overleftrightarrow"->FUN_AR1 "\\overleftrightarrow "
 407     | "\\check"            -> FUN_AR1 "\\check "
 408     | "\\acute"            -> FUN_AR1 "\\acute "
 409     | "\\grave"            -> FUN_AR1 "\\grave "
 410     | "\\bar"              -> FUN_AR1 "\\bar "
 411     | "\\vec"              -> FUN_AR1 "\\vec "
 412     | "\\dot"              -> FUN_AR1 "\\dot "
 413     | "\\ddot"             -> FUN_AR1 "\\ddot "
 414     | "\\breve"            -> FUN_AR1 "\\breve "
 415     | "\\tilde"            -> FUN_AR1 "\\tilde "
 416     | "\\not"              -> FUN_AR1 "\\not "
 417     | "\\choose"           -> FUN_INFIX "\\choose "
 418     | "\\atop"             -> FUN_INFIX "\\atop "
 419     | "\\binom"            -> FUN_AR2 "\\binom "
 420     | "\\frac"             -> FUN_AR2h ("\\frac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\">", Html.html_render [den])
 421     | "\\cfrac"            -> (tex_use_ams (); FUN_AR2h ("\\cfrac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\">", Html.html_render [den]))
 422     | "\\over"             -> FUN_INFIXh ("\\over ", fun num den -> Html.html_render num, "<hr style=\"{background: black}\">", Html.html_render den)
 423     | "\\sqrt"             -> FUN_AR1 "\\sqrt "
 424     | "\\pmod"             -> FUN_AR1hl ("\\pmod ", ("(mod ", ")"))
 425     | "\\bmod"             -> FUN_AR1hl ("\\bmod ", ("mod ", ""))
 426     | "\\emph"             -> FUN_AR1 "\\emph "
 427     | "\\texttt"           -> FUN_AR1 "\\texttt "
 428     | "\\textbf"           -> FUN_AR1 "\\textbf "
 429     | "\\textit"           -> FUN_AR1hf ("\\textit ", FONTFORCE_IT)
 430     | "\\textrm"           -> FUN_AR1hf ("\\textrm ", FONTFORCE_RM)
 431     | "\\rm"               -> DECLh ("\\rm ", FONTFORCE_RM)
 432     | "\\it"               -> DECLh ("\\it ", FONTFORCE_IT)
 433     | "\\cal"              -> DECL "\\cal "
 434     | "\\bf"               -> DECL "\\bf "
 435     | "\\big"              -> BIG "\\big "
 436     | "\\Big"              -> BIG "\\Big "
 437     | "\\bigg"             -> BIG "\\bigg "
 438     | "\\Bigg"             -> BIG "\\Bigg "
 439     | "\\mathit"           -> (tex_use_ams (); FUN_AR1hf ("\\mathit ", FONTFORCE_IT))
 440     | "\\mathrm"           -> (tex_use_ams (); FUN_AR1hf ("\\mathrm ", FONTFORCE_RM))
 441     | "\\mathop"           -> (tex_use_ams (); FUN_AR1 "\\mathop ")
 442     | "\\boldsymbol"       -> (tex_use_ams (); FUN_AR1 "\\boldsymbol ")
 443     | "\\bold"             -> (tex_use_ams (); FUN_AR1 "\\mathbf ")
 444     | "\\Bbb"              -> (tex_use_ams (); FUN_AR1 "\\mathbb ")
 445     | "\\mathbf"           -> (tex_use_ams (); FUN_AR1 "\\mathbf ")
 446     | "\\mathsf"           -> (tex_use_ams (); FUN_AR1 "\\mathsf ")
 447     | "\\mathcal"          -> (tex_use_ams (); FUN_AR1 "\\mathcal ")
 448     | "\\mathbb"           -> (tex_use_ams (); FUN_AR1 "\\mathbb ")
 449     | "\\mathfrak"         -> (tex_use_ams (); FUN_AR1 "\\mathfrak ")
 450     | "\\operatorname"     -> (tex_use_ams (); FUN_AR1 "\\operatorname ")
 451     | "\\mbox"             -> raise (Failure "malformatted \\mbox")
 452     | "\\vbox"             -> raise (Failure "malformatted \\vbox")
 453     | "\\hbox"             -> raise (Failure "malformatted \\hbox")
 454     | s                    -> raise (Illegal_tex_function s)