Project

General

Profile

1 13016 katerina.i
/*
2
LaTeXMathML.js
3
==============
4
5
This file, in this form, is due to Douglas Woodall, June 2006.
6
It contains JavaScript functions to convert (most simple) LaTeX
7
math notation to Presentation MathML.  It was obtained by
8
downloading the file ASCIIMathML.js from
9
	http://www1.chapman.edu/~jipsen/mathml/asciimathdownload/
10
and modifying it so that it carries out ONLY those conversions
11
that would be carried out in LaTeX.  A description of the original
12
file, with examples, can be found at
13
	www1.chapman.edu/~jipsen/mathml/asciimath.html
14
	ASCIIMathML: Math on the web for everyone
15
16
Here is the header notice from the original file:
17
18
ASCIIMathML.js
19
==============
20
This file contains JavaScript functions to convert ASCII math notation
21
to Presentation MathML. The conversion is done while the (X)HTML page
22
loads, and should work with Firefox/Mozilla/Netscape 7+ and Internet
23
Explorer 6+MathPlayer (http://www.dessci.com/en/products/mathplayer/).
24
Just add the next line to your (X)HTML page with this file in the same folder:
25
<script type="text/javascript" src="ASCIIMathML.js"></script>
26
This is a convenient and inexpensive solution for authoring MathML.
27
28
Version 1.4.7 Dec 15, 2005, (c) Peter Jipsen http://www.chapman.edu/~jipsen
29
Latest version at http://www.chapman.edu/~jipsen/mathml/ASCIIMathML.js
30
For changes see http://www.chapman.edu/~jipsen/mathml/asciimathchanges.txt
31
If you use it on a webpage, please send the URL to jipsen@chapman.edu
32
33
This program is free software; you can redistribute it and/or modify
34
it under the terms of the GNU General Public License as published by
35
the Free Software Foundation; either version 2 of the License, or (at
36
your option) any later version.
37
38
This program is distributed in the hope that it will be useful,
39
but WITHOUT ANY WARRANTY; without even the implied warranty of
40
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
41
General Public License (at http://www.gnu.org/copyleft/gpl.html)
42
for more details.
43
44
LaTeXMathML.js (ctd)
45
==============
46
47
The instructions for use are the same as for the original
48
ASCIIMathML.js, except that of course the line you add to your
49
file should be
50
<script type="text/javascript" src="LaTeXMathML.js"></script>
51
Or use absolute path names if the file is not in the same folder
52
as your (X)HTML page.
53
*/
54
55
var checkForMathML = true;   // check if browser can display MathML
56
var notifyIfNoMathML = true; // display note if no MathML capability
57
var alertIfNoMathML = false;  // show alert box if no MathML capability
58
// was "red":
59
var mathcolor = "";	     // change it to "" (to inherit) or any other color
60
// was "serif":
61
var mathfontfamily = "";      // change to "" to inherit (works in IE)
62
                              // or another family (e.g. "arial")
63
var showasciiformulaonhover = true; // helps students learn ASCIIMath
64
/*
65
// Commented out by DRW -- not now used -- see DELIMITERS (twice) near the end
66
var displaystyle = false;     // puts limits above and below large operators
67
var decimalsign = ".";        // change to "," if you like, beware of `(1,2)`!
68
var AMdelimiter1 = "`", AMescape1 = "\\\\`"; // can use other characters
69
var AMdelimiter2 = "$", AMescape2 = "\\\\\\$", AMdelimiter2regexp = "\\$";
70
var doubleblankmathdelimiter = false; // if true,  x+1  is equal to `x+1`
71
                                      // for IE this works only in <!--   -->
72
//var separatetokens;// has been removed (email me if this is a problem)
73
*/
74
var isIE = document.createElementNS==null;
75
76
if (document.getElementById==null)
77
  alert("This webpage requires a recent browser such as\
78
\nMozilla/Netscape 7+ or Internet Explorer 6+MathPlayer")
79
80
// all further global variables start with "AM"
81
82
function AMcreateElementXHTML(t) {
83
  if (isIE) return document.createElement(t);
84
  else return document.createElementNS("http://www.w3.org/1999/xhtml",t);
85
}
86
87
function AMnoMathMLNote() {
88
  var nd = AMcreateElementXHTML("h3");
89
  nd.setAttribute("align","center")
90
  nd.appendChild(AMcreateElementXHTML("p"));
91
  nd.appendChild(document.createTextNode("To view the "));
92
  var an = AMcreateElementXHTML("a");
93
  an.appendChild(document.createTextNode("LaTeXMathML"));
94
  an.setAttribute("href","http://www.maths.nott.ac.uk/personal/drw/lm.html");
95
  nd.appendChild(an);
96
  nd.appendChild(document.createTextNode(" notation use Internet Explorer 6+"));
97
  an = AMcreateElementXHTML("a");
98
  an.appendChild(document.createTextNode("MathPlayer"));
99
  an.setAttribute("href","http://www.dessci.com/en/products/mathplayer/download.htm");
100
  nd.appendChild(an);
101
  nd.appendChild(document.createTextNode(" or Netscape/Mozilla/Firefox"));
102
  nd.appendChild(AMcreateElementXHTML("p"));
103
  return nd;
104
}
105
106
function AMisMathMLavailable() {
107
  if (navigator.appName.slice(0,8)=="Netscape")
108
    if (navigator.appVersion.slice(0,1)>="5") return null;
109
    else return AMnoMathMLNote();
110
  else if (navigator.appName.slice(0,9)=="Microsoft")
111
    try {
112
        var ActiveX = new ActiveXObject("MathPlayer.Factory.1");
113
        return null;
114
    } catch (e) {
115
        return AMnoMathMLNote();
116
    }
117
  else return AMnoMathMLNote();
118
}
119
120
// character lists for Mozilla/Netscape fonts
121
var AMcal = [0xEF35,0x212C,0xEF36,0xEF37,0x2130,0x2131,0xEF38,0x210B,0x2110,0xEF39,0xEF3A,0x2112,0x2133,0xEF3B,0xEF3C,0xEF3D,0xEF3E,0x211B,0xEF3F,0xEF40,0xEF41,0xEF42,0xEF43,0xEF44,0xEF45,0xEF46];
122
var AMfrk = [0xEF5D,0xEF5E,0x212D,0xEF5F,0xEF60,0xEF61,0xEF62,0x210C,0x2111,0xEF63,0xEF64,0xEF65,0xEF66,0xEF67,0xEF68,0xEF69,0xEF6A,0x211C,0xEF6B,0xEF6C,0xEF6D,0xEF6E,0xEF6F,0xEF70,0xEF71,0x2128];
123
var AMbbb = [0xEF8C,0xEF8D,0x2102,0xEF8E,0xEF8F,0xEF90,0xEF91,0x210D,0xEF92,0xEF93,0xEF94,0xEF95,0xEF96,0x2115,0xEF97,0x2119,0x211A,0x211D,0xEF98,0xEF99,0xEF9A,0xEF9B,0xEF9C,0xEF9D,0xEF9E,0x2124];
124
125
var CONST = 0, UNARY = 1, BINARY = 2, INFIX = 3, LEFTBRACKET = 4,
126
    RIGHTBRACKET = 5, SPACE = 6, UNDEROVER = 7, DEFINITION = 8,
127
    TEXT = 9, BIG = 10, LONG = 11, STRETCHY = 12, MATRIX = 13; // token types
128
129
var AMsqrt = {input:"\\sqrt",	tag:"msqrt", output:"sqrt",	ttype:UNARY},
130
  AMroot = {input:"\\root",	tag:"mroot", output:"root",	ttype:BINARY},
131
  AMfrac = {input:"\\frac",	tag:"mfrac", output:"/",	ttype:BINARY},
132
  AMover = {input:"\\stackrel", tag:"mover", output:"stackrel", ttype:BINARY},
133
  AMatop = {input:"\\atop",	tag:"mfrac", output:"",		ttype:INFIX},
134
  AMchoose = {input:"\\choose", tag:"mfrac", output:"",		ttype:INFIX},
135
  AMsub  = {input:"_",		tag:"msub",  output:"_",	ttype:INFIX},
136
  AMsup  = {input:"^",		tag:"msup",  output:"^",	ttype:INFIX},
137
  AMtext = {input:"\\mathrm",	tag:"mtext", output:"text",	ttype:TEXT},
138
  AMmbox = {input:"\\mbox",	tag:"mtext", output:"mbox",	ttype:TEXT};
139
140
// Commented out by DRW to prevent 1/2 turning into a 2-line fraction
141
// AMdiv   = {input:"/",	 tag:"mfrac", output:"/",    ttype:INFIX},
142
// Commented out by DRW so that " prints literally in equations
143
// AMquote = {input:"\"",	 tag:"mtext", output:"mbox", ttype:TEXT};
144
145
var AMsymbols = [
146
//Greek letters
147
{input:"\\alpha",	tag:"mi", output:"\u03B1", ttype:CONST},
148
{input:"\\beta",	tag:"mi", output:"\u03B2", ttype:CONST},
149
{input:"\\gamma",	tag:"mi", output:"\u03B3", ttype:CONST},
150
{input:"\\delta",	tag:"mi", output:"\u03B4", ttype:CONST},
151
{input:"\\epsilon",	tag:"mi", output:"\u03B5", ttype:CONST},
152
{input:"\\varepsilon",  tag:"mi", output:"\u025B", ttype:CONST},
153
{input:"\\zeta",	tag:"mi", output:"\u03B6", ttype:CONST},
154
{input:"\\eta",		tag:"mi", output:"\u03B7", ttype:CONST},
155
{input:"\\theta",	tag:"mi", output:"\u03B8", ttype:CONST},
156
{input:"\\vartheta",	tag:"mi", output:"\u03D1", ttype:CONST},
157
{input:"\\iota",	tag:"mi", output:"\u03B9", ttype:CONST},
158
{input:"\\kappa",	tag:"mi", output:"\u03BA", ttype:CONST},
159
{input:"\\lambda",	tag:"mi", output:"\u03BB", ttype:CONST},
160
{input:"\\mu",		tag:"mi", output:"\u03BC", ttype:CONST},
161
{input:"\\nu",		tag:"mi", output:"\u03BD", ttype:CONST},
162
{input:"\\xi",		tag:"mi", output:"\u03BE", ttype:CONST},
163
{input:"\\pi",		tag:"mi", output:"\u03C0", ttype:CONST},
164
{input:"\\varpi",	tag:"mi", output:"\u03D6", ttype:CONST},
165
{input:"\\rho",		tag:"mi", output:"\u03C1", ttype:CONST},
166
{input:"\\varrho",	tag:"mi", output:"\u03F1", ttype:CONST},
167
{input:"\\varsigma",	tag:"mi", output:"\u03C2", ttype:CONST},
168
{input:"\\sigma",	tag:"mi", output:"\u03C3", ttype:CONST},
169
{input:"\\tau",		tag:"mi", output:"\u03C4", ttype:CONST},
170
{input:"\\upsilon",	tag:"mi", output:"\u03C5", ttype:CONST},
171
{input:"\\phi",		tag:"mi", output:"\u03C6", ttype:CONST},
172
{input:"\\varphi",	tag:"mi", output:"\u03D5", ttype:CONST},
173
{input:"\\chi",		tag:"mi", output:"\u03C7", ttype:CONST},
174
{input:"\\psi",		tag:"mi", output:"\u03C8", ttype:CONST},
175
{input:"\\omega",	tag:"mi", output:"\u03C9", ttype:CONST},
176
{input:"\\Gamma",	tag:"mo", output:"\u0393", ttype:CONST},
177
{input:"\\Delta",	tag:"mo", output:"\u0394", ttype:CONST},
178
{input:"\\Theta",	tag:"mo", output:"\u0398", ttype:CONST},
179
{input:"\\Lambda",	tag:"mo", output:"\u039B", ttype:CONST},
180
{input:"\\Xi",		tag:"mo", output:"\u039E", ttype:CONST},
181
{input:"\\Pi",		tag:"mo", output:"\u03A0", ttype:CONST},
182
{input:"\\Sigma",	tag:"mo", output:"\u03A3", ttype:CONST},
183
{input:"\\Upsilon",	tag:"mo", output:"\u03A5", ttype:CONST},
184
{input:"\\Phi",		tag:"mo", output:"\u03A6", ttype:CONST},
185
{input:"\\Psi",		tag:"mo", output:"\u03A8", ttype:CONST},
186
{input:"\\Omega",	tag:"mo", output:"\u03A9", ttype:CONST},
187
188
//fractions
189
{input:"\\frac12",	tag:"mo", output:"\u00BD", ttype:CONST},
190
{input:"\\frac14",	tag:"mo", output:"\u00BC", ttype:CONST},
191
{input:"\\frac34",	tag:"mo", output:"\u00BE", ttype:CONST},
192
{input:"\\frac13",	tag:"mo", output:"\u2153", ttype:CONST},
193
{input:"\\frac23",	tag:"mo", output:"\u2154", ttype:CONST},
194
{input:"\\frac15",	tag:"mo", output:"\u2155", ttype:CONST},
195
{input:"\\frac25",	tag:"mo", output:"\u2156", ttype:CONST},
196
{input:"\\frac35",	tag:"mo", output:"\u2157", ttype:CONST},
197
{input:"\\frac45",	tag:"mo", output:"\u2158", ttype:CONST},
198
{input:"\\frac16",	tag:"mo", output:"\u2159", ttype:CONST},
199
{input:"\\frac56",	tag:"mo", output:"\u215A", ttype:CONST},
200
{input:"\\frac18",	tag:"mo", output:"\u215B", ttype:CONST},
201
{input:"\\frac38",	tag:"mo", output:"\u215C", ttype:CONST},
202
{input:"\\frac58",	tag:"mo", output:"\u215D", ttype:CONST},
203
{input:"\\frac78",	tag:"mo", output:"\u215E", ttype:CONST},
204
205
//binary operation symbols
206
{input:"\\pm",		tag:"mo", output:"\u00B1", ttype:CONST},
207
{input:"\\mp",		tag:"mo", output:"\u2213", ttype:CONST},
208
{input:"\\triangleleft",tag:"mo", output:"\u22B2", ttype:CONST},
209
{input:"\\triangleright",tag:"mo",output:"\u22B3", ttype:CONST},
210
{input:"\\cdot",	tag:"mo", output:"\u22C5", ttype:CONST},
211
{input:"\\star",	tag:"mo", output:"\u22C6", ttype:CONST},
212
{input:"\\ast",		tag:"mo", output:"\u002A", ttype:CONST},
213
{input:"\\times",	tag:"mo", output:"\u00D7", ttype:CONST},
214
{input:"\\div",		tag:"mo", output:"\u00F7", ttype:CONST},
215
{input:"\\circ",	tag:"mo", output:"\u2218", ttype:CONST},
216
//{input:"\\bullet",	  tag:"mo", output:"\u2219", ttype:CONST},
217
{input:"\\bullet",	tag:"mo", output:"\u2022", ttype:CONST},
218
{input:"\\oplus",	tag:"mo", output:"\u2295", ttype:CONST},
219
{input:"\\ominus",	tag:"mo", output:"\u2296", ttype:CONST},
220
{input:"\\otimes",	tag:"mo", output:"\u2297", ttype:CONST},
221
{input:"\\bigcirc",	tag:"mo", output:"\u25CB", ttype:CONST},
222
{input:"\\oslash",	tag:"mo", output:"\u2298", ttype:CONST},
223
{input:"\\odot",	tag:"mo", output:"\u2299", ttype:CONST},
224
{input:"\\land",	tag:"mo", output:"\u2227", ttype:CONST},
225
{input:"\\wedge",	tag:"mo", output:"\u2227", ttype:CONST},
226
{input:"\\lor",		tag:"mo", output:"\u2228", ttype:CONST},
227
{input:"\\vee",		tag:"mo", output:"\u2228", ttype:CONST},
228
{input:"\\cap",		tag:"mo", output:"\u2229", ttype:CONST},
229
{input:"\\cup",		tag:"mo", output:"\u222A", ttype:CONST},
230
{input:"\\sqcap",	tag:"mo", output:"\u2293", ttype:CONST},
231
{input:"\\sqcup",	tag:"mo", output:"\u2294", ttype:CONST},
232
{input:"\\uplus",	tag:"mo", output:"\u228E", ttype:CONST},
233
{input:"\\amalg",	tag:"mo", output:"\u2210", ttype:CONST},
234
{input:"\\bigtriangleup",tag:"mo",output:"\u25B3", ttype:CONST},
235
{input:"\\bigtriangledown",tag:"mo",output:"\u25BD", ttype:CONST},
236
{input:"\\dag",		tag:"mo", output:"\u2020", ttype:CONST},
237
{input:"\\dagger",	tag:"mo", output:"\u2020", ttype:CONST},
238
{input:"\\ddag",	tag:"mo", output:"\u2021", ttype:CONST},
239
{input:"\\ddagger",	tag:"mo", output:"\u2021", ttype:CONST},
240
{input:"\\lhd",		tag:"mo", output:"\u22B2", ttype:CONST},
241
{input:"\\rhd",		tag:"mo", output:"\u22B3", ttype:CONST},
242
{input:"\\unlhd",	tag:"mo", output:"\u22B4", ttype:CONST},
243
{input:"\\unrhd",	tag:"mo", output:"\u22B5", ttype:CONST},
244
245
246
//BIG Operators
247
{input:"\\sum",		tag:"mo", output:"\u2211", ttype:UNDEROVER},
248
{input:"\\prod",	tag:"mo", output:"\u220F", ttype:UNDEROVER},
249
{input:"\\bigcap",	tag:"mo", output:"\u22C2", ttype:UNDEROVER},
250
{input:"\\bigcup",	tag:"mo", output:"\u22C3", ttype:UNDEROVER},
251
{input:"\\bigwedge",	tag:"mo", output:"\u22C0", ttype:UNDEROVER},
252
{input:"\\bigvee",	tag:"mo", output:"\u22C1", ttype:UNDEROVER},
253
{input:"\\bigsqcap",	tag:"mo", output:"\u2A05", ttype:UNDEROVER},
254
{input:"\\bigsqcup",	tag:"mo", output:"\u2A06", ttype:UNDEROVER},
255
{input:"\\coprod",	tag:"mo", output:"\u2210", ttype:UNDEROVER},
256
{input:"\\bigoplus",	tag:"mo", output:"\u2A01", ttype:UNDEROVER},
257
{input:"\\bigotimes",	tag:"mo", output:"\u2A02", ttype:UNDEROVER},
258
{input:"\\bigodot",	tag:"mo", output:"\u2A00", ttype:UNDEROVER},
259
{input:"\\biguplus",	tag:"mo", output:"\u2A04", ttype:UNDEROVER},
260
{input:"\\int",		tag:"mo", output:"\u222B", ttype:CONST},
261
{input:"\\oint",	tag:"mo", output:"\u222E", ttype:CONST},
262
263
//binary relation symbols
264
{input:":=",		tag:"mo", output:":=",	   ttype:CONST},
265
{input:"\\lt",		tag:"mo", output:"<",	   ttype:CONST},
266
{input:"\\gt",		tag:"mo", output:">",	   ttype:CONST},
267
{input:"\\ne",		tag:"mo", output:"\u2260", ttype:CONST},
268
{input:"\\neq",		tag:"mo", output:"\u2260", ttype:CONST},
269
{input:"\\le",		tag:"mo", output:"\u2264", ttype:CONST},
270
{input:"\\leq",		tag:"mo", output:"\u2264", ttype:CONST},
271
{input:"\\leqslant",	tag:"mo", output:"\u2264", ttype:CONST},
272
{input:"\\ge",		tag:"mo", output:"\u2265", ttype:CONST},
273
{input:"\\geq",		tag:"mo", output:"\u2265", ttype:CONST},
274
{input:"\\geqslant",	tag:"mo", output:"\u2265", ttype:CONST},
275
{input:"\\equiv",	tag:"mo", output:"\u2261", ttype:CONST},
276
{input:"\\ll",		tag:"mo", output:"\u226A", ttype:CONST},
277
{input:"\\gg",		tag:"mo", output:"\u226B", ttype:CONST},
278
{input:"\\doteq",	tag:"mo", output:"\u2250", ttype:CONST},
279
{input:"\\prec",	tag:"mo", output:"\u227A", ttype:CONST},
280
{input:"\\succ",	tag:"mo", output:"\u227B", ttype:CONST},
281
{input:"\\preceq",	tag:"mo", output:"\u227C", ttype:CONST},
282
{input:"\\succeq",	tag:"mo", output:"\u227D", ttype:CONST},
283
{input:"\\subset",	tag:"mo", output:"\u2282", ttype:CONST},
284
{input:"\\supset",	tag:"mo", output:"\u2283", ttype:CONST},
285
{input:"\\subseteq",	tag:"mo", output:"\u2286", ttype:CONST},
286
{input:"\\supseteq",	tag:"mo", output:"\u2287", ttype:CONST},
287
{input:"\\sqsubset",	tag:"mo", output:"\u228F", ttype:CONST},
288
{input:"\\sqsupset",	tag:"mo", output:"\u2290", ttype:CONST},
289
{input:"\\sqsubseteq",  tag:"mo", output:"\u2291", ttype:CONST},
290
{input:"\\sqsupseteq",  tag:"mo", output:"\u2292", ttype:CONST},
291
{input:"\\sim",		tag:"mo", output:"\u223C", ttype:CONST},
292
{input:"\\simeq",	tag:"mo", output:"\u2243", ttype:CONST},
293
{input:"\\approx",	tag:"mo", output:"\u2248", ttype:CONST},
294
{input:"\\cong",	tag:"mo", output:"\u2245", ttype:CONST},
295
{input:"\\Join",	tag:"mo", output:"\u22C8", ttype:CONST},
296
{input:"\\bowtie",	tag:"mo", output:"\u22C8", ttype:CONST},
297
{input:"\\in",		tag:"mo", output:"\u2208", ttype:CONST},
298
{input:"\\ni",		tag:"mo", output:"\u220B", ttype:CONST},
299
{input:"\\owns",	tag:"mo", output:"\u220B", ttype:CONST},
300
{input:"\\propto",	tag:"mo", output:"\u221D", ttype:CONST},
301
{input:"\\vdash",	tag:"mo", output:"\u22A2", ttype:CONST},
302
{input:"\\dashv",	tag:"mo", output:"\u22A3", ttype:CONST},
303
{input:"\\models",	tag:"mo", output:"\u22A8", ttype:CONST},
304
{input:"\\perp",	tag:"mo", output:"\u22A5", ttype:CONST},
305
{input:"\\smile",	tag:"mo", output:"\u2323", ttype:CONST},
306
{input:"\\frown",	tag:"mo", output:"\u2322", ttype:CONST},
307
{input:"\\asymp",	tag:"mo", output:"\u224D", ttype:CONST},
308
{input:"\\notin",	tag:"mo", output:"\u2209", ttype:CONST},
309
310
//matrices
311
{input:"\\begin{eqnarray}",	output:"X",	ttype:MATRIX, invisible:true},
312
{input:"\\begin{array}",	output:"X",	ttype:MATRIX, invisible:true},
313
{input:"\\\\",			output:"}&{",	ttype:DEFINITION},
314
{input:"\\end{eqnarray}",	output:"}}",	ttype:DEFINITION},
315
{input:"\\end{array}",		output:"}}",	ttype:DEFINITION},
316
317
//grouping and literal brackets -- ieval is for IE
318
{input:"\\big",	   tag:"mo", output:"X", atval:"1.2", ieval:"2.2", ttype:BIG},
319
{input:"\\Big",	   tag:"mo", output:"X", atval:"1.6", ieval:"2.6", ttype:BIG},
320
{input:"\\bigg",   tag:"mo", output:"X", atval:"2.2", ieval:"3.2", ttype:BIG},
321
{input:"\\Bigg",   tag:"mo", output:"X", atval:"2.9", ieval:"3.9", ttype:BIG},
322
{input:"\\left",   tag:"mo", output:"X", ttype:LEFTBRACKET},
323
{input:"\\right",  tag:"mo", output:"X", ttype:RIGHTBRACKET},
324
{input:"{",	   output:"{", ttype:LEFTBRACKET,  invisible:true},
325
{input:"}",	   output:"}", ttype:RIGHTBRACKET, invisible:true},
326
327
{input:"(",	   tag:"mo", output:"(",      atval:"1", ttype:STRETCHY},
328
{input:"[",	   tag:"mo", output:"[",      atval:"1", ttype:STRETCHY},
329
{input:"\\lbrack", tag:"mo", output:"[",      atval:"1", ttype:STRETCHY},
330
{input:"\\{",	   tag:"mo", output:"{",      atval:"1", ttype:STRETCHY},
331
{input:"\\lbrace", tag:"mo", output:"{",      atval:"1", ttype:STRETCHY},
332
{input:"\\langle", tag:"mo", output:"\u2329", atval:"1", ttype:STRETCHY},
333
{input:"\\lfloor", tag:"mo", output:"\u230A", atval:"1", ttype:STRETCHY},
334
{input:"\\lceil",  tag:"mo", output:"\u2308", atval:"1", ttype:STRETCHY},
335
336
// rtag:"mi" causes space to be inserted before a following sin, cos, etc.
337
// (see function AMparseExpr() )
338
{input:")",	  tag:"mo",output:")",	    rtag:"mi",atval:"1",ttype:STRETCHY},
339
{input:"]",	  tag:"mo",output:"]",	    rtag:"mi",atval:"1",ttype:STRETCHY},
340
{input:"\\rbrack",tag:"mo",output:"]",	    rtag:"mi",atval:"1",ttype:STRETCHY},
341
{input:"\\}",	  tag:"mo",output:"}",	    rtag:"mi",atval:"1",ttype:STRETCHY},
342
{input:"\\rbrace",tag:"mo",output:"}",	    rtag:"mi",atval:"1",ttype:STRETCHY},
343
{input:"\\rangle",tag:"mo",output:"\u232A", rtag:"mi",atval:"1",ttype:STRETCHY},
344
{input:"\\rfloor",tag:"mo",output:"\u230B", rtag:"mi",atval:"1",ttype:STRETCHY},
345
{input:"\\rceil", tag:"mo",output:"\u2309", rtag:"mi",atval:"1",ttype:STRETCHY},
346
347
// "|", "\\|", "\\vert" and "\\Vert" modified later: lspace = rspace = 0em
348
{input:"|",		tag:"mo", output:"\u2223", atval:"1", ttype:STRETCHY},
349
{input:"\\|",		tag:"mo", output:"\u2225", atval:"1", ttype:STRETCHY},
350
{input:"\\vert",	tag:"mo", output:"\u2223", atval:"1", ttype:STRETCHY},
351
{input:"\\Vert",	tag:"mo", output:"\u2225", atval:"1", ttype:STRETCHY},
352
{input:"\\mid",		tag:"mo", output:"\u2223", atval:"1", ttype:STRETCHY},
353
{input:"\\parallel",	tag:"mo", output:"\u2225", atval:"1", ttype:STRETCHY},
354
{input:"/",		tag:"mo", output:"/",	atval:"1.01", ttype:STRETCHY},
355
{input:"\\backslash",	tag:"mo", output:"\u2216", atval:"1", ttype:STRETCHY},
356
{input:"\\setminus",	tag:"mo", output:"\\",	   ttype:CONST},
357
358
//miscellaneous symbols
359
{input:"\\!",	  tag:"mspace", atname:"width", atval:"-0.167em", ttype:SPACE},
360
{input:"\\,",	  tag:"mspace", atname:"width", atval:"0.167em", ttype:SPACE},
361
{input:"\\>",	  tag:"mspace", atname:"width", atval:"0.222em", ttype:SPACE},
362
{input:"\\:",	  tag:"mspace", atname:"width", atval:"0.222em", ttype:SPACE},
363
{input:"\\;",	  tag:"mspace", atname:"width", atval:"0.278em", ttype:SPACE},
364
{input:"~",	  tag:"mspace", atname:"width", atval:"0.333em", ttype:SPACE},
365
{input:"\\quad",  tag:"mspace", atname:"width", atval:"1em", ttype:SPACE},
366
{input:"\\qquad", tag:"mspace", atname:"width", atval:"2em", ttype:SPACE},
367
//{input:"{}",		  tag:"mo", output:"\u200B", ttype:CONST}, // zero-width
368
{input:"\\prime",	tag:"mo", output:"\u2032", ttype:CONST},
369
{input:"'",		tag:"mo", output:"\u02B9", ttype:CONST},
370
{input:"''",		tag:"mo", output:"\u02BA", ttype:CONST},
371
{input:"'''",		tag:"mo", output:"\u2034", ttype:CONST},
372
{input:"''''",		tag:"mo", output:"\u2057", ttype:CONST},
373
{input:"\\ldots",	tag:"mo", output:"\u2026", ttype:CONST},
374
{input:"\\cdots",	tag:"mo", output:"\u22EF", ttype:CONST},
375
{input:"\\vdots",	tag:"mo", output:"\u22EE", ttype:CONST},
376
{input:"\\ddots",	tag:"mo", output:"\u22F1", ttype:CONST},
377
{input:"\\forall",	tag:"mo", output:"\u2200", ttype:CONST},
378
{input:"\\exists",	tag:"mo", output:"\u2203", ttype:CONST},
379
{input:"\\Re",		tag:"mo", output:"\u211C", ttype:CONST},
380
{input:"\\Im",		tag:"mo", output:"\u2111", ttype:CONST},
381
{input:"\\aleph",	tag:"mo", output:"\u2135", ttype:CONST},
382
{input:"\\hbar",	tag:"mo", output:"\u210F", ttype:CONST},
383
{input:"\\ell",		tag:"mo", output:"\u2113", ttype:CONST},
384
{input:"\\wp",		tag:"mo", output:"\u2118", ttype:CONST},
385
{input:"\\emptyset",	tag:"mo", output:"\u2205", ttype:CONST},
386
{input:"\\infty",	tag:"mo", output:"\u221E", ttype:CONST},
387
{input:"\\surd",	tag:"mo", output:"\\sqrt{}", ttype:DEFINITION},
388
{input:"\\partial",	tag:"mo", output:"\u2202", ttype:CONST},
389
{input:"\\nabla",	tag:"mo", output:"\u2207", ttype:CONST},
390
{input:"\\triangle",	tag:"mo", output:"\u25B3", ttype:CONST},
391
{input:"\\therefore",	tag:"mo", output:"\u2234", ttype:CONST},
392
{input:"\\angle",	tag:"mo", output:"\u2220", ttype:CONST},
393
//{input:"\\\\ ",	  tag:"mo", output:"\u00A0", ttype:CONST},
394
{input:"\\diamond",	tag:"mo", output:"\u22C4", ttype:CONST},
395
//{input:"\\Diamond",	  tag:"mo", output:"\u25CA", ttype:CONST},
396
{input:"\\Diamond",	tag:"mo", output:"\u25C7", ttype:CONST},
397
{input:"\\neg",		tag:"mo", output:"\u00AC", ttype:CONST},
398
{input:"\\lnot",	tag:"mo", output:"\u00AC", ttype:CONST},
399
{input:"\\bot",		tag:"mo", output:"\u22A5", ttype:CONST},
400
{input:"\\top",		tag:"mo", output:"\u22A4", ttype:CONST},
401
{input:"\\square",	tag:"mo", output:"\u25AB", ttype:CONST},
402
{input:"\\Box",		tag:"mo", output:"\u25A1", ttype:CONST},
403
{input:"\\wr",		tag:"mo", output:"\u2240", ttype:CONST},
404
405
//standard functions
406
//Note UNDEROVER *must* have tag:"mo" to work properly
407
{input:"\\arccos", tag:"mi", output:"arccos", ttype:UNARY, func:true},
408
{input:"\\arcsin", tag:"mi", output:"arcsin", ttype:UNARY, func:true},
409
{input:"\\arctan", tag:"mi", output:"arctan", ttype:UNARY, func:true},
410
{input:"\\arg",	   tag:"mi", output:"arg",    ttype:UNARY, func:true},
411
{input:"\\cos",	   tag:"mi", output:"cos",    ttype:UNARY, func:true},
412
{input:"\\cosh",   tag:"mi", output:"cosh",   ttype:UNARY, func:true},
413
{input:"\\cot",	   tag:"mi", output:"cot",    ttype:UNARY, func:true},
414
{input:"\\coth",   tag:"mi", output:"coth",   ttype:UNARY, func:true},
415
{input:"\\csc",	   tag:"mi", output:"csc",    ttype:UNARY, func:true},
416
{input:"\\deg",	   tag:"mi", output:"deg",    ttype:UNARY, func:true},
417
{input:"\\det",	   tag:"mi", output:"det",    ttype:UNARY, func:true},
418
{input:"\\dim",	   tag:"mi", output:"dim",    ttype:UNARY, func:true}, //CONST?
419
{input:"\\exp",	   tag:"mi", output:"exp",    ttype:UNARY, func:true},
420
{input:"\\gcd",	   tag:"mi", output:"gcd",    ttype:UNARY, func:true}, //CONST?
421
{input:"\\hom",	   tag:"mi", output:"hom",    ttype:UNARY, func:true},
422
{input:"\\inf",	      tag:"mo", output:"inf",	 ttype:UNDEROVER},
423
{input:"\\ker",	   tag:"mi", output:"ker",    ttype:UNARY, func:true},
424
{input:"\\lg",	   tag:"mi", output:"lg",     ttype:UNARY, func:true},
425
{input:"\\lim",	      tag:"mo", output:"lim",	 ttype:UNDEROVER},
426
{input:"\\liminf",    tag:"mo", output:"liminf", ttype:UNDEROVER},
427
{input:"\\limsup",    tag:"mo", output:"limsup", ttype:UNDEROVER},
428
{input:"\\ln",	   tag:"mi", output:"ln",     ttype:UNARY, func:true},
429
{input:"\\log",	   tag:"mi", output:"log",    ttype:UNARY, func:true},
430
{input:"\\max",	      tag:"mo", output:"max",	 ttype:UNDEROVER},
431
{input:"\\min",	      tag:"mo", output:"min",	 ttype:UNDEROVER},
432
{input:"\\Pr",	   tag:"mi", output:"Pr",     ttype:UNARY, func:true},
433
{input:"\\sec",	   tag:"mi", output:"sec",    ttype:UNARY, func:true},
434
{input:"\\sin",	   tag:"mi", output:"sin",    ttype:UNARY, func:true},
435
{input:"\\sinh",   tag:"mi", output:"sinh",   ttype:UNARY, func:true},
436
{input:"\\sup",	      tag:"mo", output:"sup",	 ttype:UNDEROVER},
437
{input:"\\tan",	   tag:"mi", output:"tan",    ttype:UNARY, func:true},
438
{input:"\\tanh",   tag:"mi", output:"tanh",   ttype:UNARY, func:true},
439
440
//arrows
441
{input:"\\gets",		tag:"mo", output:"\u2190", ttype:CONST},
442
{input:"\\leftarrow",		tag:"mo", output:"\u2190", ttype:CONST},
443
{input:"\\to",			tag:"mo", output:"\u2192", ttype:CONST},
444
{input:"\\rightarrow",		tag:"mo", output:"\u2192", ttype:CONST},
445
{input:"\\leftrightarrow",	tag:"mo", output:"\u2194", ttype:CONST},
446
{input:"\\uparrow",		tag:"mo", output:"\u2191", ttype:CONST},
447
{input:"\\downarrow",		tag:"mo", output:"\u2193", ttype:CONST},
448
{input:"\\updownarrow",		tag:"mo", output:"\u2195", ttype:CONST},
449
{input:"\\Leftarrow",		tag:"mo", output:"\u21D0", ttype:CONST},
450
{input:"\\Rightarrow",		tag:"mo", output:"\u21D2", ttype:CONST},
451
{input:"\\Leftrightarrow",	tag:"mo", output:"\u21D4", ttype:CONST},
452
{input:"\\iff", tag:"mo", output:"~\\Longleftrightarrow~", ttype:DEFINITION},
453
{input:"\\Uparrow",		tag:"mo", output:"\u21D1", ttype:CONST},
454
{input:"\\Downarrow",		tag:"mo", output:"\u21D3", ttype:CONST},
455
{input:"\\Updownarrow",		tag:"mo", output:"\u21D5", ttype:CONST},
456
{input:"\\mapsto",		tag:"mo", output:"\u21A6", ttype:CONST},
457
{input:"\\longleftarrow",	tag:"mo", output:"\u2190", ttype:LONG},
458
{input:"\\longrightarrow",	tag:"mo", output:"\u2192", ttype:LONG},
459
{input:"\\longleftrightarrow",	tag:"mo", output:"\u2194", ttype:LONG},
460
{input:"\\Longleftarrow",	tag:"mo", output:"\u21D0", ttype:LONG},
461
{input:"\\Longrightarrow",	tag:"mo", output:"\u21D2", ttype:LONG},
462
{input:"\\Longleftrightarrow",  tag:"mo", output:"\u21D4", ttype:LONG},
463
{input:"\\longmapsto",		tag:"mo", output:"\u21A6", ttype:CONST},
464
							// disaster if LONG
465
466
//commands with argument
467
AMsqrt, AMroot, AMfrac, AMover, AMsub, AMsup, AMtext, AMmbox, AMatop, AMchoose,
468
//AMdiv, AMquote,
469
470
//diacritical marks
471
{input:"\\acute",	tag:"mover",  output:"\u00B4", ttype:UNARY, acc:true},
472
//{input:"\\acute",	  tag:"mover",  output:"\u0317", ttype:UNARY, acc:true},
473
//{input:"\\acute",	  tag:"mover",  output:"\u0301", ttype:UNARY, acc:true},
474
//{input:"\\grave",	  tag:"mover",  output:"\u0300", ttype:UNARY, acc:true},
475
//{input:"\\grave",	  tag:"mover",  output:"\u0316", ttype:UNARY, acc:true},
476
{input:"\\grave",	tag:"mover",  output:"\u0060", ttype:UNARY, acc:true},
477
{input:"\\breve",	tag:"mover",  output:"\u02D8", ttype:UNARY, acc:true},
478
{input:"\\check",	tag:"mover",  output:"\u02C7", ttype:UNARY, acc:true},
479
{input:"\\dot",		tag:"mover",  output:".",      ttype:UNARY, acc:true},
480
{input:"\\ddot",	tag:"mover",  output:"..",     ttype:UNARY, acc:true},
481
//{input:"\\ddot",	  tag:"mover",  output:"\u00A8", ttype:UNARY, acc:true},
482
{input:"\\mathring",	tag:"mover",  output:"\u00B0", ttype:UNARY, acc:true},
483
{input:"\\vec",		tag:"mover",  output:"\u20D7", ttype:UNARY, acc:true},
484
{input:"\\overrightarrow",tag:"mover",output:"\u20D7", ttype:UNARY, acc:true},
485
{input:"\\overleftarrow",tag:"mover", output:"\u20D6", ttype:UNARY, acc:true},
486
{input:"\\hat",		tag:"mover",  output:"\u005E", ttype:UNARY, acc:true},
487
{input:"\\widehat",	tag:"mover",  output:"\u0302", ttype:UNARY, acc:true},
488
{input:"\\tilde",	tag:"mover",  output:"~",      ttype:UNARY, acc:true},
489
//{input:"\\tilde",	  tag:"mover",  output:"\u0303", ttype:UNARY, acc:true},
490
{input:"\\widetilde",	tag:"mover",  output:"\u02DC", ttype:UNARY, acc:true},
491
{input:"\\bar",		tag:"mover",  output:"\u203E", ttype:UNARY, acc:true},
492
{input:"\\overbrace",	tag:"mover",  output:"\u23B4", ttype:UNARY, acc:true},
493
{input:"\\overline",	tag:"mover",  output:"\u00AF", ttype:UNARY, acc:true},
494
{input:"\\underbrace",  tag:"munder", output:"\u23B5", ttype:UNARY, acc:true},
495
{input:"\\underline",	tag:"munder", output:"\u00AF", ttype:UNARY, acc:true},
496
//{input:"underline",	tag:"munder", output:"\u0332", ttype:UNARY, acc:true},
497
498
//typestyles and fonts
499
{input:"\\displaystyle",tag:"mstyle",atname:"displaystyle",atval:"true", ttype:UNARY},
500
{input:"\\textstyle",tag:"mstyle",atname:"displaystyle",atval:"false", ttype:UNARY},
501
{input:"\\scriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"1", ttype:UNARY},
502
{input:"\\scriptscriptstyle",tag:"mstyle",atname:"scriptlevel",atval:"2", ttype:UNARY},
503
{input:"\\textrm", tag:"mstyle", output:"\\mathrm", ttype: DEFINITION},
504
{input:"\\mathbf", tag:"mstyle", atname:"mathvariant", atval:"bold", ttype:UNARY},
505
{input:"\\textbf", tag:"mstyle", atname:"mathvariant", atval:"bold", ttype:UNARY},
506
{input:"\\mathit", tag:"mstyle", atname:"mathvariant", atval:"italic", ttype:UNARY},
507
{input:"\\textit", tag:"mstyle", atname:"mathvariant", atval:"italic", ttype:UNARY},
508
{input:"\\mathtt", tag:"mstyle", atname:"mathvariant", atval:"monospace", ttype:UNARY},
509
{input:"\\texttt", tag:"mstyle", atname:"mathvariant", atval:"monospace", ttype:UNARY},
510
{input:"\\mathsf", tag:"mstyle", atname:"mathvariant", atval:"sans-serif", ttype:UNARY},
511
{input:"\\mathbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", ttype:UNARY, codes:AMbbb},
512
{input:"\\mathcal",tag:"mstyle", atname:"mathvariant", atval:"script", ttype:UNARY, codes:AMcal},
513
{input:"\\mathfrak",tag:"mstyle",atname:"mathvariant", atval:"fraktur",ttype:UNARY, codes:AMfrk}
514
];
515
516
function compareNames(s1,s2) {
517
  if (s1.input > s2.input) return 1
518
  else return -1;
519
}
520
521
var AMnames = []; //list of input symbols
522
523
function AMinitSymbols() {
524
  AMsymbols.sort(compareNames);
525
  for (i=0; i<AMsymbols.length; i++) AMnames[i] = AMsymbols[i].input;
526
}
527
528
var AMmathml = "http://www.w3.org/1998/Math/MathML";
529
530
function AMcreateElementMathML(t) {
531
  if (isIE) return document.createElement("m:"+t);
532
  else return document.createElementNS(AMmathml,t);
533
}
534
535
function AMcreateMmlNode(t,frag) {
536
//  var node = AMcreateElementMathML(name);
537
  if (isIE) var node = document.createElement("m:"+t);
538
  else var node = document.createElementNS(AMmathml,t);
539
  node.appendChild(frag);
540
  return node;
541
}
542
543
function newcommand(oldstr,newstr) {
544
  AMsymbols = AMsymbols.concat([{input:oldstr, tag:"mo", output:newstr,
545
                                 ttype:DEFINITION}]);
546
}
547
548
function AMremoveCharsAndBlanks(str,n) {
549
//remove n characters and any following blanks
550
  var st;
551
  st = str.slice(n);
552
  for (var i=0; i<st.length && st.charCodeAt(i)<=32; i=i+1);
553
  return st.slice(i);
554
}
555
556
function AMposition(arr, str, n) {
557
// return position >=n where str appears or would be inserted
558
// assumes arr is sorted
559
  if (n==0) {
560
    var h,m;
561
    n = -1;
562
    h = arr.length;
563
    while (n+1<h) {
564
      m = (n+h) >> 1;
565
      if (arr[m]<str) n = m; else h = m;
566
    }
567
    return h;
568
  } else
569
    for (var i=n; i<arr.length && arr[i]<str; i++);
570
  return i; // i=arr.length || arr[i]>=str
571
}
572
573
function AMgetSymbol(str) {
574
//return maximal initial substring of str that appears in names
575
//return null if there is none
576
  var k = 0; //new pos
577
  var j = 0; //old pos
578
  var mk; //match pos
579
  var st;
580
  var tagst;
581
  var match = "";
582
  var more = true;
583
  for (var i=1; i<=str.length && more; i++) {
584
    st = str.slice(0,i); //initial substring of length i
585
    j = k;
586
    k = AMposition(AMnames, st, j);
587
    if (k<AMnames.length && str.slice(0,AMnames[k].length)==AMnames[k]){
588
      match = AMnames[k];
589
      mk = k;
590
      i = match.length;
591
    }
592
    more = k<AMnames.length && str.slice(0,AMnames[k].length)>=AMnames[k];
593
  }
594
  AMpreviousSymbol=AMcurrentSymbol;
595
  if (match!=""){
596
    AMcurrentSymbol=AMsymbols[mk].ttype;
597
    return AMsymbols[mk];
598
  }
599
  AMcurrentSymbol=CONST;
600
  k = 1;
601
  st = str.slice(0,1); //take 1 character
602
  if ("0"<=st && st<="9") tagst = "mn";
603
  else tagst = (("A">st || st>"Z") && ("a">st || st>"z")?"mo":"mi");
604
/*
605
// Commented out by DRW (not fully understood, but probably to do with
606
// use of "/" as an INFIX version of "\\frac", which we don't want):
607
//}
608
//if (st=="-" && AMpreviousSymbol==INFIX) {
609
//  AMcurrentSymbol = INFIX;  //trick "/" into recognizing "-" on second parse
610
//  return {input:st, tag:tagst, output:st, ttype:UNARY, func:true};
611
//}
612
*/
613
  return {input:st, tag:tagst, output:st, ttype:CONST};
614
}
615
616
617
/*Parsing ASCII math expressions with the following grammar
618
v ::= [A-Za-z] | greek letters | numbers | other constant symbols
619
u ::= sqrt | text | bb | other unary symbols for font commands
620
b ::= frac | root | stackrel	binary symbols
621
l ::= { | \left			left brackets
622
r ::= } | \right		right brackets
623
S ::= v | lEr | uS | bSS	Simple expression
624
I ::= S_S | S^S | S_S^S | S	Intermediate expression
625
E ::= IE | I/I			Expression
626
Each terminal symbol is translated into a corresponding mathml node.*/
627
628
var AMpreviousSymbol,AMcurrentSymbol;
629
630
function AMparseSexpr(str) { //parses str and returns [node,tailstr,(node)tag]
631
  var symbol, node, result, result2, i, st,// rightvert = false,
632
    newFrag = document.createDocumentFragment();
633
  str = AMremoveCharsAndBlanks(str,0);
634
  symbol = AMgetSymbol(str);             //either a token or a bracket or empty
635
  if (symbol == null || symbol.ttype == RIGHTBRACKET)
636
    return [null,str,null];
637
  if (symbol.ttype == DEFINITION) {
638
    str = symbol.output+AMremoveCharsAndBlanks(str,symbol.input.length);
639
    symbol = AMgetSymbol(str);
640
    if (symbol == null || symbol.ttype == RIGHTBRACKET)
641
      return [null,str,null];
642
  }
643
  str = AMremoveCharsAndBlanks(str,symbol.input.length);
644
  switch (symbol.ttype) {
645
  case SPACE:
646
    node = AMcreateElementMathML(symbol.tag);
647
    node.setAttribute(symbol.atname,symbol.atval);
648
    return [node,str,symbol.tag];
649
  case UNDEROVER:
650
    if (isIE) {
651
      if (symbol.input.substr(0,4) == "\\big") {   // botch for missing symbols
652
	str = "\\"+symbol.input.substr(4)+str;	   // make \bigcup = \cup etc.
653
	symbol = AMgetSymbol(str);
654
	symbol.ttype = UNDEROVER;
655
	str = AMremoveCharsAndBlanks(str,symbol.input.length);
656
      }
657
    }
658
    return [AMcreateMmlNode(symbol.tag,
659
			document.createTextNode(symbol.output)),str,symbol.tag];
660
  case CONST:
661
    var output = symbol.output;
662
    if (isIE) {
663
      if (symbol.input == "'")
664
	output = "\u2032";
665
      else if (symbol.input == "''")
666
	output = "\u2033";
667
      else if (symbol.input == "'''")
668
	output = "\u2033\u2032";
669
      else if (symbol.input == "''''")
670
	output = "\u2033\u2033";
671
      else if (symbol.input == "\\square")
672
	output = "\u25A1";	// same as \Box
673
      else if (symbol.input.substr(0,5) == "\\frac") {
674
						// botch for missing fractions
675
	var denom = symbol.input.substr(6,1);
676
	if (denom == "5" || denom == "6") {
677
	  str = symbol.input.replace(/\\frac/,"\\frac ")+str;
678
	  return [node,str,symbol.tag];
679
	}
680
      }
681
    }
682
    node = AMcreateMmlNode(symbol.tag,document.createTextNode(output));
683
    return [node,str,symbol.tag];
684
  case LONG:  // added by DRW
685
    node = AMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output));
686
    node.setAttribute("minsize","1.5");
687
    node.setAttribute("maxsize","1.5");
688
    node = AMcreateMmlNode("mover",node);
689
    node.appendChild(AMcreateElementMathML("mspace"));
690
    return [node,str,symbol.tag];
691
  case STRETCHY:  // added by DRW
692
    if (isIE && symbol.input == "\\backslash")
693
	symbol.output = "\\";	// doesn't expand, but then nor does "\u2216"
694
    node = AMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output));
695
    if (symbol.input == "|" || symbol.input == "\\vert" ||
696
	symbol.input == "\\|" || symbol.input == "\\Vert") {
697
	  node.setAttribute("lspace","0em");
698
	  node.setAttribute("rspace","0em");
699
    }
700
    node.setAttribute("maxsize",symbol.atval);  // don't allow to stretch here
701
    if (symbol.rtag != null)
702
      return [node,str,symbol.rtag];
703
    else
704
      return [node,str,symbol.tag];
705
  case BIG:  // added by DRW
706
    var atval = symbol.atval;
707
    if (isIE)
708
      atval = symbol.ieval;
709
    symbol = AMgetSymbol(str);
710
    if (symbol == null)
711
	return [null,str,null];
712
    str = AMremoveCharsAndBlanks(str,symbol.input.length);
713
    node = AMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output));
714
    if (isIE) {		// to get brackets to expand
715
      var space = AMcreateElementMathML("mspace");
716
      space.setAttribute("height",atval+"ex");
717
      node = AMcreateMmlNode("mrow",node);
718
      node.appendChild(space);
719
    } else {		// ignored in IE
720
      node.setAttribute("minsize",atval);
721
      node.setAttribute("maxsize",atval);
722
    }
723
    return [node,str,symbol.tag];
