6 let tex_part = function
8 | HTMLABLEM
(_
,t
,_
) -> t
9 | HTMLABLEC
(_
,t
,_
) -> t
10 | MHTMLABLEC
(_
,t
,_
,_
,_
) -> t
11 | HTMLABLE_BIG
(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
)
34 type encoding_t
= LATIN1
| LATIN2
| UTF8
36 let modules_ams = ref false
37 let modules_nonascii = ref false
38 let modules_encoding = ref UTF8
39 let modules_color = ref false
41 let tex_use_ams () = modules_ams := true
42 let tex_use_nonascii () = modules_nonascii := true
43 let tex_use_color () = modules_color := true
44 let tex_mod_reset () = (modules_ams := false; modules_nonascii := false; modules_encoding := UTF8
; modules_color := false)
46 let get_encoding = function
47 UTF8
-> "\\usepackage{ucs}\n\\usepackage[utf8]{inputenc}\n"
48 | LATIN1
-> "\\usepackage[latin1]{inputenc}\n"
49 | LATIN2
-> "\\usepackage[latin2]{inputenc}\n"
51 let get_preface () = "\\nonstopmode\n\\documentclass[12pt]{article}\n" ^
52 (if !modules_nonascii then get_encoding !modules_encoding else "") ^
53 (if !modules_ams then "\\usepackage{amsmath}\n\\usepackage{amsfonts}\n\\usepackage{amssymb}\n" else "") ^
54 (if !modules_color then "\\usepackage[dvips]{color}\n" else "") ^
55 "\\pagestyle{empty}\n\\begin{document}\n$$\n"
56 let get_footer () = "\n$$\n\\end{document}\n"
58 let set_encoding = function
59 "ISO-8859-1" -> modules_encoding := LATIN1
60 | "iso-8859-1" -> modules_encoding := LATIN1
61 | "ISO-8859-2" -> modules_encoding := LATIN2
62 | _
-> modules_encoding := UTF8
64 (* Turn that into hash table lookup *)
65 exception Illegal_tex_function
of string
68 "\\alpha" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\alpha ", "α"))
69 | "\\Alpha" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "A", "Α"))
70 | "\\beta" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\beta ", "β"))
71 | "\\Beta" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "B", "Β"))
72 | "\\gamma" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\gamma ", "γ"))
73 | "\\Gamma" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Gamma ", "Γ"))
74 | "\\delta" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\delta ", "δ"))
75 | "\\Delta" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Delta ", "Δ"))
76 | "\\epsilon" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\epsilon ", "ε"))
77 | "\\Epsilon" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "E", "Ε"))
78 | "\\varepsilon" -> LITERAL
(TEX_ONLY
"\\varepsilon ")
79 | "\\zeta" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\zeta ", "ζ"))
80 | "\\Zeta" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "Z", "Ζ"))
81 | "\\eta" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\eta ", "η"))
82 | "\\Eta" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "H", "Η"))
83 | "\\theta" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\theta ", "θ"))
84 | "\\Theta" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Theta ", "Θ"))
85 | "\\vartheta" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\vartheta ", "ϑ"))
86 | "\\thetasym" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\vartheta ", "ϑ"))
87 | "\\iota" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\iota ", "ι"))
88 | "\\Iota" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "I", "Ι"))
89 | "\\kappa" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\kappa ", "κ"))
90 | "\\Kappa" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "K", "Κ"))
91 | "\\lambda" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\lambda ", "λ"))
92 | "\\Lambda" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Lambda ", "Λ"))
93 | "\\mu" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\mu ", "μ"))
94 | "\\Mu" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "M", "Μ"))
95 | "\\nu" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\nu ", "ν"))
96 | "\\Nu" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "N", "Ν"))
97 | "\\pi" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\pi ", "π"))
98 | "\\Pi" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Pi ", "Π"))
99 | "\\varpi" -> LITERAL
(TEX_ONLY
"\\varpi ")
100 | "\\rho" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\rho ", "ρ"))
101 | "\\Rho" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "P", "Ρ"))
102 | "\\varrho" -> LITERAL
(TEX_ONLY
"\\varrho ")
103 | "\\sigma" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\sigma ", "σ"))
104 | "\\Sigma" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Sigma ", "Σ"))
105 | "\\varsigma" -> LITERAL
(TEX_ONLY
"\\varsigma ")
106 | "\\tau" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\tau ", "τ"))
107 | "\\Tau" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "T", "Τ"))
108 | "\\upsilon" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\upsilon ", "υ"))
109 | "\\Upsilon" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Upsilon ", "Υ"))
110 | "\\phi" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\phi ", "φ"))
111 | "\\Phi" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Phi ", "Φ"))
112 | "\\varphi" -> LITERAL
(TEX_ONLY
"\\varphi ")
113 | "\\chi" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\chi ", "χ"))
114 | "\\Chi" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "X", "Χ"))
115 | "\\psi" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\psi ", "ψ"))
116 | "\\Psi" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Psi ", "Ψ"))
117 | "\\omega" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\omega ", "ω"))
118 | "\\Omega" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Omega ", "Ω"))
119 | "\\xi" -> LITERAL
(HTMLABLEC
(FONT_UF
, "\\xi ", "ξ"))
120 | "\\Xi" -> LITERAL
(HTMLABLEC
(FONT_RTI
, "\\Xi ", "Ξ"))
121 | "\\aleph" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\aleph ", "ℵ"))
122 | "\\alef" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\aleph ", "ℵ"))
123 | "\\alefsym" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\aleph ", "ℵ"))
124 | "\\larr" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\leftarrow ", "←"))
125 | "\\leftarrow" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\leftarrow ", "←"))
126 | "\\rarr" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\rightarrow ", "→"))
127 | "\\to" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\to ", "→"))
128 | "\\gets" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\gets ", "←"))
129 | "\\rightarrow" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\rightarrow ", "→"))
130 | "\\longleftarrow" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\longleftarrow ", "←"))
131 | "\\longrightarrow" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\longrightarrow ", "→"))
132 | "\\Larr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftarrow ", "⇐"))
133 | "\\lArr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftarrow ", "⇐"))
134 | "\\Leftarrow" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftarrow ", "⇐"))
135 | "\\Rarr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Rightarrow ", "⇒"))
136 | "\\rArr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Rightarrow ", "⇒"))
137 | "\\Rightarrow" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\Rightarrow ", "⇒"))
138 | "\\mapsto" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\mapsto ", "→"))
139 | "\\longmapsto" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\longmapsto ", "→"))
140 | "\\Longleftarrow" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Longleftarrow ", "⇐"))
141 | "\\Longrightarrow" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Longrightarrow ", "⇒"))
142 | "\\uarr" -> DELIMITER
(HTMLABLEM
(FONT_UF
, "\\uparrow ", "↑"))
143 | "\\uparrow" -> DELIMITER
(HTMLABLEM
(FONT_UF
, "\\uparrow ", "↑"))
144 | "\\uArr" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\Uparrow ", "⇑"))
145 | "\\Uarr" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\Uparrow ", "⇑"))
146 | "\\Uparrow" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\Uparrow ", "⇑"))
147 | "\\darr" -> DELIMITER
(HTMLABLEM
(FONT_UF
, "\\downarrow ", "↓"))
148 | "\\downarrow" -> DELIMITER
(HTMLABLEM
(FONT_UF
, "\\downarrow ", "↓"))
149 | "\\dArr" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\Downarrow ", "⇓"))
150 | "\\Darr" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\Downarrow ", "⇓"))
151 | "\\Downarrow" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\Downarrow ", "⇓"))
152 | "\\updownarrow" -> DELIMITER
(TEX_ONLY
"\\updownarrow ")
153 | "\\Updownarrow" -> DELIMITER
(TEX_ONLY
"\\Updownarrow ")
154 | "\\leftrightarrow" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\leftrightarrow ", "↔"))
155 | "\\lrarr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\leftrightarrow ", "↔"))
156 | "\\harr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\leftrightarrow ", "↔"))
157 | "\\Leftrightarrow" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftrightarrow ", "⇔"))
158 | "\\Lrarr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftrightarrow ", "⇔"))
159 | "\\Harr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftrightarrow ", "⇔"))
160 | "\\lrArr" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftrightarrow ", "⇔"))
161 | "\\hAar" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Leftrightarrow ", "⇔"))
162 | "\\Longleftrightarrow"->LITERAL
(HTMLABLE
(FONT_UF
, "\\Longleftrightarrow ", "↔"))
163 | "\\iff" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\iff ", "↔"))
164 | "\\ll" -> LITERAL
(TEX_ONLY
"\\ll ")
165 | "\\gg" -> LITERAL
(TEX_ONLY
"\\gg ")
166 | "\\div" -> LITERAL
(TEX_ONLY
"\\div ")
167 | "\\searrow" -> LITERAL
(TEX_ONLY
"\\searrow ")
168 | "\\nearrow" -> LITERAL
(TEX_ONLY
"\\nearrow ")
169 | "\\swarrow" -> LITERAL
(TEX_ONLY
"\\swarrow ")
170 | "\\nwarrow" -> LITERAL
(TEX_ONLY
"\\nwarrow ")
171 | "\\sim" -> LITERAL
(TEX_ONLY
"\\sim ")
172 | "\\simeq" -> LITERAL
(TEX_ONLY
"\\simeq ")
173 | "\\star" -> LITERAL
(TEX_ONLY
"\\star ")
174 | "\\ell" -> LITERAL
(TEX_ONLY
"\\ell ")
175 | "\\P" -> LITERAL
(TEX_ONLY
"\\P ")
176 | "\\smile" -> LITERAL
(TEX_ONLY
"\\smile ")
177 | "\\frown" -> LITERAL
(TEX_ONLY
"\\frown ")
178 | "\\bigcap" -> LITERAL
(TEX_ONLY
"\\bigcap ")
179 | "\\bigodot" -> LITERAL
(TEX_ONLY
"\\bigodot ")
180 | "\\bigcup" -> LITERAL
(TEX_ONLY
"\\bigcup ")
181 | "\\bigotimes" -> LITERAL
(TEX_ONLY
"\\bigotimes ")
182 | "\\coprod" -> LITERAL
(TEX_ONLY
"\\coprod ")
183 | "\\bigsqcup" -> LITERAL
(TEX_ONLY
"\\bigsqcup ")
184 | "\\bigoplus" -> LITERAL
(TEX_ONLY
"\\bigoplus ")
185 | "\\bigvee" -> LITERAL
(TEX_ONLY
"\\bigvee ")
186 | "\\biguplus" -> LITERAL
(TEX_ONLY
"\\biguplus ")
187 | "\\oint" -> LITERAL
(TEX_ONLY
"\\oint ")
188 | "\\bigwedge" -> LITERAL
(TEX_ONLY
"\\bigwedge ")
189 | "\\models" -> LITERAL
(TEX_ONLY
"\\models ")
190 | "\\vdash" -> LITERAL
(TEX_ONLY
"\\vdash ")
191 | "\\triangle" -> LITERAL
(TEX_ONLY
"\\triangle ")
192 | "\\bowtie" -> LITERAL
(TEX_ONLY
"\\bowtie ")
193 | "\\wr" -> LITERAL
(TEX_ONLY
"\\wr ")
194 | "\\triangleleft" -> LITERAL
(TEX_ONLY
"\\triangleleft ")
195 | "\\triangleright" -> LITERAL
(TEX_ONLY
"\\triangleright ")
196 | "\\textvisiblespace" -> LITERAL
(TEX_ONLY
"\\textvisiblespace ")
197 | "\\ker" -> LITERAL
(TEX_ONLY
"\\ker ")
198 | "\\lim" -> LITERAL
(TEX_ONLY
"\\lim ")
199 | "\\limsup" -> LITERAL
(TEX_ONLY
"\\limsup ")
200 | "\\liminf" -> LITERAL
(TEX_ONLY
"\\liminf ")
201 | "\\sup" -> LITERAL
(TEX_ONLY
"\\sup ")
202 | "\\Pr" -> LITERAL
(TEX_ONLY
"\\Pr ")
203 | "\\hom" -> LITERAL
(TEX_ONLY
"\\hom ")
204 | "\\arg" -> LITERAL
(TEX_ONLY
"\\arg ")
205 | "\\dim" -> LITERAL
(TEX_ONLY
"\\dim ")
206 | "\\inf" -> LITERAL
(TEX_ONLY
"\\inf ")
207 | "\\circ" -> LITERAL
(TEX_ONLY
"\\circ ")
208 | "\\hbar" -> LITERAL
(TEX_ONLY
"\\hbar ")
209 | "\\imath" -> LITERAL
(TEX_ONLY
"\\imath ")
210 | "\\lnot" -> LITERAL
(TEX_ONLY
"\\lnot ")
211 | "\\hookrightarrow" -> LITERAL
(TEX_ONLY
"\\hookrightarrow ")
212 | "\\hookleftarrow" -> LITERAL
(TEX_ONLY
"\\hookleftarrow ")
213 | "\\mp" -> LITERAL
(TEX_ONLY
"\\mp ")
214 | "\\approx" -> LITERAL
(TEX_ONLY
"\\approx ")
215 | "\\propto" -> LITERAL
(TEX_ONLY
"\\propto ")
216 | "\\flat" -> LITERAL
(TEX_ONLY
"\\flat ")
217 | "\\sharp" -> LITERAL
(TEX_ONLY
"\\sharp ")
218 | "\\natural" -> LITERAL
(TEX_ONLY
"\\natural ")
219 | "\\int" -> LITERAL
(HTMLABLE_BIG
("\\int ", "∫"))
220 | "\\sum" -> LITERAL
(HTMLABLE_BIG
("\\sum ", "∑"))
221 | "\\prod" -> LITERAL
(HTMLABLE_BIG
("\\prod ", "∏"))
222 | "\\vdots" -> LITERAL
(TEX_ONLY
"\\vdots ")
223 | "\\limits" -> LITERAL
(TEX_ONLY
"\\limits ")
224 | "\\nolimits" -> LITERAL
(TEX_ONLY
"\\nolimits ")
225 | "\\top" -> LITERAL
(TEX_ONLY
"\\top ")
226 | "\\sin" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\sin ","sin"))
227 | "\\cos" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\cos ","cos"))
228 | "\\sinh" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\sinh ","sinh"))
229 | "\\cosh" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\cosh ","cosh"))
230 | "\\tan" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\tan ","tan"))
231 | "\\tanh" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\tanh ","tanh"))
232 | "\\sec" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\sec ","sec"))
233 | "\\csc" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\csc ","csc"))
234 | "\\arcsin" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\arcsin ","arcsin"))
235 | "\\arctan" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\arctan ","arctan"))
236 | "\\arccos" -> (tex_use_ams (); LITERAL
(HTMLABLEC
(FONT_UFH
,"\\mathop{\\mathrm{arccos}}","arccos")))
237 | "\\arccot" -> (tex_use_ams (); LITERAL
(HTMLABLEC
(FONT_UFH
,"\\mathop{\\mathrm{arccot}}","arccot")))
238 | "\\arcsec" -> (tex_use_ams (); LITERAL
(HTMLABLEC
(FONT_UFH
,"\\mathop{\\mathrm{arcsec}}","arcsec")))
239 | "\\arccsc" -> (tex_use_ams (); LITERAL
(HTMLABLEC
(FONT_UFH
,"\\mathop{\\mathrm{arccsc}}","arccsc")))
240 | "\\sgn" -> (tex_use_ams (); LITERAL
(HTMLABLEC
(FONT_UFH
,"\\mathop{\\mathrm{sgn}}","sgn")))
241 | "\\cot" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\cot ","cot"))
242 | "\\coth" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\coth ","coth"))
243 | "\\log" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\log ", "log"))
244 | "\\lg" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\lg ", "lg"))
245 | "\\ln" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\ln ", "ln"))
246 | "\\exp" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\exp ", "exp"))
247 | "\\min" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\min ", "min"))
248 | "\\max" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\max ", "max"))
249 | "\\gcd" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\gcd ", "gcd"))
250 | "\\deg" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\deg ", "deg"))
251 | "\\det" -> LITERAL
(HTMLABLEC
(FONT_UFH
,"\\det ", "det"))
252 | "\\bullet" -> LITERAL
(HTMLABLE
(FONT_UFH
, "\\bullet ", "•"))
253 | "\\bull" -> LITERAL
(HTMLABLE
(FONT_UFH
, "\\bullet ", "•"))
254 | "\\angle" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UF
, "\\angle ", "∠")))
255 | "\\dagger" -> LITERAL
(HTMLABLEM
(FONT_UFH
, "\\dagger ", "†"))
256 | "\\ddagger" -> LITERAL
(HTMLABLEM
(FONT_UFH
, "\\ddagger ", "‡"))
257 | "\\Dagger" -> LITERAL
(HTMLABLEM
(FONT_UFH
, "\\ddagger ", "‡"))
258 | "\\colon" -> LITERAL
(HTMLABLEC
(FONT_UFH
, "\\colon ", ":"))
259 | "\\Vert" -> DELIMITER
(HTMLABLEM
(FONT_UFH
, "\\Vert ", "||"))
260 | "\\vert" -> DELIMITER
(HTMLABLEM
(FONT_UFH
, "\\vert ", "|"))
261 | "\\wp" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\wp ", "℘"))
262 | "\\weierp" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\wp ", "℘"))
263 | "\\wedge" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\wedge ", "∧"))
264 | "\\and" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\land ", "∧"))
265 | "\\land" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\land ", "∧"))
266 | "\\vee" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\vee ", "∨"))
267 | "\\or" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\lor ", "∨"))
268 | "\\lor" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\lor ", "∨"))
269 | "\\sub" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\subset ", "⊂"))
270 | "\\supe" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\supseteq ", "⊇"))
271 | "\\sube" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\subseteq ", "⊆"))
272 | "\\supset" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\supset ", "⊃"))
273 | "\\subset" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\subset ", "⊂"))
274 | "\\supseteq" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\supseteq ", "⊇"))
275 | "\\subseteq" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\subseteq ", "⊆"))
276 | "\\sqsupset" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\sqsupset "))
277 | "\\sqsubset" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\sqsubset "))
278 | "\\sqsupseteq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\sqsupseteq "))
279 | "\\sqsubseteq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\sqsubseteq "))
280 | "\\perp" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\perp ", "⊥"))
281 | "\\bot" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\bot ", "⊥"))
282 | "\\lfloor" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\lfloor ", "⌊"))
283 | "\\rfloor" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\rfloor ", "⌋"))
284 | "\\lceil" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\lceil ", "⌈"))
285 | "\\rceil" -> DELIMITER
(HTMLABLE
(FONT_UF
, "\\rceil ", "⌉"))
286 | "\\lbrace" -> DELIMITER
(HTMLABLEC
(FONT_UFH
, "\\lbrace ", "{"))
287 | "\\rbrace" -> DELIMITER
(HTMLABLEC
(FONT_UFH
, "\\rbrace ", "}"))
288 | "\\infty" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\infty ", "∞"))
289 | "\\infin" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\infty ", "∞"))
290 | "\\isin" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\in ", "∈"))
291 | "\\in" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\in ", "∈"))
292 | "\\ni" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\ni ", "∋"))
293 | "\\notin" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\notin ", "∉"))
294 | "\\smallsetminus" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\smallsetminus "))
295 | "\\And" -> (tex_use_ams (); LITERAL
(HTMLABLEM
(FONT_UFH
, "\\And ", " & ")))
296 | "\\forall" -> LITERAL
(HTMLABLE
(FONT_UFH
, "\\forall ", "∀"))
297 | "\\exists" -> LITERAL
(HTMLABLE
(FONT_UFH
, "\\exists ", "∃"))
298 | "\\exist" -> LITERAL
(HTMLABLE
(FONT_UFH
, "\\exists ", "∃"))
299 | "\\equiv" -> LITERAL
(HTMLABLEM
(FONT_UFH
, "\\equiv ", "≡"))
300 | "\\ne" -> LITERAL
(HTMLABLEM
(FONT_UFH
, "\\neq ", "≠"))
301 | "\\neq" -> LITERAL
(HTMLABLEM
(FONT_UFH
, "\\neq ", "≠"))
302 | "\\Re" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Re ", "ℜ"))
303 | "\\real" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Re ", "ℜ"))
304 | "\\Im" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Im ", "ℑ"))
305 | "\\image" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\Im ", "ℑ"))
306 | "\\prime" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\prime ", "′"))
307 | "\\backslash" -> DELIMITER
(HTMLABLEM
(FONT_UFH
,"\\backslash ", "\\"))
308 | "\\setminus" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\setminus ", "\\"))
309 | "\\times" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\times ", "×"))
310 | "\\pm" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\pm ", "±"))
311 | "\\plusmn" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\pm ", "±"))
312 | "\\cdot" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\cdot ", "⋅"))
313 | "\\AA" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\AA ", "Å"))
314 | "\\cdots" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\cdots ", "⋅⋅⋅"))
315 | "\\sdot" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\cdot ", "⋅"))
316 | "\\oplus" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\oplus ", "⊕"))
317 | "\\otimes" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\otimes ", "⊗"))
318 | "\\cap" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\cap ", "∩"))
319 | "\\cup" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\cup ", "∪"))
320 | "\\sqcap" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\sqcap "))
321 | "\\sqcup" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\sqcup "))
322 | "\\empty" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\emptyset ", "∅"))
323 | "\\emptyset" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\emptyset ", "∅"))
324 | "\\O" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\emptyset ", "∅"))
325 | "\\S" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\S ", "§"))
326 | "\\sect" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\S ", "§"))
327 | "\\nabla" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\nabla ", "∇"))
328 | "\\geq" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\geq ", "≥"))
329 | "\\ge" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\geq ", "≥"))
330 | "\\leq" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\leq ", "≤"))
331 | "\\le" -> LITERAL
(HTMLABLE
(FONT_UFH
,"\\leq ", "≤"))
332 | "\\cong" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\cong ", "≅"))
333 | "\\ang" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\angle ", "∠"))
334 | "\\part" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\partial ", "∂"))
335 | "\\partial" -> LITERAL
(HTMLABLEM
(FONT_UF
, "\\partial ", "∂"))
336 | "\\ldots" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\ldots ", "..."))
337 | "\\dots" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\dots ", "..."))
338 | "\\quad" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\quad "," "))
339 | "\\qquad" -> LITERAL
(HTMLABLE
(FONT_UF
, "\\qquad "," "))
340 | "\\mid" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\mid ", " | "))
341 | "\\neg" -> LITERAL
(HTMLABLEM
(FONT_UFH
,"\\neg ", "¬"))
342 | "\\langle" -> DELIMITER
(HTMLABLE
(FONT_UFH
,"\\langle ","⟨"))
343 | "\\rangle" -> DELIMITER
(HTMLABLE
(FONT_UFH
,"\\rangle ","⟩"))
344 | "\\lang" -> DELIMITER
(HTMLABLE
(FONT_UFH
,"\\langle ","⟨"))
345 | "\\rang" -> DELIMITER
(HTMLABLE
(FONT_UFH
,"\\rangle ","⟩"))
346 | "\\lbrack" -> DELIMITER
(HTMLABLEC
(FONT_UFH
,"[","["))
347 | "\\rbrack" -> DELIMITER
(HTMLABLEC
(FONT_UFH
,"]","]"))
348 | "\\ddots" -> LITERAL
(TEX_ONLY
"\\ddots ")
349 | "\\clubs" -> LITERAL
(TEX_ONLY
"\\clubsuit ")
350 | "\\clubsuit" -> LITERAL
(TEX_ONLY
"\\clubsuit ")
351 | "\\spades" -> LITERAL
(TEX_ONLY
"\\spadesuit ")
352 | "\\spadesuit" -> LITERAL
(TEX_ONLY
"\\spadesuit ")
353 | "\\hearts" -> LITERAL
(TEX_ONLY
"\\heartsuit ")
354 | "\\heartsuit" -> LITERAL
(TEX_ONLY
"\\heartsuit ")
355 | "\\diamonds" -> LITERAL
(TEX_ONLY
"\\diamondsuit ")
356 | "\\diamondsuit" -> LITERAL
(TEX_ONLY
"\\diamondsuit ")
357 | "\\implies" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UF
, "\\implies ", "⇒")))
358 | "\\mod" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mod ", "mod")))
359 | "\\Diamond" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UF
, "\\Diamond ", "◊")))
360 | "\\dotsb" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UF
, "\\dotsb ", "⋅⋅⋅")))
361 | "\\reals" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{R}", "<b>R</b>")))
362 | "\\Reals" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{R}", "<b>R</b>")))
363 | "\\R" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{R}", "<b>R</b>")))
364 | "\\cnums" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{C}", "<b>C</b>")))
365 | "\\Complex" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{C}", "<b>C</b>")))
366 | "\\Z" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{Z}", "<b>Z</b>")))
367 | "\\natnums" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{N}", "<b>N</b>")))
368 | "\\N" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\mathbb{N}", "<b>N</b>")))
369 | "\\lVert" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\lVert ", "||")))
370 | "\\rVert" -> (tex_use_ams (); LITERAL
(HTMLABLE
(FONT_UFH
,"\\rVert ", "||")))
371 | "\\nmid" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\nmid "))
372 | "\\lesssim" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\lesssim "))
373 | "\\ngeq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\ngeq "))
374 | "\\smallsmile" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\smallsmile "))
375 | "\\smallfrown" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\smallfrown "))
376 | "\\nleftarrow" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\nleftarrow "))
377 | "\\nrightarrow" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\nrightarrow "))
378 | "\\trianglelefteq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\trianglelefteq "))
379 | "\\trianglerighteq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\trianglerighteq "))
380 | "\\square" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\square "))
381 | "\\checkmark" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\checkmark "))
382 | "\\supsetneq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\supsetneq "))
383 | "\\subsetneq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\subsetneq "))
384 | "\\Box" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\Box "))
385 | "\\nleq" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\nleq "))
386 | "\\upharpoonright" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\upharpoonright "))
387 | "\\upharpoonleft" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\upharpoonleft "))
388 | "\\downharpoonright" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\downharpoonright "))
389 | "\\downharpoonleft" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\downharpoonleft "))
390 | "\\rightharpoonup" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\rightharpoonup "))
391 | "\\rightharpoondown" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\rightharpoondown "))
392 | "\\leftharpoonup" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\leftharpoonup "))
393 | "\\leftharpoondown" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\leftharpoondown "))
394 | "\\nless" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\nless "))
395 | "\\Vdash" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\Vdash "))
396 | "\\vDash" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\vDash "))
397 | "\\varkappa" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\varkappa "))
398 | "\\digamma" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\digamma "))
399 | "\\beth" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\beth "))
400 | "\\daleth" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\daleth "))
401 | "\\gimel" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\gimel "))
402 | "\\complement" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\complement "))
403 | "\\eth" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\eth "))
404 | "\\hslash" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\hslash "))
405 | "\\mho" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\mho "))
406 | "\\Finv" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\Finv "))
407 | "\\Game" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\Game "))
408 | "\\varlimsup" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\varlimsup "))
409 | "\\varliminf" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\varliminf "))
410 | "\\varinjlim" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\varinjlim "))
411 | "\\varprojlim" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\varprojlim "))
412 | "\\injlim" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\injlim "))
413 | "\\projlim" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\projlim "))
414 | "\\iint" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\iint "))
415 | "\\iiint" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\iiint "))
416 | "\\iiiint" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\iiiint "))
417 | "\\varnothing" -> (tex_use_ams (); LITERAL
(TEX_ONLY
"\\varnothing "))
420 | "\\hat" -> FUN_AR1
"\\hat "
421 | "\\widehat" -> FUN_AR1
"\\widehat "
422 | "\\overline" -> FUN_AR1
"\\overline "
423 | "\\overbrace" -> FUN_AR1
"\\overbrace "
424 | "\\underline" -> FUN_AR1
"\\underline "
425 | "\\underbrace" -> FUN_AR1
"\\underbrace "
426 | "\\overleftarrow" -> FUN_AR1
"\\overleftarrow "
427 | "\\overrightarrow" -> FUN_AR1
"\\overrightarrow "
428 | "\\overleftrightarrow"->FUN_AR1
"\\overleftrightarrow "
429 | "\\check" -> FUN_AR1
"\\check "
430 | "\\acute" -> FUN_AR1
"\\acute "
431 | "\\grave" -> FUN_AR1
"\\grave "
432 | "\\bar" -> FUN_AR1
"\\bar "
433 | "\\vec" -> FUN_AR1
"\\vec "
434 | "\\dot" -> FUN_AR1
"\\dot "
435 | "\\ddot" -> FUN_AR1
"\\ddot "
436 | "\\breve" -> FUN_AR1
"\\breve "
437 | "\\tilde" -> FUN_AR1
"\\tilde "
438 | "\\not" -> LITERAL
(TEX_ONLY
"\\not ")
439 | "\\choose" -> FUN_INFIX
"\\choose "
440 | "\\atop" -> FUN_INFIX
"\\atop "
441 | "\\binom" -> FUN_AR2
"\\binom "
442 | "\\frac" -> FUN_AR2h
("\\frac ", fun num den
-> Html.html_render
[num
], "<hr style=\"{background: black}\"/>", Html.html_render
[den
])
443 | "\\cfrac" -> (tex_use_ams (); FUN_AR2h
("\\cfrac ", fun num den
-> Html.html_render
[num
], "<hr style=\"{background: black}\">", Html.html_render
[den
]))
444 | "\\over" -> FUN_INFIXh
("\\over ", fun num den
-> Html.html_render num
, "<hr style=\"{background: black}\"/>", Html.html_render den
)
445 | "\\sqrt" -> FUN_AR1
"\\sqrt "
446 | "\\pmod" -> FUN_AR1hl
("\\pmod ", ("(mod ", ")"))
447 | "\\bmod" -> FUN_AR1hl
("\\bmod ", ("mod ", ""))
448 | "\\emph" -> FUN_AR1
"\\emph "
449 | "\\texttt" -> FUN_AR1
"\\texttt "
450 | "\\textbf" -> FUN_AR1
"\\textbf "
451 | "\\textit" -> FUN_AR1hf
("\\textit ", FONTFORCE_IT
)
452 | "\\textrm" -> FUN_AR1hf
("\\textrm ", FONTFORCE_RM
)
453 | "\\rm" -> DECLh
("\\rm ", FONTFORCE_RM
)
454 | "\\it" -> DECLh
("\\it ", FONTFORCE_IT
)
455 | "\\cal" -> DECL
"\\cal "
456 | "\\displaystyle" -> LITERAL
(TEX_ONLY
"\\displaystyle ")
457 | "\\scriptstyle" -> LITERAL
(TEX_ONLY
"\\scriptstyle ")
458 | "\\textstyle" -> LITERAL
(TEX_ONLY
"\\textstyle ")
459 | "\\scriptscriptstyle"-> LITERAL
(TEX_ONLY
"\\scriptscriptstyle ")
460 | "\\bf" -> DECL
"\\bf "
461 | "\\big" -> BIG
"\\big "
462 | "\\Big" -> BIG
"\\Big "
463 | "\\bigg" -> BIG
"\\bigg "
464 | "\\Bigg" -> BIG
"\\Bigg "
465 | "\\mathit" -> (tex_use_ams (); FUN_AR1hf
("\\mathit ", FONTFORCE_IT
))
466 | "\\mathrm" -> (tex_use_ams (); FUN_AR1hf
("\\mathrm ", FONTFORCE_RM
))
467 | "\\mathop" -> (tex_use_ams (); FUN_AR1
"\\mathop ")
468 | "\\boldsymbol" -> (tex_use_ams (); FUN_AR1
"\\boldsymbol ")
469 | "\\bold" -> (tex_use_ams (); FUN_AR1
"\\mathbf ")
470 | "\\Bbb" -> (tex_use_ams (); FUN_AR1
"\\mathbb ")
471 | "\\mathbf" -> (tex_use_ams (); FUN_AR1
"\\mathbf ")
472 | "\\mathsf" -> (tex_use_ams (); FUN_AR1
"\\mathsf ")
473 | "\\mathcal" -> (tex_use_ams (); FUN_AR1
"\\mathcal ")
474 | "\\mathbb" -> (tex_use_ams (); FUN_AR1
"\\mathbb ")
475 | "\\mathfrak" -> (tex_use_ams (); FUN_AR1
"\\mathfrak ")
476 | "\\operatorname" -> (tex_use_ams (); FUN_AR1
"\\operatorname ")
477 | "\\mbox" -> raise
(Failure
"malformatted \\mbox")
478 | "\\vbox" -> raise
(Failure
"malformatted \\vbox")
479 | "\\hbox" -> raise
(Failure
"malformatted \\hbox")
480 | "\\color" -> (tex_use_color (); LITERAL
(TEX_ONLY
"\\color"))
481 | s
-> raise
(Illegal_tex_function s
)