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