724
  case LEFTBRACKET:   //read (expr+)
725
    if (symbol.input == "\\left") { // left what?
726
      symbol = AMgetSymbol(str);
727
      if (symbol != null) {
728
	if (symbol.input == ".")
729
	  symbol.invisible = true;
730
	str = AMremoveCharsAndBlanks(str,symbol.input.length);
731
      }
732
    }
733
    result = AMparseExpr(str,true,false);
734
    if (symbol==null ||
735
	(typeof symbol.invisible == "boolean" && symbol.invisible))
736
      node = AMcreateMmlNode("mrow",result[0]);
737
    else {
738
      node = AMcreateMmlNode("mo",document.createTextNode(symbol.output));
739
      node = AMcreateMmlNode("mrow",node);
740
      node.appendChild(result[0]);
741
    }
742
    return [node,result[1],result[2]];
743
  case MATRIX:	 //read (expr+)
744
    if (symbol.input == "\\begin{array}") {
745
      var mask = "";
746
      symbol = AMgetSymbol(str);
747
      str = AMremoveCharsAndBlanks(str,0);
748
      if (symbol == null)
749
	mask = "l";
750
      else {
751
	str = AMremoveCharsAndBlanks(str,symbol.input.length);
752
	if (symbol.input != "{")
753
	  mask = "l";
754
	else do {
755
	  symbol = AMgetSymbol(str);
756
	  if (symbol != null) {
757
	    str = AMremoveCharsAndBlanks(str,symbol.input.length);
758
	    if (symbol.input != "}")
759
	      mask = mask+symbol.input;
760
	  }
761
	} while (symbol != null && symbol.input != "" && symbol.input != "}");
762
      }
763
      result = AMparseExpr("{"+str,true,true);
764
//    if (result[0]==null) return [AMcreateMmlNode("mo",
765
//			   document.createTextNode(symbol.input)),str];
766
      node = AMcreateMmlNode("mtable",result[0]);
767
      mask = mask.replace(/l/g,"left ");
768
      mask = mask.replace(/r/g,"right ");
769
      mask = mask.replace(/c/g,"center ");
770
      node.setAttribute("columnalign",mask);
771
      node.setAttribute("displaystyle","false");
772
      if (isIE)
773
	return [node,result[1],null];
774
// trying to get a *little* bit of space around the array
775
// (IE already includes it)
776
      var lspace = AMcreateElementMathML("mspace");
777
      lspace.setAttribute("width","0.167em");
778
      var rspace = AMcreateElementMathML("mspace");
779
      rspace.setAttribute("width","0.167em");
780
      var node1 = AMcreateMmlNode("mrow",lspace);
781
      node1.appendChild(node);
782
      node1.appendChild(rspace);
783
      return [node1,result[1],null];
784
    } else {	// eqnarray
785
      result = AMparseExpr("{"+str,true,true);
786
      node = AMcreateMmlNode("mtable",result[0]);
787
      if (isIE)
788
	node.setAttribute("columnspacing","0.25em"); // best in practice?
789
      else
790
	node.setAttribute("columnspacing","0.167em"); // correct (but ignored?)
791
      node.setAttribute("columnalign","right center left");
792
      node.setAttribute("displaystyle","true");
793
      node = AMcreateMmlNode("mrow",node);
794
      return [node,result[1],null];
795
    }
