Lines Matching refs:CONST
93 var CONST = 0, UNARY = 1, BINARY = 2, INFIX = 3, LEFTBRACKET = 4, variable
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},
161 {input:"^^", tag:"mo", output:"\u2227", tex:"wedge", ttype:CONST},
163 {input:"vv", tag:"mo", output:"\u2228", tex:"vee", ttype:CONST},
165 {input:"nn", tag:"mo", output:"\u2229", tex:"cap", ttype:CONST},
167 {input:"uu", tag:"mo", output:"\u222A", tex:"cup", ttype:CONST},
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},
195 {input:"not", tag:"mo", output:"\u00AC", tex:"neg", ttype:CONST},
196 {input:"=>", tag:"mo", output:"\u21D2", tex:"implies", ttype:CONST},
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},
223 {input:"int", tag:"mo", output:"\u222B", tex:null, ttype:CONST},
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},
273 {input:"dim", tag:"mo", output:"dim", tex:null, ttype:CONST},
274 {input:"mod", tag:"mo", output:"mod", tex:null, ttype:CONST},
277 {input:"lub", tag:"mo", output:"lub", tex:null, ttype:CONST},
278 {input:"glb", tag:"mo", output:"glb", tex:null, ttype:CONST},
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},
409 AMcurrentSymbol=CONST;
438 return {input:st, tag:tagst, output:st, ttype:CONST};
480 case CONST: