97 var AMsqrt = {input:"sqrt", tag:"msqrt", output:"sqrt", tex:null, ttype:UNARY},  property in AMsqrt
98   AMroot  = {input:"root", tag:"mroot", output:"root", tex:null, ttype:BINARY},  property in AMroot
99   AMfrac  = {input:"frac", tag:"mfrac", output:"/",    tex:null, ttype:BINARY},  property in AMfrac
100   AMdiv   = {input:"/",    tag:"mfrac", output:"/",    tex:null, ttype:INFIX},  property in AMdiv
101   AMover  = {input:"stackrel", tag:"mover", output:"stackrel", tex:null, ttype:BINARY},  property in AMover
102   AMsub   = {input:"_",    tag:"msub",  output:"_",    tex:null, ttype:INFIX},  property in AMsub
103   AMsup   = {input:"^",    tag:"msup",  output:"^",    tex:null, ttype:INFIX},  property in AMsup
104   AMtext  = {input:"text", tag:"mtext", output:"text", tex:null, ttype:TEXT},  property in AMtext
105   AMmbox  = {input:"mbox", tag:"mtext", output:"mbox", tex:null, ttype:TEXT},  property in AMmbox
106   AMquote = {input:"\"",   tag:"mtext", output:"mbox", tex:null, ttype:TEXT};  property in AMquote
110 {input:"alpha",  tag:"mi", output:"\u03B1", tex:null, ttype:CONST},
111 {input:"beta",   tag:"mi", output:"\u03B2", tex:null, ttype:CONST},
112 {input:"chi",    tag:"mi", output:"\u03C7", tex:null, ttype:CONST},
113 {input:"delta",  tag:"mi", output:"\u03B4", tex:null, ttype:CONST},
114 {input:"Delta",  tag:"mo", output:"\u0394", tex:null, ttype:CONST},
115 {input:"epsi",   tag:"mi", output:"\u03B5", tex:"epsilon", ttype:CONST},
116 {input:"varepsilon", tag:"mi", output:"\u025B", tex:null, ttype:CONST},
117 {input:"eta",    tag:"mi", output:"\u03B7", tex:null, ttype:CONST},
118 {input:"gamma",  tag:"mi", output:"\u03B3", tex:null, ttype:CONST},
119 {input:"Gamma",  tag:"mo", output:"\u0393", tex:null, ttype:CONST},
120 {input:"iota",   tag:"mi", output:"\u03B9", tex:null, ttype:CONST},
121 {input:"kappa",  tag:"mi", output:"\u03BA", tex:null, ttype:CONST},
122 {input:"lambda", tag:"mi", output:"\u03BB", tex:null, ttype:CONST},
123 {input:"Lambda", tag:"mo", output:"\u039B", tex:null, ttype:CONST},
124 {input:"mu",     tag:"mi", output:"\u03BC", tex:null, ttype:CONST},
125 {input:"nu",     tag:"mi", output:"\u03BD", tex:null, ttype:CONST},
126 {input:"omega",  tag:"mi", output:"\u03C9", tex:null, ttype:CONST},
127 {input:"Omega",  tag:"mo", output:"\u03A9", tex:null, ttype:CONST},
128 {input:"phi",    tag:"mi", output:"\u03C6", tex:null, ttype:CONST},
129 {input:"varphi", tag:"mi", output:"\u03D5", tex:null, ttype:CONST},
130 {input:"Phi",    tag:"mo", output:"\u03A6", tex:null, ttype:CONST},
131 {input:"pi",     tag:"mi", output:"\u03C0", tex:null, ttype:CONST},
132 {input:"Pi",     tag:"mo", output:"\u03A0", tex:null, ttype:CONST},
133 {input:"psi",    tag:"mi", output:"\u03C8", tex:null, ttype:CONST},
134 {input:"Psi",    tag:"mi", output:"\u03A8", tex:null, ttype:CONST},
135 {input:"rho",    tag:"mi", output:"\u03C1", tex:null, ttype:CONST},
136 {input:"sigma",  tag:"mi", output:"\u03C3", tex:null, ttype:CONST},
137 {input:"Sigma",  tag:"mo", output:"\u03A3", tex:null, ttype:CONST},
138 {input:"tau",    tag:"mi", output:"\u03C4", tex:null, ttype:CONST},
139 {input:"theta",  tag:"mi", output:"\u03B8", tex:null, ttype:CONST},
140 {input:"vartheta", tag:"mi", output:"\u03D1", tex:null, ttype:CONST},
141 {input:"Theta",  tag:"mo", output:"\u0398", tex:null, ttype:CONST},
142 {input:"upsilon", tag:"mi", output:"\u03C5", tex:null, ttype:CONST},
143 {input:"xi",     tag:"mi", output:"\u03BE", tex:null, ttype:CONST},
144 {input:"Xi",     tag:"mo", output:"\u039E", tex:null, ttype:CONST},
145 {input:"zeta",   tag:"mi", output:"\u03B6", tex:null, ttype:CONST},
148 {input:"*",  tag:"mo", output:"\u22C5", tex:"cdot", ttype:CONST},
149 {input:"**", tag:"mo", output:"\u22C6", tex:"star", ttype:CONST},
150 {input:"//", tag:"mo", output:"/",      tex:null, ttype:CONST},
151 {input:"\\\\", tag:"mo", output:"\\",   tex:"backslash", ttype:CONST},
152 {input:"setminus", tag:"mo", output:"\\", tex:null, ttype:CONST},
153 {input:"xx", tag:"mo", output:"\u00D7", tex:"times", ttype:CONST},
154 {input:"-:", tag:"mo", output:"\u00F7", tex:"divide", ttype:CONST},
155 {input:"@",  tag:"mo", output:"\u2218", tex:"circ", ttype:CONST},
156 {input:"o+", tag:"mo", output:"\u2295", tex:"oplus", ttype:CONST},
157 {input:"ox", tag:"mo", output:"\u2297", tex:"otimes", ttype:CONST},
158 {input:"o.", tag:"mo", output:"\u2299", tex:"odot", ttype:CONST},
159 {input:"sum", tag:"mo", output:"\u2211", tex:null, ttype:UNDEROVER},
160 {input:"prod", tag:"mo", output:"\u220F", tex:null, ttype:UNDEROVER},
161 {input:"^^",  tag:"mo", output:"\u2227", tex:"wedge", ttype:CONST},
162 {input:"^^^", tag:"mo", output:"\u22C0", tex:"bigwedge", ttype:UNDEROVER},
163 {input:"vv",  tag:"mo", output:"\u2228", tex:"vee", ttype:CONST},
164 {input:"vvv", tag:"mo", output:"\u22C1", tex:"bigvee", ttype:UNDEROVER},
165 {input:"nn",  tag:"mo", output:"\u2229", tex:"cap", ttype:CONST},
166 {input:"nnn", tag:"mo", output:"\u22C2", tex:"bigcap", ttype:UNDEROVER},
167 {input:"uu",  tag:"mo", output:"\u222A", tex:"cup", ttype:CONST},
168 {input:"uuu", tag:"mo", output:"\u22C3", tex:"bigcup", ttype:UNDEROVER},
171 {input:"!=",  tag:"mo", output:"\u2260", tex:"ne", ttype:CONST},
172 {input:":=",  tag:"mo", output:":=",     tex:null, ttype:CONST},
173 {input:"lt",  tag:"mo", output:"<",      tex:null, ttype:CONST},
174 {input:"<=",  tag:"mo", output:"\u2264", tex:"le", ttype:CONST},
175 {input:"lt=", tag:"mo", output:"\u2264", tex:"leq", ttype:CONST},
176 {input:">=",  tag:"mo", output:"\u2265", tex:"ge", ttype:CONST},
177 {input:"geq", tag:"mo", output:"\u2265", tex:null, ttype:CONST},
178 {input:"-<",  tag:"mo", output:"\u227A", tex:"prec", ttype:CONST},
179 {input:"-lt", tag:"mo", output:"\u227A", tex:null, ttype:CONST},
180 {input:">-",  tag:"mo", output:"\u227B", tex:"succ", ttype:CONST},
181 {input:"in",  tag:"mo", output:"\u2208", tex:null, ttype:CONST},
182 {input:"!in", tag:"mo", output:"\u2209", tex:"notin", ttype:CONST},
183 {input:"sub", tag:"mo", output:"\u2282", tex:"subset", ttype:CONST},
184 {input:"sup", tag:"mo", output:"\u2283", tex:"supset", ttype:CONST},
185 {input:"sube", tag:"mo", output:"\u2286", tex:"subseteq", ttype:CONST},
186 {input:"supe", tag:"mo", output:"\u2287", tex:"supseteq", ttype:CONST},
187 {input:"-=",  tag:"mo", output:"\u2261", tex:"equiv", ttype:CONST},
188 {input:"~=",  tag:"mo", output:"\u2245", tex:"cong", ttype:CONST},
189 {input:"~~",  tag:"mo", output:"\u2248", tex:"approx", ttype:CONST},
190 {input:"prop", tag:"mo", output:"\u221D", tex:"propto", ttype:CONST},
193 {input:"and", tag:"mtext", output:"and", tex:null, ttype:SPACE},
194 {input:"or",  tag:"mtext", output:"or",  tex:null, ttype:SPACE},
195 {input:"not", tag:"mo", output:"\u00AC", tex:"neg", ttype:CONST},
196 {input:"=>",  tag:"mo", output:"\u21D2", tex:"implies", ttype:CONST},
197 {input:"if",  tag:"mo", output:"if",     tex:null, ttype:SPACE},
198 {input:"<=>", tag:"mo", output:"\u21D4", tex:"iff", ttype:CONST},
199 {input:"AA",  tag:"mo", output:"\u2200", tex:"forall", ttype:CONST},
200 {input:"EE",  tag:"mo", output:"\u2203", tex:"exists", ttype:CONST},
201 {input:"_|_", tag:"mo", output:"\u22A5", tex:"bot", ttype:CONST},
202 {input:"TT",  tag:"mo", output:"\u22A4", tex:"top", ttype:CONST},
203 {input:"|--",  tag:"mo", output:"\u22A2", tex:"vdash", ttype:CONST},
204 {input:"|==",  tag:"mo", output:"\u22A8", tex:"models", ttype:CONST},
207 {input:"(", tag:"mo", output:"(", tex:null, ttype:LEFTBRACKET},
208 {input:")", tag:"mo", output:")", tex:null, ttype:RIGHTBRACKET},
209 {input:"[", tag:"mo", output:"[", tex:null, ttype:LEFTBRACKET},
210 {input:"]", tag:"mo", output:"]", tex:null, ttype:RIGHTBRACKET},
211 {input:"{", tag:"mo", output:"{", tex:null, ttype:LEFTBRACKET},
212 {input:"}", tag:"mo", output:"}", tex:null, ttype:RIGHTBRACKET},
213 {input:"|", tag:"mo", output:"|", tex:null, ttype:LEFTRIGHT},
215 {input:"(:", tag:"mo", output:"\u2329", tex:"langle", ttype:LEFTBRACKET},
216 {input:":)", tag:"mo", output:"\u232A", tex:"rangle", ttype:RIGHTBRACKET},
217 {input:"<<", tag:"mo", output:"\u2329", tex:null, ttype:LEFTBRACKET},
218 {input:">>", tag:"mo", output:"\u232A", tex:null, ttype:RIGHTBRACKET},
219 {input:"{:", tag:"mo", output:"{:", tex:null, ttype:LEFTBRACKET, invisible:true},
220 {input:":}", tag:"mo", output:":}", tex:null, ttype:RIGHTBRACKET, invisible:true},
223 {input:"int",  tag:"mo", output:"\u222B", tex:null, ttype:CONST},
224 {input:"dx",   tag:"mi", output:"{:d x:}", tex:null, ttype:DEFINITION},
225 {input:"dy",   tag:"mi", output:"{:d y:}", tex:null, ttype:DEFINITION},
226 {input:"dz",   tag:"mi", output:"{:d z:}", tex:null, ttype:DEFINITION},
227 {input:"dt",   tag:"mi", output:"{:d t:}", tex:null, ttype:DEFINITION},
228 {input:"oint", tag:"mo", output:"\u222E", tex:null, ttype:CONST},
229 {input:"del",  tag:"mo", output:"\u2202", tex:"partial", ttype:CONST},
230 {input:"grad", tag:"mo", output:"\u2207", tex:"nabla", ttype:CONST},
231 {input:"+-",   tag:"mo", output:"\u00B1", tex:"pm", ttype:CONST},
232 {input:"O/",   tag:"mo", output:"\u2205", tex:"emptyset", ttype:CONST},
233 {input:"oo",   tag:"mo", output:"\u221E", tex:"infty", ttype:CONST},
234 {input:"aleph", tag:"mo", output:"\u2135", tex:null, ttype:CONST},
235 {input:"...",  tag:"mo", output:"...",    tex:"ldots", ttype:CONST},
236 {input:":.",  tag:"mo", output:"\u2234",  tex:"therefore", ttype:CONST},
237 {input:"/_",  tag:"mo", output:"\u2220",  tex:"angle", ttype:CONST},
238 {input:"\\ ",  tag:"mo", output:"\u00A0", tex:null, ttype:CONST},
239 {input:"quad", tag:"mo", output:"\u00A0\u00A0", tex:null, ttype:CONST},
240 {input:"qquad", tag:"mo", output:"\u00A0\u00A0\u00A0\u00A0", tex:null, ttype:CONST},
241 {input:"cdots", tag:"mo", output:"\u22EF", tex:null, ttype:CONST},
242 {input:"vdots", tag:"mo", output:"\u22EE", tex:null, ttype:CONST},
243 {input:"ddots", tag:"mo", output:"\u22F1", tex:null, ttype:CONST},
244 {input:"diamond", tag:"mo", output:"\u22C4", tex:null, ttype:CONST},
245 {input:"square", tag:"mo", output:"\u25A1", tex:null, ttype:CONST},
246 {input:"|__", tag:"mo", output:"\u230A",  tex:"lfloor", ttype:CONST},
247 {input:"__|", tag:"mo", output:"\u230B",  tex:"rfloor", ttype:CONST},
248 {input:"|~", tag:"mo", output:"\u2308",  tex:"lceiling", ttype:CONST},
249 {input:"~|", tag:"mo", output:"\u2309",  tex:"rceiling", ttype:CONST},
250 {input:"CC",  tag:"mo", output:"\u2102", tex:null, ttype:CONST},
251 {input:"NN",  tag:"mo", output:"\u2115", tex:null, ttype:CONST},
252 {input:"QQ",  tag:"mo", output:"\u211A", tex:null, ttype:CONST},
253 {input:"RR",  tag:"mo", output:"\u211D", tex:null, ttype:CONST},
254 {input:"ZZ",  tag:"mo", output:"\u2124", tex:null, ttype:CONST},
255 {input:"f",   tag:"mi", output:"f",      tex:null, ttype:UNARY, func:true},
256 {input:"g",   tag:"mi", output:"g",      tex:null, ttype:UNARY, func:true},
259 {input:"lim",  tag:"mo", output:"lim", tex:null, ttype:UNDEROVER},
260 {input:"Lim",  tag:"mo", output:"Lim", tex:null, ttype:UNDEROVER},
261 {input:"sin",  tag:"mo", output:"sin", tex:null, ttype:UNARY, func:true},
262 {input:"cos",  tag:"mo", output:"cos", tex:null, ttype:UNARY, func:true},
263 {input:"tan",  tag:"mo", output:"tan", tex:null, ttype:UNARY, func:true},
264 {input:"sinh", tag:"mo", output:"sinh", tex:null, ttype:UNARY, func:true},
265 {input:"cosh", tag:"mo", output:"cosh", tex:null, ttype:UNARY, func:true},
266 {input:"tanh", tag:"mo", output:"tanh", tex:null, ttype:UNARY, func:true},
267 {input:"cot",  tag:"mo", output:"cot", tex:null, ttype:UNARY, func:true},
268 {input:"sec",  tag:"mo", output:"sec", tex:null, ttype:UNARY, func:true},
269 {input:"csc",  tag:"mo", output:"csc", tex:null, ttype:UNARY, func:true},
270 {input:"log",  tag:"mo", output:"log", tex:null, ttype:UNARY, func:true},
271 {input:"ln",   tag:"mo", output:"ln",  tex:null, ttype:UNARY, func:true},
272 {input:"det",  tag:"mo", output:"det", tex:null, ttype:UNARY, func:true},
273 {input:"dim",  tag:"mo", output:"dim", tex:null, ttype:CONST},
274 {input:"mod",  tag:"mo", output:"mod", tex:null, ttype:CONST},
275 {input:"gcd",  tag:"mo", output:"gcd", tex:null, ttype:UNARY, func:true},
276 {input:"lcm",  tag:"mo", output:"lcm", tex:null, ttype:UNARY, func:true},
277 {input:"lub",  tag:"mo", output:"lub", tex:null, ttype:CONST},
278 {input:"glb",  tag:"mo", output:"glb", tex:null, ttype:CONST},
279 {input:"min",  tag:"mo", output:"min", tex:null, ttype:UNDEROVER},
280 {input:"max",  tag:"mo", output:"max", tex:null, ttype:UNDEROVER},
283 {input:"uarr", tag:"mo", output:"\u2191", tex:"uparrow", ttype:CONST},
284 {input:"darr", tag:"mo", output:"\u2193", tex:"downarrow", ttype:CONST},
285 {input:"rarr", tag:"mo", output:"\u2192", tex:"rightarrow", ttype:CONST},
286 {input:"->",   tag:"mo", output:"\u2192", tex:"to", ttype:CONST},
287 {input:"|->",  tag:"mo", output:"\u21A6", tex:"mapsto", ttype:CONST},
288 {input:"larr", tag:"mo", output:"\u2190", tex:"leftarrow", ttype:CONST},
289 {input:"harr", tag:"mo", output:"\u2194", tex:"leftrightarrow", ttype:CONST},
290 {input:"rArr", tag:"mo", output:"\u21D2", tex:"Rightarrow", ttype:CONST},
291 {input:"lArr", tag:"mo", output:"\u21D0", tex:"Leftarrow", ttype:CONST},
292 {input:"hArr", tag:"mo", output:"\u21D4", tex:"Leftrightarrow", ttype:CONST},
296 {input:"hat", tag:"mover", output:"\u005E", tex:null, ttype:UNARY, acc:true},
297 {input:"bar", tag:"mover", output:"\u00AF", tex:"overline", ttype:UNARY, acc:true},
298 {input:"vec", tag:"mover", output:"\u2192", tex:null, ttype:UNARY, acc:true},
299 {input:"dot", tag:"mover", output:".",      tex:null, ttype:UNARY, acc:true},
300 {input:"ddot", tag:"mover", output:"..",    tex:null, ttype:UNARY, acc:true},
301 {input:"ul", tag:"munder", output:"\u0332", tex:"underline", ttype:UNARY, acc:true},
303 {input:"bb", tag:"mstyle", atname:"fontweight", atval:"bold", output:"bb", tex:null, ttype:UNARY},
304 {input:"mathbf", tag:"mstyle", atname:"fontweight", atval:"bold", output:"mathbf", tex:null, ttype:…
305 {input:"sf", tag:"mstyle", atname:"fontfamily", atval:"sans-serif", output:"sf", tex:null, ttype:UN…
306 {input:"mathsf", tag:"mstyle", atname:"fontfamily", atval:"sans-serif", output:"mathsf", tex:null, …
307 {input:"bbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", output:"bbb", tex:null, tt…
308 {input:"mathbb", tag:"mstyle", atname:"mathvariant", atval:"double-struck", output:"mathbb", tex:nu…
309 {input:"cc",  tag:"mstyle", atname:"mathvariant", atval:"script", output:"cc", tex:null, ttype:UNAR…
310 {input:"mathcal", tag:"mstyle", atname:"mathvariant", atval:"script", output:"mathcal", tex:null, t…
311 {input:"tt",  tag:"mstyle", atname:"fontfamily", atval:"monospace", output:"tt", tex:null, ttype:UN…
312 {input:"mathtt", tag:"mstyle", atname:"fontfamily", atval:"monospace", output:"mathtt", tex:null, t…
313 {input:"fr",  tag:"mstyle", atname:"mathvariant", atval:"fraktur", output:"fr", tex:null, ttype:UNA…
314 {input:"mathfrak",  tag:"mstyle", atname:"mathvariant", atval:"fraktur", output:"mathfrak", tex:nul…
327     if (AMsymbols[i].tex) 
328       texsymbols[texsymbols.length] = {input:AMsymbols[i].tex, 
352                                  tex:null, ttype:DEFINITION}]);