796
  case TEXT:
797
      if (str.charAt(0)=="{") i=str.indexOf("}");
798
      else i = 0;
799
      if (i==-1)
800
		 i = str.length;
801
      st = str.slice(1,i);
802
      if (st.charAt(0) == " ") {
803
	node = AMcreateElementMathML("mspace");
804
	node.setAttribute("width","0.33em");	// was 1ex
805
	newFrag.appendChild(node);
806
      }
807
      newFrag.appendChild(
808
        AMcreateMmlNode(symbol.tag,document.createTextNode(st)));
809
      if (st.charAt(st.length-1) == " ") {
810
	node = AMcreateElementMathML("mspace");
811
	node.setAttribute("width","0.33em");	// was 1ex
812
	newFrag.appendChild(node);
813
      }
814
      str = AMremoveCharsAndBlanks(str,i+1);
815
      return [AMcreateMmlNode("mrow",newFrag),str,null];
816
  case UNARY:
817
      result = AMparseSexpr(str);
818
      if (result[0]==null) return [AMcreateMmlNode(symbol.tag,
819
                             document.createTextNode(symbol.output)),str];
820
      if (typeof symbol.func == "boolean" && symbol.func) { // functions hack
821
	st = str.charAt(0);
822
//	if (st=="^" || st=="_" || st=="/" || st=="|" || st==",") {
823
	if (st=="^" || st=="_" || st==",") {
824
	  return [AMcreateMmlNode(symbol.tag,
825
		    document.createTextNode(symbol.output)),str,symbol.tag];
826
        } else {
827
	  node = AMcreateMmlNode("mrow",
828
	   AMcreateMmlNode(symbol.tag,document.createTextNode(symbol.output)));
829
	  if (isIE) {
830
	    var space = AMcreateElementMathML("mspace");
831
	    space.setAttribute("width","0.167em");
832
	    node.appendChild(space);
833
	  }
834
	  node.appendChild(result[0]);
835
	  return [node,result[1],symbol.tag];
836
        }
837
      }
