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_FQN (a,b) -> "_{" ^ (render_tex a) ^ "}^{" ^ (render_tex b) ^ "}"
18 | TEX_DQN (a) -> "_{" ^ (render_tex a) ^ "}"
19 | TEX_UQN (a) -> "^{" ^ (render_tex a) ^ "}"
20 | TEX_LITERAL s -> tex_part s
21 | TEX_FUN1 (f,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}"
22 | TEX_FUN1hl (f,_,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}"
23 | TEX_FUN1hf (f,_,a) -> "{" ^ f ^ " " ^ (render_tex a) ^ "}"
24 | TEX_DECLh (f,_,a) -> "{" ^ f ^ "{" ^ (mapjoin render_tex a) ^ "}}"
25 | TEX_FUN2 (f,a,b) -> "{" ^ f ^ " " ^ (render_tex a) ^ (render_tex b) ^ "}"
26 | TEX_FUN2nb (f,a,b) -> f ^ (render_tex a) ^ (render_tex b)
27 | TEX_FUN2h (f,_,a,b) -> "{" ^ f ^ " " ^ (render_tex a) ^ (render_tex b) ^ "}"
28 | TEX_FUN2sq (f,a,b) -> "{" ^ f ^ "[ " ^ (render_tex a) ^ "]" ^ (render_tex b) ^ "}"
29 | TEX_CURLY (tl) -> "{" ^ (mapjoin render_tex tl) ^ "}"
30 | TEX_INFIX (s,ll,rl) -> "{" ^ (mapjoin render_tex ll) ^ " " ^ s ^ "" ^ (mapjoin render_tex rl) ^ "}"
31 | TEX_INFIXh (s,_,ll,rl) -> "{" ^ (mapjoin render_tex ll) ^ " " ^ s ^ "" ^ (mapjoin render_tex rl) ^ "}"
32 | TEX_BOX (bt,s) -> "{"^bt^"{" ^ s ^ "}}"
33 | TEX_BIG (bt,d) -> "{"^bt^(tex_part d)^"}"
34 | TEX_MATRIX (t,rows) -> "{\\begin{"^t^"}"^(mapjoine "\\\\" (mapjoine "&" (mapjoin render_tex)) rows)^"\\end{"^t^"}}"
35 | TEX_LR (l,r,tl) -> "\\left "^(tex_part l)^(mapjoin render_tex tl)^"\\right "^(tex_part r)
39 type encoding_t = LATIN1 | LATIN2 | UTF8
41 let modules_ams = ref false
42 let modules_nonascii = ref false
43 let modules_encoding = ref UTF8
44 let modules_color = ref false
46 let tex_use_ams () = modules_ams := true
47 let tex_use_nonascii () = modules_nonascii := true
48 let tex_use_color () = modules_color := true
49 let tex_mod_reset () = (modules_ams := false; modules_nonascii := false; modules_encoding := UTF8; modules_color := false)
51 let get_encoding = function
52 UTF8 -> "\\usepackage{ucs}\n\\usepackage[utf8]{inputenc}\n"
53 | LATIN1 -> "\\usepackage[latin1]{inputenc}\n"
54 | LATIN2 -> "\\usepackage[latin2]{inputenc}\n"
56 let get_preface () = "\\nonstopmode\n\\documentclass[12pt]{article}\n" ^
57 (if !modules_nonascii then get_encoding !modules_encoding else "") ^
58 (if !modules_ams then "\\usepackage{amsmath}\n\\usepackage{amsfonts}\n\\usepackage{amssymb}\n" else "") ^
59 (if !modules_color then "\\usepackage[dvips,usenames]{color}\n" else "") ^
60 "\\usepackage{cancel}\n\\pagestyle{empty}\n\\begin{document}\n$$\n"
61 let get_footer () = "\n$$\n\\end{document}\n"
63 let set_encoding = function
64 "ISO-8859-1" -> modules_encoding := LATIN1
65 | "iso-8859-1" -> modules_encoding := LATIN1
66 | "ISO-8859-2" -> modules_encoding := LATIN2
67 | _ -> modules_encoding := UTF8
69 (* Turn that into hash table lookup *)
70 exception Illegal_tex_function of string
73 "\\alpha" -> LITERAL (HTMLABLEC (FONT_UF, "\\alpha ", "α"))
74 | "\\Alpha" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
75 "\\mathrm{A}", "Α")))
76 | "\\beta" -> LITERAL (HTMLABLEC (FONT_UF, "\\beta ", "β"))
77 | "\\Beta" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
78 "\\mathrm{B}", "Β")))
79 | "\\gamma" -> LITERAL (HTMLABLEC (FONT_UF, "\\gamma ", "γ"))
80 | "\\Gamma" -> LITERAL (HTMLABLEC (FONT_UF, "\\Gamma ", "Γ"))
81 | "\\delta" -> LITERAL (HTMLABLEC (FONT_UF, "\\delta ", "δ"))
82 | "\\Delta" -> LITERAL (HTMLABLEC (FONT_UF, "\\Delta ", "Δ"))
83 | "\\epsilon" -> LITERAL (TEX_ONLY "\\epsilon ")
84 | "\\Epsilon" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
85 "\\mathrm{E}", "Ε")))
86 | "\\varepsilon" -> LITERAL (TEX_ONLY "\\varepsilon ")
87 | "\\zeta" -> LITERAL (HTMLABLEC (FONT_UF, "\\zeta ", "ζ"))
88 | "\\Zeta" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
89 "\\mathrm{Z}", "Ζ")))
90 | "\\eta" -> LITERAL (HTMLABLEC (FONT_UF, "\\eta ", "η"))
91 | "\\Eta" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
92 "\\mathrm{H}", "Η")))
93 | "\\theta" -> LITERAL (HTMLABLEC (FONT_UF, "\\theta ", "θ"))
94 | "\\Theta" -> LITERAL (HTMLABLEC (FONT_UF, "\\Theta ", "Θ"))
95 | "\\vartheta" -> LITERAL (HTMLABLE (FONT_UF, "\\vartheta ", "ϑ"))
96 | "\\thetasym" -> LITERAL (HTMLABLE (FONT_UF, "\\vartheta ", "ϑ"))
97 | "\\iota" -> LITERAL (HTMLABLEC (FONT_UF, "\\iota ", "ι"))
98 | "\\Iota" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
99 "\\mathrm{I}", "Ι")))
100 | "\\kappa" -> LITERAL (HTMLABLEC (FONT_UF, "\\kappa ", "κ"))
101 | "\\Kappa" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
102 "\\mathrm{K}", "Κ")))
103 | "\\lambda" -> LITERAL (HTMLABLEC (FONT_UF, "\\lambda ", "λ"))
104 | "\\Lambda" -> LITERAL (HTMLABLEC (FONT_UF, "\\Lambda ", "Λ"))
105 | "\\mu" -> LITERAL (HTMLABLEC (FONT_UF, "\\mu ", "μ"))
106 | "\\Mu" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
107 "\\mathrm{M}", "Μ")))
108 | "\\nu" -> LITERAL (HTMLABLEC (FONT_UF, "\\nu ", "ν"))
109 | "\\Nu" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
110 "\\mathrm{N}", "Ν")))
111 | "\\omicron" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
112 "\\mathrm{o}", "ο")))
113 | "\\Omicron" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
114 "\\mathrm{O}", "Ο")))
115 | "\\pi" -> LITERAL (HTMLABLEC (FONT_UF, "\\pi ", "π"))
116 | "\\Pi" -> LITERAL (HTMLABLEC (FONT_UF, "\\Pi ", "Π"))
117 | "\\varpi" -> LITERAL (TEX_ONLY "\\varpi ")
118 | "\\rho" -> LITERAL (HTMLABLEC (FONT_UF, "\\rho ", "ρ"))
119 | "\\Rho" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
120 "\\mathrm{P}", "Ρ")))
121 | "\\varrho" -> LITERAL (TEX_ONLY "\\varrho ")
122 | "\\sim" -> LITERAL (HTMLABLEC (FONT_UF, "\\sim ", "∼"))
123 | "\\sigma" -> LITERAL (HTMLABLEC (FONT_UF, "\\sigma ", "σ"))
124 | "\\Sigma" -> LITERAL (HTMLABLEC (FONT_UF, "\\Sigma ", "Σ"))
125 | "\\varsigma" -> LITERAL (TEX_ONLY "\\varsigma ")
126 | "\\tau" -> LITERAL (HTMLABLEC (FONT_UF, "\\tau ", "τ"))
127 | "\\Tau" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
128 "\\mathrm{T}", "Τ")))
129 | "\\upsilon" -> LITERAL (HTMLABLEC (FONT_UF, "\\upsilon ", "υ"))
130 | "\\Upsilon" -> LITERAL (HTMLABLEC (FONT_UF, "\\Upsilon ", "Υ"))
131 | "\\phi" -> LITERAL (TEX_ONLY "\\phi ")
132 | "\\Phi" -> LITERAL (HTMLABLEC (FONT_UF, "\\Phi ", "Φ"))
133 | "\\varphi" -> LITERAL (TEX_ONLY "\\varphi ")
134 | "\\chi" -> LITERAL (HTMLABLEC (FONT_UF, "\\chi ", "χ"))
135 | "\\Chi" -> (tex_use_ams (); LITERAL (HTMLABLEC (FONT_UF,
136 "\\mathrm{X}", "Χ")))
137 | "\\psi" -> LITERAL (HTMLABLEC (FONT_UF, "\\psi ", "ψ"))
138 | "\\Psi" -> LITERAL (HTMLABLEC (FONT_UF, "\\Psi ", "Ψ"))
139 | "\\omega" -> LITERAL (HTMLABLEC (FONT_UF, "\\omega ", "ω"))
140 | "\\Omega" -> LITERAL (HTMLABLEC (FONT_UF, "\\Omega ", "Ω"))
141 | "\\xi" -> LITERAL (HTMLABLEC (FONT_UF, "\\xi ", "ξ"))
142 | "\\Xi" -> LITERAL (HTMLABLEC (FONT_UF, "\\Xi ", "Ξ"))
143 | "\\aleph" -> LITERAL (HTMLABLE (FONT_UF, "\\aleph ", "ℵ"))
144 | "\\alef" -> LITERAL (HTMLABLE (FONT_UF, "\\aleph ", "ℵ"))
145 | "\\alefsym" -> LITERAL (HTMLABLE (FONT_UF, "\\aleph ", "ℵ"))
146 | "\\larr" -> LITERAL (HTMLABLEM (FONT_UF, "\\leftarrow ", "←"))
147 | "\\leftarrow" -> LITERAL (HTMLABLEM (FONT_UF, "\\leftarrow ", "←"))
148 | "\\rarr" -> LITERAL (HTMLABLEM (FONT_UF, "\\rightarrow ", "→"))
149 | "\\to" -> LITERAL (HTMLABLEM (FONT_UF, "\\to ", "→"))
150 | "\\gets" -> LITERAL (HTMLABLEM (FONT_UF, "\\gets ", "←"))
151 | "\\rightarrow" -> LITERAL (HTMLABLEM (FONT_UF, "\\rightarrow ", "→"))
152 | "\\longleftarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\longleftarrow ", "←"))
153 | "\\longrightarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\longrightarrow ", "→"))
154 | "\\Larr" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftarrow ", "⇐"))
155 | "\\lArr" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftarrow ", "⇐"))
156 | "\\Leftarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftarrow ", "⇐"))
157 | "\\Rarr" -> LITERAL (HTMLABLE (FONT_UF, "\\Rightarrow ", "⇒"))
158 | "\\rArr" -> LITERAL (HTMLABLE (FONT_UF, "\\Rightarrow ", "⇒"))
159 | "\\Rightarrow" -> LITERAL (HTMLABLEM (FONT_UF, "\\Rightarrow ", "⇒"))
160 | "\\mapsto" -> LITERAL (HTMLABLE (FONT_UF, "\\mapsto ", "→"))
161 | "\\longmapsto" -> LITERAL (HTMLABLE (FONT_UF, "\\longmapsto ", "→"))
162 | "\\Longleftarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\Longleftarrow ", "⇐"))
163 | "\\Longrightarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\Longrightarrow ", "⇒"))
164 | "\\uarr" -> DELIMITER (HTMLABLEM (FONT_UF, "\\uparrow ", "↑"))
165 | "\\uparrow" -> DELIMITER (HTMLABLEM (FONT_UF, "\\uparrow ", "↑"))
166 | "\\uArr" -> DELIMITER (HTMLABLE (FONT_UF, "\\Uparrow ", "⇑"))
167 | "\\Uarr" -> DELIMITER (HTMLABLE (FONT_UF, "\\Uparrow ", "⇑"))
168 | "\\Uparrow" -> DELIMITER (HTMLABLE (FONT_UF, "\\Uparrow ", "⇑"))
169 | "\\darr" -> DELIMITER (HTMLABLEM (FONT_UF, "\\downarrow ", "↓"))
170 | "\\downarrow" -> DELIMITER (HTMLABLEM (FONT_UF, "\\downarrow ", "↓"))
171 | "\\dArr" -> DELIMITER (HTMLABLE (FONT_UF, "\\Downarrow ", "⇓"))
172 | "\\Darr" -> DELIMITER (HTMLABLE (FONT_UF, "\\Downarrow ", "⇓"))
173 | "\\Downarrow" -> DELIMITER (HTMLABLE (FONT_UF, "\\Downarrow ", "⇓"))
174 | "\\updownarrow" -> DELIMITER (TEX_ONLY "\\updownarrow ")
175 | "\\Updownarrow" -> DELIMITER (TEX_ONLY "\\Updownarrow ")
176 | "\\ulcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\ulcorner "))
177 | "\\urcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\urcorner "))
178 | "\\llcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\llcorner "))
179 | "\\lrcorner" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\lrcorner "))
180 | "\\twoheadleftarrow" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\twoheadleftarrow "))
181 | "\\twoheadrightarrow" -> (tex_use_ams (); DELIMITER (TEX_ONLY "\\twoheadrightarrow "))
182 | "\\xleftarrow" -> (tex_use_ams (); FUN_AR1 "\\xleftarrow ")
183 | "\\xrightarrow" -> (tex_use_ams (); FUN_AR1 "\\xrightarrow ")
184 | "\\rightleftharpoons" -> DELIMITER (TEX_ONLY "\\rightleftharpoons ")
185 | "\\leftrightarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\leftrightarrow ", "↔"))
186 | "\\lrarr" -> LITERAL (HTMLABLE (FONT_UF, "\\leftrightarrow ", "↔"))
187 | "\\harr" -> LITERAL (HTMLABLE (FONT_UF, "\\leftrightarrow ", "↔"))
188 | "\\Leftrightarrow" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftrightarrow ", "⇔"))
189 | "\\Lrarr" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftrightarrow ", "⇔"))
190 | "\\Harr" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftrightarrow ", "⇔"))
191 | "\\lrArr" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftrightarrow ", "⇔"))
192 | "\\hAar" -> LITERAL (HTMLABLE (FONT_UF, "\\Leftrightarrow ", "⇔"))
193 | "\\longleftrightarrow"->LITERAL (HTMLABLE (FONT_UF, "\\longleftrightarrow ", "↔"))
194 | "\\Longleftrightarrow"->LITERAL (HTMLABLE (FONT_UF, "\\Longleftrightarrow ", "↔"))
195 | "\\iff" -> LITERAL (HTMLABLE (FONT_UF, "\\iff ", "↔"))
196 | "\\ll" -> LITERAL (TEX_ONLY "\\ll ")
197 | "\\gg" -> LITERAL (TEX_ONLY "\\gg ")
198 | "\\div" -> LITERAL (TEX_ONLY "\\div ")
199 | "\\searrow" -> LITERAL (TEX_ONLY "\\searrow ")
200 | "\\nearrow" -> LITERAL (TEX_ONLY "\\nearrow ")
201 | "\\swarrow" -> LITERAL (TEX_ONLY "\\swarrow ")
202 | "\\nwarrow" -> LITERAL (TEX_ONLY "\\nwarrow ")
203 | "\\simeq" -> LITERAL (TEX_ONLY "\\simeq ")
204 | "\\ast" -> LITERAL (TEX_ONLY "\\ast ")
205 | "\\star" -> LITERAL (TEX_ONLY "\\star ")
206 | "\\ell" -> LITERAL (TEX_ONLY "\\ell ")
207 | "\\P" -> LITERAL (TEX_ONLY "\\P ")
208 | "\\smile" -> LITERAL (TEX_ONLY "\\smile ")
209 | "\\frown" -> LITERAL (TEX_ONLY "\\frown ")
210 | "\\bigcap" -> LITERAL (TEX_ONLY "\\bigcap ")
211 | "\\bigodot" -> LITERAL (TEX_ONLY "\\bigodot ")
212 | "\\bigcup" -> LITERAL (TEX_ONLY "\\bigcup ")
213 | "\\bigotimes" -> LITERAL (TEX_ONLY "\\bigotimes ")
214 | "\\coprod" -> LITERAL (TEX_ONLY "\\coprod ")
215 | "\\bigsqcup" -> LITERAL (TEX_ONLY "\\bigsqcup ")
216 | "\\bigoplus" -> LITERAL (TEX_ONLY "\\bigoplus ")
217 | "\\bigvee" -> LITERAL (TEX_ONLY "\\bigvee ")
218 | "\\biguplus" -> LITERAL (TEX_ONLY "\\biguplus ")
219 | "\\oint" -> LITERAL (TEX_ONLY "\\oint ")
220 | "\\bigwedge" -> LITERAL (TEX_ONLY "\\bigwedge ")
221 | "\\models" -> LITERAL (TEX_ONLY "\\models ")
222 | "\\vdash" -> LITERAL (TEX_ONLY "\\vdash ")
223 | "\\triangle" -> LITERAL (TEX_ONLY "\\triangle ")
224 | "\\bowtie" -> LITERAL (TEX_ONLY "\\bowtie ")
225 | "\\wr" -> LITERAL (TEX_ONLY "\\wr ")
226 | "\\triangleleft" -> LITERAL (TEX_ONLY "\\triangleleft ")
227 | "\\triangleright" -> LITERAL (TEX_ONLY "\\triangleright ")
228 | "\\textvisiblespace" -> LITERAL (TEX_ONLY "\\textvisiblespace ")
229 | "\\ker" -> LITERAL (HTMLABLEC(FONT_UFH,"\\ker ","ker"))
230 | "\\lim" -> LITERAL (TEX_ONLY "\\lim ")
231 | "\\limsup" -> LITERAL (TEX_ONLY "\\limsup ")
232 | "\\liminf" -> LITERAL (TEX_ONLY "\\liminf ")
233 | "\\sup" -> LITERAL (TEX_ONLY "\\sup ")
234 | "\\Pr" -> LITERAL (TEX_ONLY "\\Pr ")
235 | "\\hom" -> LITERAL (HTMLABLEC(FONT_UFH,"\\hom ","hom"))
236 | "\\arg" -> LITERAL (HTMLABLEC(FONT_UFH,"\\arg ","arg"))
237 | "\\dim" -> LITERAL (HTMLABLEC(FONT_UFH,"\\dim ","dim"))
238 | "\\inf" -> LITERAL (TEX_ONLY "\\inf ")
239 | "\\circ" -> LITERAL (TEX_ONLY "\\circ ")
240 | "\\hbar" -> LITERAL (TEX_ONLY "\\hbar ")
241 | "\\imath" -> LITERAL (TEX_ONLY "\\imath ")
242 | "\\jmath" -> LITERAL (TEX_ONLY "\\jmath ")
243 | "\\lnot" -> LITERAL (TEX_ONLY "\\lnot ")
244 | "\\hookrightarrow" -> LITERAL (TEX_ONLY "\\hookrightarrow ")
245 | "\\hookleftarrow" -> LITERAL (TEX_ONLY "\\hookleftarrow ")
246 | "\\mp" -> LITERAL (TEX_ONLY "\\mp ")
247 | "\\approx" -> LITERAL (HTMLABLE (FONT_UF, "\\approx ", "≈"))
248 | "\\propto" -> LITERAL (TEX_ONLY "\\propto ")
249 | "\\flat" -> LITERAL (TEX_ONLY "\\flat ")
250 | "\\sharp" -> LITERAL (TEX_ONLY "\\sharp ")
251 | "\\natural" -> LITERAL (TEX_ONLY "\\natural ")
252 | "\\int" -> LITERAL (HTMLABLE_BIG ("\\int ", "∫"))
253 | "\\sum" -> LITERAL (HTMLABLE_BIG ("\\sum ", "∑"))
254 | "\\prod" -> LITERAL (HTMLABLE_BIG ("\\prod ", "∏"))
255 | "\\vdots" -> LITERAL (TEX_ONLY "\\vdots ")
256 | "\\limits" -> LITERAL (TEX_ONLY "\\limits ")
257 | "\\nolimits" -> LITERAL (TEX_ONLY "\\nolimits ")
258 | "\\top" -> LITERAL (TEX_ONLY "\\top ")
259 | "\\sin" -> LITERAL (HTMLABLEC(FONT_UFH,"\\sin ","sin"))
260 | "\\cos" -> LITERAL (HTMLABLEC(FONT_UFH,"\\cos ","cos"))
261 | "\\sinh" -> LITERAL (HTMLABLEC(FONT_UFH,"\\sinh ","sinh"))
262 | "\\cosh" -> LITERAL (HTMLABLEC(FONT_UFH,"\\cosh ","cosh"))
263 | "\\tan" -> LITERAL (HTMLABLEC(FONT_UFH,"\\tan ","tan"))
264 | "\\tanh" -> LITERAL (HTMLABLEC(FONT_UFH,"\\tanh ","tanh"))
265 | "\\sec" -> LITERAL (HTMLABLEC(FONT_UFH,"\\sec ","sec"))
266 | "\\csc" -> LITERAL (HTMLABLEC(FONT_UFH,"\\csc ","csc"))
267 | "\\arcsin" -> LITERAL (HTMLABLEC(FONT_UFH,"\\arcsin ","arcsin"))
268 | "\\arctan" -> LITERAL (HTMLABLEC(FONT_UFH,"\\arctan ","arctan"))
269 | "\\arccos" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccos}}","arccos")))
270 | "\\arccot" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccot}}","arccot")))
271 | "\\arcsec" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arcsec}}","arcsec")))
272 | "\\arccsc" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{arccsc}}","arccsc")))
273 | "\\sgn" -> (tex_use_ams (); LITERAL (HTMLABLEC(FONT_UFH,"\\mathop{\\mathrm{sgn}}","sgn")))
274 | "\\cot" -> LITERAL (HTMLABLEC(FONT_UFH,"\\cot ","cot"))
275 | "\\coth" -> LITERAL (HTMLABLEC(FONT_UFH,"\\coth ","coth"))
276 | "\\log" -> LITERAL (HTMLABLEC(FONT_UFH,"\\log ", "log"))
277 | "\\lg" -> LITERAL (HTMLABLEC(FONT_UFH,"\\lg ", "lg"))
278 | "\\ln" -> LITERAL (HTMLABLEC(FONT_UFH,"\\ln ", "ln"))
279 | "\\exp" -> LITERAL (HTMLABLEC(FONT_UFH,"\\exp ", "exp"))
280 | "\\min" -> LITERAL (HTMLABLEC(FONT_UFH,"\\min ", "min"))
281 | "\\max" -> LITERAL (HTMLABLEC(FONT_UFH,"\\max ", "max"))
282 | "\\gcd" -> LITERAL (HTMLABLEC(FONT_UFH,"\\gcd ", "gcd"))
283 | "\\deg" -> LITERAL (HTMLABLEC(FONT_UFH,"\\deg ", "deg"))
284 | "\\det" -> LITERAL (HTMLABLEC(FONT_UFH,"\\det ", "det"))
285 | "\\bullet" -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "•"))
286 | "\\bull" -> LITERAL (HTMLABLE (FONT_UFH, "\\bullet ", "•"))
287 | "\\angle" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\angle ", "∠")))
288 | "\\dagger" -> LITERAL (HTMLABLEM(FONT_UFH, "\\dagger ", "†"))
289 | "\\ddagger" -> LITERAL (HTMLABLEM(FONT_UFH, "\\ddagger ", "‡"))
290 | "\\Dagger" -> LITERAL (HTMLABLEM(FONT_UFH, "\\ddagger ", "‡"))
291 | "\\colon" -> LITERAL (HTMLABLEC(FONT_UFH, "\\colon ", ":"))
292 | "\\Vert" -> DELIMITER (HTMLABLEM(FONT_UFH, "\\Vert ", "||"))
293 | "\\vert" -> DELIMITER (HTMLABLEM(FONT_UFH, "\\vert ", "|"))
294 | "\\wp" -> LITERAL (HTMLABLE (FONT_UF, "\\wp ", "℘"))
295 | "\\weierp" -> LITERAL (HTMLABLE (FONT_UF, "\\wp ", "℘"))
296 | "\\wedge" -> LITERAL (HTMLABLE (FONT_UF, "\\wedge ", "∧"))
297 | "\\and" -> LITERAL (HTMLABLE (FONT_UF, "\\land ", "∧"))
298 | "\\land" -> LITERAL (HTMLABLE (FONT_UF, "\\land ", "∧"))
299 | "\\vee" -> LITERAL (HTMLABLE (FONT_UF, "\\vee ", "∨"))
300 | "\\or" -> LITERAL (HTMLABLE (FONT_UF, "\\lor ", "∨"))
301 | "\\lor" -> LITERAL (HTMLABLE (FONT_UF, "\\lor ", "∨"))
302 | "\\sub" -> LITERAL (HTMLABLE (FONT_UF, "\\subset ", "⊂"))
303 | "\\supe" -> LITERAL (HTMLABLE (FONT_UF, "\\supseteq ", "⊇"))
304 | "\\sube" -> LITERAL (HTMLABLE (FONT_UF, "\\subseteq ", "⊆"))
305 | "\\supset" -> LITERAL (HTMLABLE (FONT_UF, "\\supset ", "⊃"))
306 | "\\subset" -> LITERAL (HTMLABLE (FONT_UF, "\\subset ", "⊂"))
307 | "\\supseteq" -> LITERAL (HTMLABLE (FONT_UF, "\\supseteq ", "⊇"))
308 | "\\subseteq" -> LITERAL (HTMLABLE (FONT_UF, "\\subseteq ", "⊆"))
309 | "\\sqsupset" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsupset "))
310 | "\\sqsubset" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsubset "))
311 | "\\sqsupseteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsupseteq "))
312 | "\\sqsubseteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqsubseteq "))
313 | "\\perp" -> LITERAL (HTMLABLE (FONT_UF, "\\perp ", "⊥"))
314 | "\\bot" -> LITERAL (HTMLABLE (FONT_UF, "\\bot ", "⊥"))
315 | "\\lfloor" -> DELIMITER (HTMLABLE (FONT_UF, "\\lfloor ", "⌊"))
316 | "\\rfloor" -> DELIMITER (HTMLABLE (FONT_UF, "\\rfloor ", "⌋"))
317 | "\\lceil" -> DELIMITER (HTMLABLE (FONT_UF, "\\lceil ", "⌈"))
318 | "\\rceil" -> DELIMITER (HTMLABLE (FONT_UF, "\\rceil ", "⌉"))
319 | "\\lbrace" -> DELIMITER (HTMLABLEC(FONT_UFH, "\\lbrace ", "{"))
320 | "\\rbrace" -> DELIMITER (HTMLABLEC(FONT_UFH, "\\rbrace ", "}"))
321 | "\\infty" -> LITERAL (HTMLABLEM(FONT_UF, "\\infty ", "∞"))
322 | "\\infin" -> LITERAL (HTMLABLEM(FONT_UF, "\\infty ", "∞"))
323 | "\\isin" -> LITERAL (HTMLABLE (FONT_UF, "\\in ", "∈"))
324 | "\\in" -> LITERAL (HTMLABLE (FONT_UF, "\\in ", "∈"))
325 | "\\ni" -> LITERAL (HTMLABLE (FONT_UF, "\\ni ", "∋"))
326 | "\\notin" -> LITERAL (HTMLABLE (FONT_UF, "\\notin ", "∉"))
327 | "\\smallsetminus" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\smallsetminus "))
328 | "\\And" -> (tex_use_ams (); LITERAL (HTMLABLEM(FONT_UFH, "\\And ", " & ")))
329 | "\\forall" -> LITERAL (HTMLABLE (FONT_UFH, "\\forall ", "∀"))
330 | "\\exists" -> LITERAL (HTMLABLE (FONT_UFH, "\\exists ", "∃"))
331 | "\\exist" -> LITERAL (HTMLABLE (FONT_UFH, "\\exists ", "∃"))
332 | "\\equiv" -> LITERAL (HTMLABLEM(FONT_UFH, "\\equiv ", "≡"))
333 | "\\ne" -> LITERAL (HTMLABLEM(FONT_UFH, "\\neq ", "≠"))
334 | "\\neq" -> LITERAL (HTMLABLEM(FONT_UFH, "\\neq ", "≠"))
335 | "\\Re" -> LITERAL (HTMLABLE (FONT_UF, "\\Re ", "ℜ"))
336 | "\\real" -> LITERAL (HTMLABLE (FONT_UF, "\\Re ", "ℜ"))
337 | "\\Im" -> LITERAL (HTMLABLE (FONT_UF, "\\Im ", "ℑ"))
338 | "\\image" -> LITERAL (HTMLABLE (FONT_UF, "\\Im ", "ℑ"))
339 | "\\prime" -> LITERAL (HTMLABLE (FONT_UFH,"\\prime ", "′"))
340 | "\\backslash" -> DELIMITER (HTMLABLEM(FONT_UFH,"\\backslash ", "\\"))
341 | "\\setminus" -> LITERAL (HTMLABLEM(FONT_UFH,"\\setminus ", "\\"))
342 | "\\times" -> LITERAL (HTMLABLEM(FONT_UFH,"\\times ", "×"))
343 | "\\pm" -> LITERAL (HTMLABLEM(FONT_UFH,"\\pm ", "±"))
344 | "\\plusmn" -> LITERAL (HTMLABLEM(FONT_UFH,"\\pm ", "±"))
345 | "\\cdot" -> LITERAL (HTMLABLE (FONT_UFH,"\\cdot ", "⋅"))
346 | "\\AA" -> LITERAL (HTMLABLE (FONT_UFH,"\\AA ", "Å"))
347 | "\\cdots" -> LITERAL (HTMLABLE (FONT_UFH,"\\cdots ", "⋅⋅⋅"))
348 | "\\sdot" -> LITERAL (HTMLABLE (FONT_UFH,"\\cdot ", "⋅"))
349 | "\\oplus" -> LITERAL (HTMLABLE (FONT_UF, "\\oplus ", "⊕"))
350 | "\\otimes" -> LITERAL (HTMLABLE (FONT_UF, "\\otimes ", "⊗"))
351 | "\\cap" -> LITERAL (HTMLABLEM(FONT_UF, "\\cap ", "∩"))
352 | "\\cup" -> LITERAL (HTMLABLE (FONT_UF, "\\cup ", "∪"))
353 | "\\uplus" -> LITERAL (TEX_ONLY "\\uplus ")
354 | "\\sqcap" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqcap "))
355 | "\\sqcup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sqcup "))
356 | "\\empty" -> LITERAL (HTMLABLE (FONT_UF, "\\emptyset ", "∅"))
357 | "\\emptyset" -> LITERAL (HTMLABLE (FONT_UF, "\\emptyset ", "∅"))
358 | "\\O" -> LITERAL (HTMLABLE (FONT_UF, "\\emptyset ", "∅"))
359 | "\\S" -> LITERAL (HTMLABLEM(FONT_UFH,"\\S ", "§"))
360 | "\\sect" -> LITERAL (HTMLABLEM(FONT_UFH,"\\S ", "§"))
361 | "\\nabla" -> LITERAL (HTMLABLE (FONT_UF, "\\nabla ", "∇"))
362 | "\\geq" -> LITERAL (HTMLABLE (FONT_UFH,"\\geq ", "≥"))
363 | "\\ge" -> LITERAL (HTMLABLE (FONT_UFH,"\\geq ", "≥"))
364 | "\\leq" -> LITERAL (HTMLABLE (FONT_UFH,"\\leq ", "≤"))
365 | "\\le" -> LITERAL (HTMLABLE (FONT_UFH,"\\leq ", "≤"))
366 | "\\cong" -> LITERAL (HTMLABLE (FONT_UF, "\\cong ", "≅"))
367 | "\\ang" -> LITERAL (HTMLABLE (FONT_UF, "\\angle ", "∠"))
368 | "\\part" -> LITERAL (HTMLABLEM(FONT_UF, "\\partial ", "∂"))
369 | "\\partial" -> LITERAL (HTMLABLEM(FONT_UF, "\\partial ", "∂"))
370 | "\\ldots" -> LITERAL (HTMLABLEM(FONT_UFH,"\\ldots ", "..."))
371 | "\\dots" -> LITERAL (HTMLABLEM(FONT_UFH,"\\dots ", "..."))
372 | "\\quad" -> LITERAL (HTMLABLE (FONT_UF, "\\quad "," "))
373 | "\\qquad" -> LITERAL (HTMLABLE (FONT_UF, "\\qquad "," "))
374 | "\\mid" -> LITERAL (HTMLABLEM(FONT_UFH,"\\mid ", " | "))
375 | "\\neg" -> LITERAL (HTMLABLEM(FONT_UFH,"\\neg ", "¬"))
376 | "\\langle" -> DELIMITER (HTMLABLE (FONT_UFH,"\\langle ","⟨"))
377 | "\\rangle" -> DELIMITER (HTMLABLE (FONT_UFH,"\\rangle ","⟩"))
378 | "\\lang" -> DELIMITER (HTMLABLE (FONT_UFH,"\\langle ","⟨"))
379 | "\\rang" -> DELIMITER (HTMLABLE (FONT_UFH,"\\rangle ","⟩"))
380 | "\\lbrack" -> DELIMITER (HTMLABLEC(FONT_UFH,"[","["))
381 | "\\rbrack" -> DELIMITER (HTMLABLEC(FONT_UFH,"]","]"))
382 | "\\surd" -> LITERAL (TEX_ONLY "\\surd ")
383 | "\\ddots" -> LITERAL (TEX_ONLY "\\ddots ")
384 | "\\clubs" -> LITERAL (TEX_ONLY "\\clubsuit ")
385 | "\\clubsuit" -> LITERAL (TEX_ONLY "\\clubsuit ")
386 | "\\spades" -> LITERAL (TEX_ONLY "\\spadesuit ")
387 | "\\spadesuit" -> LITERAL (TEX_ONLY "\\spadesuit ")
388 | "\\hearts" -> LITERAL (TEX_ONLY "\\heartsuit ")
389 | "\\heartsuit" -> LITERAL (TEX_ONLY "\\heartsuit ")
390 | "\\diamonds" -> LITERAL (TEX_ONLY "\\diamondsuit ")
391 | "\\diamond" -> LITERAL (TEX_ONLY "\\diamond ")
392 | "\\bigtriangleup" -> LITERAL (TEX_ONLY "\\bigtriangleup ")
393 | "\\bigtriangledown" -> LITERAL (TEX_ONLY "\\bigtriangledown ")
394 | "\\diamondsuit" -> LITERAL (TEX_ONLY "\\diamondsuit ")
395 | "\\ominus" -> LITERAL (TEX_ONLY "\\ominus ")
396 | "\\oslash" -> LITERAL (TEX_ONLY "\\oslash ")
397 | "\\odot" -> LITERAL (TEX_ONLY "\\odot ")
398 | "\\bigcirc" -> LITERAL (TEX_ONLY "\\bigcirc ")
399 | "\\amalg" -> LITERAL (TEX_ONLY "\\amalg ")
400 | "\\prec" -> LITERAL (TEX_ONLY "\\prec ")
401 | "\\succ" -> LITERAL (TEX_ONLY "\\succ ")
402 | "\\preceq" -> LITERAL (TEX_ONLY "\\preceq ")
403 | "\\succeq" -> LITERAL (TEX_ONLY "\\succeq ")
404 | "\\dashv" -> LITERAL (TEX_ONLY "\\dashv ")
405 | "\\asymp" -> LITERAL (TEX_ONLY "\\asymp ")
406 | "\\doteq" -> LITERAL (TEX_ONLY "\\doteq ")
407 | "\\parallel" -> LITERAL (TEX_ONLY "\\parallel ")
408 | "\\implies" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\implies ", "⇒")))
409 | "\\mod" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mod ", "mod")))
410 | "\\Diamond" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\Diamond ", "◊")))
411 | "\\dotsb" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\dotsb ", "⋅⋅⋅")))
412 | "\\dotsc" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\dotsc ", "...")))
413 | "\\dotsi" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\dotsi ", "⋅⋅⋅")))
414 | "\\dotsm" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\dotsm ", "⋅⋅⋅")))
415 | "\\dotso" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UF, "\\dotso ", "...")))
416 | "\\reals" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{R}", "<b>R</b>")))
417 | "\\Reals" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{R}", "<b>R</b>")))
418 | "\\R" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{R}", "<b>R</b>")))
419 | "\\C" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{C}", "<b>C</b>")))
420 | "\\cnums" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{C}", "<b>C</b>")))
421 | "\\Complex" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{C}", "<b>C</b>")))
422 | "\\Z" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{Z}", "<b>Z</b>")))
423 | "\\natnums" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{N}", "<b>N</b>")))
424 | "\\N" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{N}", "<b>N</b>")))
425 | "\\Q" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\mathbb{Q}", "<b>Q</b>")))
426 | "\\lVert" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\lVert ", "||")))
427 | "\\rVert" -> (tex_use_ams (); LITERAL (HTMLABLE (FONT_UFH,"\\rVert ", "||")))
428 | "\\nmid" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nmid "))
429 | "\\lesssim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lesssim "))
430 | "\\ngeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ngeq "))
431 | "\\smallsmile" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\smallsmile "))
432 | "\\smallfrown" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\smallfrown "))
433 | "\\nleftarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nleftarrow "))
434 | "\\nrightarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nrightarrow "))
435 | "\\trianglelefteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\trianglelefteq "))
436 | "\\trianglerighteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\trianglerighteq "))
437 | "\\square" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\square "))
438 | "\\checkmark" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\checkmark "))
439 | "\\supsetneq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\supsetneq "))
440 | "\\subsetneq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\subsetneq "))
441 | "\\Box" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Box "))
442 | "\\nleq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nleq "))
443 | "\\upharpoonright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\upharpoonright "))
444 | "\\restriction" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\upharpoonright "))
445 | "\\upharpoonleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\upharpoonleft "))
446 | "\\downharpoonright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\downharpoonright "))
447 | "\\downharpoonleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\downharpoonleft "))
448 | "\\rightharpoonup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightharpoonup "))
449 | "\\rightharpoondown" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightharpoondown "))
450 | "\\leftharpoonup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftharpoonup "))
451 | "\\leftharpoondown" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftharpoondown "))
452 | "\\nless" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nless "))
453 | "\\Vdash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Vdash "))
454 | "\\vDash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\vDash "))
455 | "\\varkappa" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varkappa "))
456 | "\\digamma" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\digamma "))
457 | "\\beth" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\beth "))
458 | "\\daleth" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\daleth "))
459 | "\\gimel" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gimel "))
460 | "\\complement" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\complement "))
461 | "\\eth" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\eth "))
462 | "\\hslash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\hslash "))
463 | "\\mho" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\mho "))
464 | "\\Finv" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Finv "))
465 | "\\Game" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Game "))
466 | "\\varlimsup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varlimsup "))
467 | "\\varliminf" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varliminf "))
468 | "\\varinjlim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varinjlim "))
469 | "\\varprojlim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varprojlim "))
470 | "\\injlim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\injlim "))
471 | "\\projlim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\projlim "))
472 | "\\iint" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\iint "))
473 | "\\iiint" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\iiint "))
474 | "\\iiiint" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\iiiint "))
475 | "\\varnothing" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varnothing "))
478 | "\\hat" -> FUN_AR1 "\\hat "
479 | "\\hline" -> LITERAL (TEX_ONLY "\\hline ")
480 | "\\vline" -> LITERAL (TEX_ONLY "\\vline ")
481 | "\\widehat" -> LITERAL (TEX_ONLY "\\widehat ")
482 | "\\overline" -> LITERAL (TEX_ONLY "\\overline ")
483 | "\\overbrace" -> LITERAL (TEX_ONLY "\\overbrace ")
484 | "\\underline" -> LITERAL (TEX_ONLY "\\underline ")
485 | "\\underbrace" -> LITERAL (TEX_ONLY "\\underbrace ")
486 | "\\overleftarrow" -> LITERAL (TEX_ONLY "\\overleftarrow ")
487 | "\\overrightarrow" -> LITERAL (TEX_ONLY "\\overrightarrow ")
488 | "\\overleftrightarrow"-> (tex_use_ams(); LITERAL (TEX_ONLY "\\overleftrightarrow "))
489 | "\\check" -> FUN_AR1 "\\check "
490 | "\\acute" -> FUN_AR1 "\\acute "
491 | "\\grave" -> FUN_AR1 "\\grave "
492 | "\\bar" -> FUN_AR1 "\\bar "
493 | "\\vec" -> FUN_AR1 "\\vec "
494 | "\\dot" -> FUN_AR1 "\\dot "
495 | "\\ddot" -> FUN_AR1 "\\ddot "
496 | "\\breve" -> FUN_AR1 "\\breve "
497 | "\\tilde" -> FUN_AR1 "\\tilde "
498 | "\\not" -> LITERAL (TEX_ONLY "\\not ")
499 | "\\choose" -> FUN_INFIX "\\choose "
500 | "\\atop" -> FUN_INFIX "\\atop "
501 | "\\binom" -> (tex_use_ams (); FUN_AR2 "\\binom ")
502 | "\\dbinom" -> (tex_use_ams (); FUN_AR2 "\\dbinom ")
503 | "\\tbinom" -> (tex_use_ams (); FUN_AR2 "\\tbinom ")
504 | "\\stackrel" -> FUN_AR2 "\\stackrel "
505 | "\\sideset" -> (tex_use_ams (); FUN_AR2nb "\\sideset ")
506 | "\\underset" -> (tex_use_ams (); FUN_AR2 "\\underset ")
507 | "\\overset" -> (tex_use_ams (); FUN_AR2 "\\overset ")
508 | "\\frac" -> FUN_AR2h ("\\frac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\"/>", Html.html_render [den])
509 | "\\dfrac" -> (tex_use_ams () ; FUN_AR2 "\\dfrac ")
510 | "\\tfrac" -> (tex_use_ams () ; FUN_AR2h ("\\tfrac ", fun num den -> Html.html_render [num], "<hr style=\"background: black\">", Html.html_render [den]))
511 | "\\cfrac" -> (tex_use_ams (); FUN_AR2h ("\\cfrac ", fun num den -> Html.html_render [num], "<hr style=\"{background: black}\">", Html.html_render [den]))
512 | "\\over" -> FUN_INFIXh ("\\over ", fun num den -> Html.html_render num, "<hr style=\"{background: black}\"/>", Html.html_render den)
513 | "\\sqrt" -> FUN_AR1 "\\sqrt "
514 | "\\cancel" -> FUN_AR1 "\\cancel "
515 | "\\bcancel" -> FUN_AR1 "\\bcancel "
516 | "\\xcancel" -> FUN_AR1 "\\xcancel "
517 | "\\cancelto" -> FUN_AR2 "\\cancelto "
518 | "\\pmod" -> FUN_AR1hl ("\\pmod ", ("(mod ", ")"))
519 | "\\bmod" -> FUN_AR1hl ("\\bmod ", ("mod ", ""))
520 | "\\emph" -> FUN_AR1 "\\emph "
521 | "\\texttt" -> FUN_AR1 "\\texttt "
522 | "\\textbf" -> FUN_AR1 "\\textbf "
523 | "\\textsf" -> FUN_AR1 "\\textsf "
524 | "\\textit" -> FUN_AR1hf ("\\textit ", FONTFORCE_IT)
525 | "\\textrm" -> FUN_AR1hf ("\\textrm ", FONTFORCE_RM)
526 | "\\rm" -> DECLh ("\\rm ", FONTFORCE_RM)
527 | "\\it" -> DECLh ("\\it ", FONTFORCE_IT)
528 | "\\cal" -> DECL "\\cal "
529 | "\\displaystyle" -> LITERAL (TEX_ONLY "\\displaystyle ")
530 | "\\scriptstyle" -> LITERAL (TEX_ONLY "\\scriptstyle ")
531 | "\\textstyle" -> LITERAL (TEX_ONLY "\\textstyle ")
532 | "\\scriptscriptstyle"-> LITERAL (TEX_ONLY "\\scriptscriptstyle ")
533 | "\\bf" -> DECL "\\bf "
534 | "\\big" -> BIG "\\big "
535 | "\\Big" -> BIG "\\Big "
536 | "\\bigg" -> BIG "\\bigg "
537 | "\\Bigg" -> BIG "\\Bigg "
538 | "\\bigl" -> (tex_use_ams ();BIG "\\bigl ")
539 | "\\bigr" -> (tex_use_ams ();BIG "\\bigr ")
540 | "\\Bigl" -> (tex_use_ams ();BIG "\\Bigl ")
541 | "\\Bigr" -> (tex_use_ams ();BIG "\\Bigr ")
542 | "\\biggl" -> (tex_use_ams ();BIG "\\biggl ")
543 | "\\biggr" -> (tex_use_ams ();BIG "\\biggr ")
544 | "\\Biggl" -> (tex_use_ams ();BIG "\\Biggl ")
545 | "\\Biggr" -> (tex_use_ams ();BIG "\\Biggr ")
546 | "\\vartriangle" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\vartriangle "))
547 | "\\triangledown" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\triangledown "))
548 | "\\lozenge" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lozenge "))
549 | "\\circledS" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\circledS "))
550 | "\\measuredangle" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\measuredangle "))
551 | "\\nexists" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nexists "))
552 | "\\Bbbk" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Bbbk "))
553 | "\\backprime" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\backprime "))
554 | "\\blacktriangle" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\blacktriangle "))
555 | "\\blacktriangledown"-> (tex_use_ams (); LITERAL (TEX_ONLY "\\blacktriangledown "))
556 | "\\blacksquare" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\blacksquare "))
557 | "\\blacklozenge" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\blacklozenge "))
558 | "\\bigstar" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\bigstar "))
559 | "\\sphericalangle" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\sphericalangle "))
560 | "\\diagup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\diagup "))
561 | "\\diagdown" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\diagdown "))
562 | "\\dotplus" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\dotplus "))
563 | "\\Cap" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Cap "))
564 | "\\doublecap" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Cap "))
565 | "\\Cup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Cup "))
566 | "\\doublecup" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Cup "))
567 | "\\barwedge" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\barwedge "))
568 | "\\veebar" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\veebar "))
569 | "\\doublebarwedge" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\doublebarwedge "))
570 | "\\boxminus" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\boxminus "))
571 | "\\boxtimes" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\boxtimes "))
572 | "\\boxdot" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\boxdot "))
573 | "\\boxplus" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\boxplus "))
574 | "\\divideontimes" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\divideontimes "))
575 | "\\ltimes" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ltimes "))
576 | "\\rtimes" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rtimes "))
577 | "\\leftthreetimes" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftthreetimes "))
578 | "\\rightthreetimes" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightthreetimes "))
579 | "\\curlywedge" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\curlywedge "))
580 | "\\curlyvee" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\curlyvee "))
581 | "\\circleddash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\circleddash "))
582 | "\\circledast" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\circledast "))
583 | "\\circledcirc" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\circledcirc "))
584 | "\\centerdot" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\centerdot "))
585 | "\\intercal" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\intercal "))
586 | "\\leqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leqq "))
587 | "\\leqslant" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leqslant "))
588 | "\\eqslantless" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\eqslantless "))
589 | "\\lessapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lessapprox "))
590 | "\\approxeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\approxeq "))
591 | "\\lessdot" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lessdot "))
592 | "\\lll" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lll "))
593 | "\\lessgtr" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lessgtr "))
594 | "\\lesseqgtr" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lesseqgtr "))
595 | "\\lesseqqgtr" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lesseqqgtr "))
596 | "\\doteqdot" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\doteqdot "))
597 | "\\Doteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\doteqdot "))
598 | "\\risingdotseq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\risingdotseq "))
599 | "\\fallingdotseq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\fallingdotseq "))
600 | "\\backsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\backsim "))
601 | "\\backsimeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\backsimeq "))
602 | "\\subseteqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\subseteqq "))
603 | "\\Subset" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Subset "))
604 | "\\preccurlyeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\preccurlyeq "))
605 | "\\curlyeqprec" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\curlyeqprec "))
606 | "\\precsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\precsim "))
607 | "\\precapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\precapprox "))
608 | "\\vartriangleleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\vartriangleleft "))
609 | "\\Vvdash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Vvdash "))
610 | "\\bumpeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\bumpeq "))
611 | "\\Bumpeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Bumpeq "))
612 | "\\geqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\geqq "))
613 | "\\geqslant" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\geqslant "))
614 | "\\eqslantgtr" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\eqslantgtr "))
615 | "\\gtrsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gtrsim "))
616 | "\\gtrapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gtrapprox "))
617 | "\\eqsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\eqsim "))
618 | "\\gtrdot" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gtrdot "))
619 | "\\ggg" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ggg "))
620 | "\\gggtr" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ggg "))
621 | "\\gtrless" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gtrless "))
622 | "\\gtreqless" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gtreqless "))
623 | "\\gtreqqless" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gtreqqless "))
624 | "\\eqcirc" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\eqcirc "))
625 | "\\circeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\circeq "))
626 | "\\triangleq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\triangleq "))
627 | "\\thicksim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\thicksim "))
628 | "\\thickapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\thickapprox "))
629 | "\\supseteqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\supseteqq "))
630 | "\\Supset" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Supset "))
631 | "\\succcurlyeq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\succcurlyeq "))
632 | "\\curlyeqsucc" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\curlyeqsucc "))
633 | "\\succsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\succsim "))
634 | "\\succapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\succapprox "))
635 | "\\vartriangleright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\vartriangleright "))
636 | "\\shortmid" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\shortmid "))
637 | "\\shortparallel" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\shortparallel "))
638 | "\\between" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\between "))
639 | "\\pitchfork" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\pitchfork "))
640 | "\\varpropto" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varpropto "))
641 | "\\blacktriangleleft"-> (tex_use_ams (); LITERAL (TEX_ONLY "\\blacktriangleleft "))
642 | "\\therefore" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\therefore "))
643 | "\\backepsilon" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\backepsilon "))
644 | "\\blacktriangleright"-> (tex_use_ams (); LITERAL (TEX_ONLY "\\blacktriangleright "))
645 | "\\because" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\because "))
646 | "\\nleqslant" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nleqslant "))
647 | "\\nleqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nleqq "))
648 | "\\lneq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lneq "))
649 | "\\lneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lneqq "))
650 | "\\lvertneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lvertneqq "))
651 | "\\lnsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lnsim "))
652 | "\\lnapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\lnapprox "))
653 | "\\nprec" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nprec "))
654 | "\\npreceq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\npreceq "))
655 | "\\precneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\precneqq "))
656 | "\\precnsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\precnsim "))
657 | "\\precnapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\precnapprox "))
658 | "\\nsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nsim "))
659 | "\\nshortmid" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nshortmid "))
660 | "\\nvdash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nvdash "))
661 | "\\nVdash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nVdash "))
662 | "\\ntriangleleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ntriangleleft "))
663 | "\\ntrianglelefteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ntrianglelefteq "))
664 | "\\nsubseteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nsubseteq "))
665 | "\\nsubseteqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nsubseteqq "))
666 | "\\varsubsetneq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varsubsetneq "))
667 | "\\subsetneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\subsetneqq "))
668 | "\\varsubsetneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varsubsetneqq "))
669 | "\\ngtr" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ngtr "))
670 | "\\ngeqslant" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ngeqslant "))
671 | "\\ngeqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ngeqq "))
672 | "\\gneq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gneq "))
673 | "\\gneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gneqq "))
674 | "\\gvertneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gvertneqq "))
675 | "\\gnsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gnsim "))
676 | "\\gnapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\gnapprox "))
677 | "\\nsucc" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nsucc "))
678 | "\\nsucceq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nsucceq "))
679 | "\\succneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\succneqq "))
680 | "\\succnsim" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\succnsim "))
681 | "\\succnapprox" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\succnapprox "))
682 | "\\ncong" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ncong "))
683 | "\\nshortparallel" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nshortparallel "))
684 | "\\nparallel" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nparallel "))
685 | "\\nvDash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nvDash "))
686 | "\\nVDash" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nVDash "))
687 | "\\ntriangleright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ntriangleright "))
688 | "\\ntrianglerighteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\ntrianglerighteq "))
689 | "\\nsupseteq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nsupseteq "))
690 | "\\nsupseteqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nsupseteqq "))
691 | "\\varsupsetneq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varsupsetneq "))
692 | "\\supsetneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\supsetneqq "))
693 | "\\varsupsetneqq" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\varsupsetneqq "))
694 | "\\leftleftarrows" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftleftarrows "))
695 | "\\leftrightarrows" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftrightarrows "))
696 | "\\Lleftarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Lleftarrow "))
697 | "\\leftarrowtail" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftarrowtail "))
698 | "\\looparrowleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\looparrowleft "))
699 | "\\leftrightharpoons"-> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftrightharpoons "))
700 | "\\curvearrowleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\curvearrowleft "))
701 | "\\circlearrowleft" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\circlearrowleft "))
702 | "\\Lsh" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Lsh "))
703 | "\\upuparrows" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\upuparrows "))
704 | "\\rightrightarrows" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightrightarrows "))
705 | "\\rightleftarrows" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightleftarrows "))
706 | "\\Rrightarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Rrightarrow "))
707 | "\\rightarrowtail" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightarrowtail "))
708 | "\\looparrowright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\looparrowright "))
709 | "\\curvearrowright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\curvearrowright "))
710 | "\\circlearrowright" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\circlearrowright "))
711 | "\\Rsh" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\Rsh "))
712 | "\\downdownarrows" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\downdownarrows "))
713 | "\\multimap" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\multimap "))
714 | "\\leftrightsquigarrow"-> (tex_use_ams (); LITERAL (TEX_ONLY "\\leftrightsquigarrow "))
715 | "\\rightsquigarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\rightsquigarrow "))
716 | "\\nLeftarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nLeftarrow "))
717 | "\\nleftrightarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nleftrightarrow "))
718 | "\\nRightarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nRightarrow "))
719 | "\\nLeftrightarrow" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\nLeftrightarrow "))
720 | "\\mathit" -> (tex_use_ams (); FUN_AR1hf ("\\mathit ", FONTFORCE_IT))
721 | "\\mathrm" -> (tex_use_ams (); FUN_AR1hf ("\\mathrm ", FONTFORCE_RM))
722 | "\\mathord" -> (tex_use_ams (); FUN_AR1 "\\mathord ")
723 | "\\mathop" -> (tex_use_ams (); FUN_AR1 "\\mathop ")
724 | "\\mathbin" -> (tex_use_ams (); FUN_AR1 "\\mathbin ")
725 | "\\mathrel" -> (tex_use_ams (); FUN_AR1 "\\mathrel ")
726 | "\\mathopen" -> (tex_use_ams (); FUN_AR1 "\\mathopen ")
727 | "\\mathclose" -> (tex_use_ams (); FUN_AR1 "\\mathclose ")
728 | "\\mathpunct" -> (tex_use_ams (); FUN_AR1 "\\mathpunct ")
729 | "\\boldsymbol" -> (tex_use_ams (); FUN_AR1 "\\boldsymbol ")
730 | "\\bold" -> (tex_use_ams (); FUN_AR1 "\\mathbf ")
731 | "\\Bbb" -> (tex_use_ams (); FUN_AR1 "\\mathbb ")
732 | "\\mathbf" -> (tex_use_ams (); FUN_AR1 "\\mathbf ")
733 | "\\mathsf" -> (tex_use_ams (); FUN_AR1 "\\mathsf ")
734 | "\\mathcal" -> (tex_use_ams (); FUN_AR1 "\\mathcal ")
735 | "\\mathbb" -> (tex_use_ams (); FUN_AR1 "\\mathbb ")
736 | "\\mathtt" -> (tex_use_ams (); FUN_AR1 "\\mathtt ")
737 | "\\mathfrak" -> (tex_use_ams (); FUN_AR1 "\\mathfrak ")
738 | "\\operatorname" -> (tex_use_ams (); FUN_AR1 "\\operatorname ")
739 | "\\text" -> raise (Failure "malformatted \\text")
740 | "\\mbox" -> raise (Failure "malformatted \\mbox")
741 | "\\vbox" -> raise (Failure "malformatted \\vbox")
742 | "\\hbox" -> raise (Failure "malformatted \\hbox")
743 | "\\color" -> (tex_use_color (); LITERAL (TEX_ONLY "\\color"))
744 | "\\pagecolor" -> (tex_use_color (); LITERAL (TEX_ONLY "\\pagecolor"))
745 | "\\definecolor" -> (tex_use_color (); LITERAL (TEX_ONLY "\\definecolor"))
746 | s -> raise (Illegal_tex_function s)
dépôts / lhc / web / wiklou.git / blob