838
      if (symbol.input == "\\sqrt") {		// sqrt
839
	if (isIE) {	// set minsize, for \surd
840
	  var space = AMcreateElementMathML("mspace");
841
	  space.setAttribute("height","1.2ex");
842
	  space.setAttribute("width","0em");	// probably no effect
843
	  node = AMcreateMmlNode(symbol.tag,result[0])
844
//	  node.setAttribute("minsize","1");	// ignored
845
//	  node = AMcreateMmlNode("mrow",node);  // hopefully unnecessary
846
	  node.appendChild(space);
847
	  return [node,result[1],symbol.tag];
848
	} else
849
	  return [AMcreateMmlNode(symbol.tag,result[0]),result[1],symbol.tag];
850
      } else if (typeof symbol.acc == "boolean" && symbol.acc) {   // accent
851
        node = AMcreateMmlNode(symbol.tag,result[0]);
852
	var output = symbol.output;
853
	if (isIE) {
854
		if (symbol.input == "\\hat")
855
			output = "\u0302";
856
		else if (symbol.input == "\\widehat")
857
			output = "\u005E";
858
		else if (symbol.input == "\\bar")
859
			output = "\u00AF";
860
		else if (symbol.input == "\\grave")
861
			output = "\u0300";
862
		else if (symbol.input == "\\tilde")
863
			output = "\u0303";
864
	}
865
	var node1 = AMcreateMmlNode("mo",document.createTextNode(output));
866
	if (symbol.input == "\\vec" || symbol.input == "\\check")
867
						// don't allow to stretch
868
	    node1.setAttribute("maxsize","1.2");
869
		 // why doesn't "1" work?  \vec nearly disappears in firefox
870
	if (isIE && symbol.input == "\\bar")
871
	    node1.setAttribute("maxsize","0.5");
872
	if (symbol.input == "\\underbrace" || symbol.input == "\\underline")
873
	  node1.setAttribute("accentunder","true");
874
	else
875
	  node1.setAttribute("accent","true");
876
	node.appendChild(node1);
877
	if (symbol.input == "\\overbrace" || symbol.input == "\\underbrace")
878
	  node.ttype = UNDEROVER;
879
	return [node,result[1],symbol.tag];
880
      } else {			      // font change or displaystyle command
881
        if (!isIE && typeof symbol.codes != "undefined") {
882
          for (i=0; i<result[0].childNodes.length; i++)
883
            if (result[0].childNodes[i].nodeName=="mi" || result[0].nodeName=="mi") {
884
              st = (result[0].nodeName=="mi"?result[0].firstChild.nodeValue:
885
                              result[0].childNodes[i].firstChild.nodeValue);
886
              var newst = [];
887
              for (var j=0; j<st.length; j++)
888
                if (st.charCodeAt(j)>64 && st.charCodeAt(j)<91) newst = newst +
889
                  String.fromCharCode(symbol.codes[st.charCodeAt(j)-65]);
890
                else newst = newst + st.charAt(j);
891
              if (result[0].nodeName=="mi")
892
                result[0]=AMcreateElementMathML("mo").
893
                          appendChild(document.createTextNode(newst));
894
              else result[0].replaceChild(AMcreateElementMathML("mo").
895
          appendChild(document.createTextNode(newst)),result[0].childNodes[i]);
896
            }
897
        }
898
        node = AMcreateMmlNode(symbol.tag,result[0]);
899
        node.setAttribute(symbol.atname,symbol.atval);
900
	if (symbol.input == "\\scriptstyle" ||
901
	    symbol.input == "\\scriptscriptstyle")
902
		node.setAttribute("displaystyle","false");
903
	return [node,result[1],symbol.tag];
904
      }
905
  case BINARY:
906
    result = AMparseSexpr(str);
907
    if (result[0]==null) return [AMcreateMmlNode("mo",
908
			   document.createTextNode(symbol.input)),str,null];
909
    result2 = AMparseSexpr(result[1]);
910
    if (result2[0]==null) return [AMcreateMmlNode("mo",
911
			   document.createTextNode(symbol.input)),str,null];
912
    if (symbol.input=="\\root" || symbol.input=="\\stackrel")
913
      newFrag.appendChild(result2[0]);
914
    newFrag.appendChild(result[0]);
915
    if (symbol.input=="\\frac") newFrag.appendChild(result2[0]);
916
    return [AMcreateMmlNode(symbol.tag,newFrag),result2[1],symbol.tag];
917
  case INFIX:
918
    str = AMremoveCharsAndBlanks(str,symbol.input.length);
919
    return [AMcreateMmlNode("mo",document.createTextNode(symbol.output)),
920
	str,symbol.tag];
921
  default:
922
    return [AMcreateMmlNode(symbol.tag,        //its a constant
923
	document.createTextNode(symbol.output)),str,symbol.tag];
924
  }
925
}
926
927
function AMparseIexpr(str) {
928
  var symbol, sym1, sym2, node, result, tag, underover;
929
  str = AMremoveCharsAndBlanks(str,0);
930
  sym1 = AMgetSymbol(str);
931
  result = AMparseSexpr(str);
932
  node = result[0];
933
  str = result[1];
934
  tag = result[2];
935
  symbol = AMgetSymbol(str);
936
  if (symbol.ttype == INFIX) {
937
    str = AMremoveCharsAndBlanks(str,symbol.input.length);
938
    result = AMparseSexpr(str);
939
    if (result[0] == null) // show box in place of missing argument
940
      result[0] = AMcreateMmlNode("mo",document.createTextNode("\u25A1"));
941
    str = result[1];
942
    tag = result[2];
943
    if (symbol.input == "_" || symbol.input == "^") {
944
      sym2 = AMgetSymbol(str);
945
      tag = null;	// no space between x^2 and a following sin, cos, etc.
946
// This is for \underbrace and \overbrace
947
      underover = ((sym1.ttype == UNDEROVER) || (node.ttype == UNDEROVER));
948
//    underover = (sym1.ttype == UNDEROVER);
949
      if (symbol.input == "_" && sym2.input == "^") {
950
        str = AMremoveCharsAndBlanks(str,sym2.input.length);
951
        var res2 = AMparseSexpr(str);
952
	str = res2[1];
953
	tag = res2[2];  // leave space between x_1^2 and a following sin etc.
954
        node = AMcreateMmlNode((underover?"munderover":"msubsup"),node);
955
        node.appendChild(result[0]);
956
        node.appendChild(res2[0]);
957
      } else if (symbol.input == "_") {
958
	node = AMcreateMmlNode((underover?"munder":"msub"),node);
959
        node.appendChild(result[0]);
960
      } else {
961
	node = AMcreateMmlNode((underover?"mover":"msup"),node);
962
        node.appendChild(result[0]);
963
      }
964
      node = AMcreateMmlNode("mrow",node); // so sum does not stretch
965
    } else {
966
      node = AMcreateMmlNode(symbol.tag,node);
967
      if (symbol.input == "\\atop" || symbol.input == "\\choose")
968
	node.setAttribute("linethickness","0ex");
969
      node.appendChild(result[0]);
970
      if (symbol.input == "\\choose")
971
	node = AMcreateMmlNode("mfenced",node);
972
    }
973
  }
974
  return [node,str,tag];
975
}
976
977
function AMparseExpr(str,rightbracket,matrix) {
978
  var symbol, node, result, i, tag,
979
  newFrag = document.createDocumentFragment();
980
  do {
981
    str = AMremoveCharsAndBlanks(str,0);
982
    result = AMparseIexpr(str);
983
    node = result[0];
984
    str = result[1];
985
    tag = result[2];
986
    symbol = AMgetSymbol(str);
987
    if (node!=undefined) {
988
      if ((tag == "mn" || tag == "mi") && symbol!=null &&
989
	typeof symbol.func == "boolean" && symbol.func) {
990
			// Add space before \sin in 2\sin x or x\sin x
991
	  var space = AMcreateElementMathML("mspace");
992
	  space.setAttribute("width","0.167em");
993
	  node = AMcreateMmlNode("mrow",node);
994
	  node.appendChild(space);
995
      }
996
      newFrag.appendChild(node);
997
    }
998
  } while ((symbol.ttype != RIGHTBRACKET)
999
        && symbol!=null && symbol.output!="");
1000
  tag = null;
1001
  if (symbol.ttype == RIGHTBRACKET) {
1002
    if (symbol.input == "\\right") { // right what?
1003
      str = AMremoveCharsAndBlanks(str,symbol.input.length);
1004
      symbol = AMgetSymbol(str);
1005
      if (symbol != null && symbol.input == ".")
1006
	symbol.invisible = true;
1007
      if (symbol != null)
1008
	tag = symbol.rtag;
1009
    }
1010
    if (symbol!=null)
1011
      str = AMremoveCharsAndBlanks(str,symbol.input.length); // ready to return
1012
    var len = newFrag.childNodes.length;
1013
    if (matrix &&
1014
      len>0 && newFrag.childNodes[len-1].nodeName == "mrow" && len>1 &&
1015
      newFrag.childNodes[len-2].nodeName == "mo" &&
1016
      newFrag.childNodes[len-2].firstChild.nodeValue == "&") { //matrix
1017
	var pos = []; // positions of ampersands
1018
        var m = newFrag.childNodes.length;
1019
        for (i=0; matrix && i<m; i=i+2) {
1020
          pos[i] = [];
1021
          node = newFrag.childNodes[i];
1022
	  for (var j=0; j<node.childNodes.length; j++)
1023
	    if (node.childNodes[j].firstChild.nodeValue=="&")
1024
	      pos[i][pos[i].length]=j;
1025
        }
1026
	var row, frag, n, k, table = document.createDocumentFragment();
1027
	for (i=0; i<m; i=i+2) {
1028
	  row = document.createDocumentFragment();
1029
	  frag = document.createDocumentFragment();
1030
	  node = newFrag.firstChild; // <mrow> -&-&...&-&- </mrow>
1031
	  n = node.childNodes.length;
1032
	  k = 0;
1033
	  for (j=0; j<n; j++) {
1034
	    if (typeof pos[i][k] != "undefined" && j==pos[i][k]){
1035
	      node.removeChild(node.firstChild); //remove &
1036
	      row.appendChild(AMcreateMmlNode("mtd",frag));
1037
	      k++;
1038
	    } else frag.appendChild(node.firstChild);
1039
	  }
1040
	  row.appendChild(AMcreateMmlNode("mtd",frag));
1041
	  if (newFrag.childNodes.length>2) {
1042
	    newFrag.removeChild(newFrag.firstChild); //remove <mrow> </mrow>
1043
	    newFrag.removeChild(newFrag.firstChild); //remove <mo>&</mo>
1044
	  }
1045
	  table.appendChild(AMcreateMmlNode("mtr",row));
1046
	}
1047
	return [table,str];
1048
    }
1049
    if (typeof symbol.invisible != "boolean" || !symbol.invisible) {
1050
      node = AMcreateMmlNode("mo",document.createTextNode(symbol.output));
1051
      newFrag.appendChild(node);
1052
    }
1053
  }
1054
  return [newFrag,str,tag];
1055
}
1056
1057
function AMparseMath(str) {
1058
  var result, node = AMcreateElementMathML("mstyle");
1059
  if (mathcolor != "") node.setAttribute("mathcolor",mathcolor);
1060
  if (mathfontfamily != "") node.setAttribute("fontfamily",mathfontfamily);
1061
  node.appendChild(AMparseExpr(str.replace(/^\s+/g,""),false,false)[0]);
1062
  node = AMcreateMmlNode("math",node);
1063
  if (showasciiformulaonhover)                      //fixed by djhsu so newline
1064
    node.setAttribute("title",str.replace(/\s+/g," "));//does not show in Gecko
1065
  if (mathfontfamily != "" && (isIE || mathfontfamily != "serif")) {
1066
    var fnode = AMcreateElementXHTML("font");
1067
    fnode.setAttribute("face",mathfontfamily);
1068
    fnode.appendChild(node);
1069
    return fnode;
1070
  }
1071
  return node;
1072
}
1073
1074
function AMstrarr2docFrag(arr, linebreaks) {
1075
  var newFrag=document.createDocumentFragment();
1076
  var expr = false;
1077
  for (var i=0; i<arr.length; i++) {
1078
    if (expr) newFrag.appendChild(AMparseMath(arr[i]));
1079
    else {
1080
      var arri = (linebreaks ? arr[i].split("\n\n") : [arr[i]]);
1081
      newFrag.appendChild(AMcreateElementXHTML("span").
1082
      appendChild(document.createTextNode(arri[0])));
1083
      for (var j=1; j<arri.length; j++) {
1084
        newFrag.appendChild(AMcreateElementXHTML("p"));
1085
        newFrag.appendChild(AMcreateElementXHTML("span").
1086
        appendChild(document.createTextNode(arri[j])));
1087
      }
1088
    }
1089
    expr = !expr;
1090
  }
1091
  return newFrag;
1092
}
1093
1094
function AMprocessNodeR(n, linebreaks) {
1095
  var mtch, str, arr, frg, i;
1096
  if (n.childNodes.length == 0) {
1097
   if ((n.nodeType!=8 || linebreaks) &&
1098
    n.parentNode.nodeName!="form" && n.parentNode.nodeName!="FORM" &&
1099
    n.parentNode.nodeName!="textarea" && n.parentNode.nodeName!="TEXTAREA" &&
1100
    n.parentNode.nodeName!="pre" && n.parentNode.nodeName!="PRE") {
1101
    str = n.nodeValue;
1102
    if (!(str == null)) {
1103
      str = str.replace(/\r\n\r\n/g,"\n\n");
1104
      str = str.replace(/\x20+/g," ");
1105
      str = str.replace(/\s*\r\n/g," ");
1106
// DELIMITERS:
1107
      mtch = (str.indexOf("\$")==-1 ? false : true);
1108
      str = str.replace(/([^\\])\$/g,"$1 \$");
1109
      str = str.replace(/^\$/," \$");	// in case \$ at start of string
1110
      arr = str.split(" \$");
1111
      for (i=0; i<arr.length; i++)
1112
	arr[i]=arr[i].replace(/\\\$/g,"\$");
1113
      if (arr.length>1 || mtch) {
1114
        if (checkForMathML) {
1115
          checkForMathML = false;
1116
          var nd = AMisMathMLavailable();
1117
          AMnoMathML = nd != null;
1118
          if (AMnoMathML && notifyIfNoMathML)
1119
            if (alertIfNoMathML)
1120
              alert("To view the ASCIIMathML notation use Internet Explorer 6 +\nMathPlayer (free from www.dessci.com)\n\
1121
                or Firefox/Mozilla/Netscape");
1122
            else AMbody.insertBefore(nd,AMbody.childNodes[0]);
1123
        }
1124
        if (!AMnoMathML) {
1125
          frg = AMstrarr2docFrag(arr,n.nodeType==8);
1126
          var len = frg.childNodes.length;
1127
          n.parentNode.replaceChild(frg,n);
1128
          return len-1;
1129
        } else return 0;
1130
      }
1131
    }
1132
   } else return 0;
1133
  } else if (n.nodeName!="math") {
1134
    for (i=0; i<n.childNodes.length; i++)
1135
      i += AMprocessNodeR(n.childNodes[i], linebreaks);
1136
  }
1137
  return 0;
1138
}
1139
1140
function AMprocessNode(n, linebreaks, spanclassAM) {
1141
  var frag,st;
1142
  if (spanclassAM!=null) {
1143
    frag = document.getElementsByTagName("span")
1144
    for (var i=0;i<frag.length;i++)
1145
      if (frag[i].className == "AM")
1146
        AMprocessNodeR(frag[i],linebreaks);
1147
  } else {
1148
    try {
1149
      st = n.innerHTML;
1150
    } catch(err) {}
1151
// DELIMITERS:
1152
    if (st==null || st.indexOf("\$")!=-1)
1153
      AMprocessNodeR(n,linebreaks);
1154
  }
1155
  if (isIE) { //needed to match size and font of formula to surrounding text
1156
    frag = document.getElementsByTagName('math');
1157
    for (var i=0;i<frag.length;i++) frag[i].update()
1158
  }
1159
}
1160
1161
var AMbody;
1162
var AMnoMathML = false, AMtranslated = false;
1163
1164
function translate(spanclassAM) {
1165
  if (!AMtranslated) { // run this only once
1166
    AMtranslated = true;
1167
    AMinitSymbols();
1168
    AMbody = document.getElementsByTagName("body")[0];
1169
    AMprocessNode(AMbody, false, spanclassAM);
1170
  }
1171
}
1172
1173
if (isIE) { // avoid adding MathPlayer info explicitly to each webpage
1174
  document.write("<object id=\"mathplayer\"\
1175
  classid=\"clsid:32F66A20-7614-11D4-BD11-00104BD3F987\"></object>");
1176
  document.write("<?import namespace=\"m\" implementation=\"#mathplayer\"?>");
1177
}
1178
1179
// GO1.1 Generic onload by Brothercake
1180
// http://www.brothercake.com/
1181
//onload function (replaces the onload="translate()" in the <body> tag)
1182
function generic()
1183
{
1184
  translate();
1185
};
1186
//setup onload function
1187
if(typeof window.addEventListener != 'undefined')
1188
{
1189
  //.. gecko, safari, konqueror and standard
1190
  window.addEventListener('load', generic, false);
1191
}
1192
else if(typeof document.addEventListener != 'undefined')
1193
{
1194
  //.. opera 7
1195
  document.addEventListener('load', generic, false);
1196
}
1197
else if(typeof window.attachEvent != 'undefined')
1198
{
1199
  //.. win/ie
1200
  window.attachEvent('onload', generic);
1201
}
1202
//** remove this condition to degrade older browsers
1203
else
1204
{
1205
  //.. mac/ie5 and anything else that gets this far
1206
  //if there's an existing onload function
1207
  if(typeof window.onload == 'function')
1208
  {
1209
    //store it
1210
    var existing = onload;
1211
    //add new onload handler
1212
    window.onload = function()
1213
    {
1214
      //call existing onload function
1215
      existing();
1216
      //call generic onload function
1217
      generic();
1218
    };
1219
  }
1220
  else
1221
  {
1222
    //setup onload function
1223
    window.onload = generic;
1224
  }
1225
}