2 # things supported by real insets in mathed
15 mathring decoration none
16 overbrace decoration none
17 overleftarrow decoration none
18 overleftrightarrow decoration none
19 overline decoration none
20 overrightarrow decoration none
22 underbar decoration none
23 underbrace decoration none
24 underleftarrow decoration none
25 underleftrightarrow decoration none
26 underline decoration none
27 underrightarrow decoration none
29 widehat decoration none
30 widetilde decoration none
57 # The following are not standard LaTeX, but defined in the lucida font
58 # packages. No 'm' versions!
59 # See lucidabr.dtx for a possible implementation if you want to use these
67 # name "font" math/text family series shape color
68 # mathnormal should stay the first
69 mathnormal font mathmode inherit medium up math
74 mathfrak font mathmode
79 textnormal font textmode inherit medium up math
94 # old-style font commands
101 # matrix environments
108 smallmatrix matrix none
120 lyxnegspace space none
121 lyxposspace space none
123 negmedspace space none
124 negthickspace space none
135 scriptscriptstyle style 3
138 # The commented lines in this block get misparsed as MathSymbolInset because
139 # createMathInset() does not know them. I don't know if this is old cruft
140 # or if it is planned to use this in the future. gb 2006-03-13
143 underset underset none
145 #protect protect none
149 #newcommand newcommand none
156 # symbols generated from fontmath.ltx
159 #symbol font charid charid-in-fallback-Xsymbol-font
160 alpha cmm 174 97 mathord x
161 beta cmm 175 98 mathord x
162 gamma cmm 176 103 mathord x
163 delta cmm 177 100 mathord x
164 epsilon cmm 178 0 mathord x
165 zeta cmm 179 122 mathord x
166 eta cmm 180 104 mathord x
167 theta cmm 181 113 mathord x
168 iota cmm 182 105 mathord x
169 kappa cmm 183 107 mathord x
170 lambda cmm 184 108 mathord x
171 mu cmm 185 109 mathord x
172 nu cmm 186 110 mathord x
173 xi cmm 187 120 mathord x
174 pi cmm 188 112 mathord x
175 rho cmm 189 114 mathord x
176 sigma cmm 190 115 mathord x
177 tau cmm 191 116 mathord x
178 upsilon cmm 192 117 mathord x
179 phi cmm 193 102 mathord x
180 chi cmm 194 99 mathord x
181 psi cmm 195 121 mathord x
182 omega cmm 33 119 mathord x
183 varepsilon cmm 34 101 mathord x
184 vartheta cmm 35 74 mathord x
185 varpi cmm 36 118 mathord x
186 varrho cmm 37 0 mathord x
187 varsigma cmm 38 86 mathord x
188 varphi cmm 39 106 mathord x
189 Gamma cmr 161 71 mathalpha x
190 Delta cmr 162 68 mathalpha x
191 Theta cmr 163 81 mathalpha x
192 Lambda cmr 164 76 mathalpha x
193 Xi cmr 165 88 mathalpha x
194 Pi cmr 166 80 mathalpha x
195 Sigma cmr 167 83 mathalpha x
196 Upsilon cmr 168 161 mathalpha x
197 Phi cmr 169 70 mathalpha x
198 Psi cmr 170 89 mathalpha x
199 Omega cmr 173 87 mathalpha x
200 aleph cmsy 64 192 mathord x
201 imath cmm 123 0 mathord x
202 jmath cmm 124 0 mathord x
203 ell cmm 96 0 mathord x
204 wp cmm 125 195 mathord x
205 Re cmsy 60 194 mathord x
206 Im cmsy 61 193 mathord x
207 partial cmm 64 182 mathord x
208 infty cmsy 49 165 mathord x
209 prime cmsy 48 162 mathord x
210 emptyset cmsy 59 0 mathord x
211 nabla cmsy 114 209 mathord x
212 top cmsy 62 0 mathord x
213 bot cmsy 63 94 mathord x
214 triangle cmsy 52 0 mathord x
215 forall cmsy 56 34 mathord x
216 exists cmsy 57 36 mathord x
217 neg cmsy 58 216 mathord x
218 lnot cmsy 58 216 mathord x
219 flat cmm 91 0 mathord x
220 natural cmm 92 0 mathord x
221 sharp cmm 93 35 mathord x
222 clubsuit cmsy 124 167 mathord x
223 diamondsuit cmsy 125 168 mathord x
224 heartsuit cmsy 126 169 mathord x
225 spadesuit cmsy 127 170 mathord x
226 # We define lyxnot as mathrel in order to have proper alignment
227 lyxnot cmsy 54 47 mathrel x
229 # 9mu = 0.5em which is the extra space added to relation operators
230 \def\not{\lyxnot\kern-9mu}
232 \def\not{\kern4mu\lyxnot\kern-19mu}
234 coprod cmex 96 0 mathop x
235 bigvee cmex 87 0 mathop x
236 bigwedge cmex 86 0 mathop x
237 biguplus cmex 85 0 mathop x
238 bigcap cmex 84 0 mathop x
239 bigcup cmex 83 0 mathop x
240 int cmex 82 242 mathop ∫
241 prod cmex 81 213 mathop x
242 sum cmex 80 229 mathop x
243 bigotimes cmex 78 0 mathop x
244 bigoplus cmex 76 0 mathop x
245 bigodot cmex 74 0 mathop x
246 oint cmex 72 0 mathop x
247 bigsqcup cmex 70 0 mathop x
248 smallint cmsy 115 0 mathop x
249 triangleleft cmm 47 0 mathbin x
250 triangleright cmm 46 0 mathbin x
251 bigtriangleup cmsy 52 0 mathbin x
252 bigtriangledown cmsy 53 0 mathbin x
253 wedge cmsy 94 217 mathbin x
254 land cmsy 94 217 mathbin x
255 vee cmsy 95 218 mathbin x
256 lor cmsy 95 218 mathbin x
257 cap cmsy 92 199 mathbin x
258 cup cmsy 91 200 mathbin x
259 ddagger cmsy 122 0 mathbin x
260 dagger cmsy 121 0 mathbin x
261 sqcap cmsy 117 0 mathbin x
262 sqcup cmsy 116 0 mathbin x
263 uplus cmsy 93 0 mathbin x
264 amalg cmsy 113 0 mathbin x
265 diamond cmsy 166 224 mathbin x
266 bullet cmsy 178 183 mathbin x
267 wr cmsy 111 0 mathbin x
268 div cmsy 165 184 mathbin x
269 odot cmsy 175 0 mathbin x
270 oslash cmsy 174 198 mathbin x
271 otimes cmsy 173 196 mathbin x
272 ominus cmsy 170 0 mathbin x
273 oplus cmsy 169 197 mathbin x
274 mp cmsy 168 0 mathbin x
275 pm cmsy 167 177 mathbin x
276 circ cmsy 177 0 mathbin x
277 bigcirc cmsy 176 0 mathbin x
278 setminus cmsy 110 0 mathbin x
279 cdot cmsy 162 215 mathbin x
280 ast cmsy 164 0 mathbin x
281 times cmsy 163 180 mathbin x
282 star cmm 63 0 mathbin x
283 propto cmsy 47 181 mathrel x
284 sqsubseteq cmsy 118 0 mathrel x
285 sqsupseteq cmsy 119 0 mathrel x
286 parallel cmsy 107 0 mathrel x
287 mid cmsy 106 124 mathrel x
288 dashv cmsy 97 0 mathrel x
289 vdash cmsy 96 0 mathrel x
290 nearrow cmsy 37 0 mathrel x
291 searrow cmsy 38 0 mathrel x
292 nwarrow cmsy 45 0 mathrel x
293 swarrow cmsy 46 0 mathrel x
294 Leftrightarrow cmsy 44 219 mathrel x
295 Leftarrow cmsy 40 220 mathrel x
296 Rightarrow cmsy 41 222 mathrel x
297 leq cmsy 183 163 mathrel x
298 le cmsy 183 163 mathrel x
299 geq cmsy 184 179 mathrel x
300 ge cmsy 184 179 mathrel x
301 succ cmsy 194 0 mathrel x
302 prec cmsy 193 0 mathrel x
303 approx cmsy 188 187 mathrel x
304 succeq cmsy 186 0 mathrel x
305 preceq cmsy 185 0 mathrel x
306 supset cmsy 190 201 mathrel x
307 subset cmsy 189 204 mathrel x
308 supseteq cmsy 182 202 mathrel x
309 subseteq cmsy 181 205 mathrel x
310 in cmsy 50 206 mathrel x
311 ni cmsy 51 39 mathrel x
312 owns cmsy 51 39 mathrel x
313 gg cmsy 192 0 mathrel x
314 ll cmsy 191 0 mathrel x
315 leftrightarrow cmsy 36 171 mathrel x
316 leftarrow cmsy 195 172 mathrel x
317 gets cmsy 195 172 mathrel x
318 rightarrow cmsy 33 174 mathrel x
319 to cmsy 33 174 mathrel x
320 mapstochar cmsy 55 0 mathrel x
321 sim cmsy 187 126 mathrel x
322 simeq cmsy 39 0 mathrel x
323 perp cmsy 63 0 mathrel x
324 equiv cmsy 180 186 mathrel x
325 asymp cmsy 179 0 mathrel x
326 smile cmm 94 0 mathrel x
327 frown cmm 95 0 mathrel x
328 leftharpoonup cmm 40 0 mathrel x
329 leftharpoondown cmm 41 0 mathrel x
330 rightharpoonup cmm 42 0 mathrel x
331 rightharpoondown cmm 43 0 mathrel x
332 lhook cmm 44 0 mathrel x
333 rhook cmm 45 0 mathrel x
334 ldotp cmm 58 0 mathpunct x
335 cdotp cmsy 162 0 mathpunct x
336 colon cmr 58 58 mathpunct x
337 arrowvert cmsy 106 0 mathord x
338 Arrowvert cmsy 107 0 mathord x
339 Vert cmsy 107 0 mathord x
340 | cmsy 107 0 mathord x
341 vert cmsy 106 0 mathord x
342 uparrow cmsy 34 173 mathrel x
343 downarrow cmsy 35 175 mathrel x
344 updownarrow cmsy 108 0 mathrel x
345 Uparrow cmsy 42 221 mathrel x
346 Downarrow cmsy 43 223 mathrel x
347 Updownarrow cmsy 109 0 mathrel x
348 backslash cmsy 110 0 mathord x
349 rangle cmsy 105 241 mathclose x
350 langle cmsy 104 225 mathopen x
351 rbrace cmsy 103 0 mathclose x
352 lbrace cmsy 102 0 mathopen x
353 rceil cmsy 101 249 mathclose x
354 lceil cmsy 100 233 mathopen x
355 rfloor cmsy 99 251 mathclose x
356 lfloor cmsy 98 235 mathopen x
357 mathparagraph cmsy 123 0 mathord x
358 mathsection cmsy 120 0 mathord x
359 mathdollar cmr 36 0 mathord x
361 # Generated from amsfonts.sty
363 yen msa 85 0 mathord x
364 checkmark msa 88 0 mathord x
365 circledR msa 114 0 mathord x
366 maltese msa 122 0 mathord x
367 ulcorner msa 112 0 mathopen x
368 urcorner msa 113 0 mathclose x
369 llcorner msa 120 0 mathopen x
370 lrcorner msa 121 0 mathclose x
371 rightleftharpoons msa 173 0 mathrel x
372 angle msa 92 208 mathord x
373 hbar msb 126 0 mathord x
374 sqsubset msa 64 0 mathrel x
375 sqsupset msa 65 0 mathrel x
376 mho msb 102 0 mathord x
377 square msa 164 0 mathord x
378 Box msa 164 0 mathord x
379 lozenge msa 167 0 mathord x
380 Diamond msa 167 0 mathord x
381 vartriangleright msa 66 0 mathrel x
382 vartriangleleft msa 67 0 mathrel x
383 trianglerighteq msa 68 0 mathrel x
384 trianglelefteq msa 69 0 mathrel x
385 rightsquigarrow msa 195 0 mathrel x
386 leadsto msa 195 0 mathrel x
387 lhd msa 67 0 mathbin x
388 unlhd msa 69 0 mathbin x
389 rhd msa 66 0 mathbin x
390 unrhd msa 68 0 mathbin x
392 # Generated from amssymb.sty
394 boxdot msa 161 0 mathbin x
395 boxplus msa 162 0 mathbin x
396 boxtimes msa 163 0 mathbin x
397 blacksquare msa 165 0 mathord x
398 centerdot msa 166 0 mathbin x
399 blacklozenge msa 168 0 mathord x
400 circlearrowright msa 169 0 mathrel x
401 circlearrowleft msa 170 0 mathrel x
402 leftrightharpoons msa 174 0 mathrel x
403 boxminus msa 175 0 mathbin x
404 Vdash msa 176 0 mathrel x
405 Vvdash msa 177 0 mathrel x
406 vDash msa 178 0 mathrel x
407 twoheadrightarrow msa 179 0 mathrel x
408 twoheadleftarrow msa 180 0 mathrel x
409 leftleftarrows msa 181 0 mathrel x
410 rightrightarrows msa 182 0 mathrel x
411 upuparrows msa 183 0 mathrel x
412 downdownarrows msa 184 0 mathrel x
413 upharpoonright msa 185 0 mathrel x
414 restriction msa 185 0 mathrel x
415 downharpoonright msa 186 0 mathrel x
416 upharpoonleft msa 187 0 mathrel x
417 downharpoonleft msa 188 0 mathrel x
418 rightarrowtail msa 189 0 mathrel x
419 leftarrowtail msa 190 0 mathrel x
420 leftrightarrows msa 191 0 mathrel x
421 rightleftarrows msa 192 0 mathrel x
422 Lsh msa 193 0 mathrel x
423 Rsh msa 194 0 mathrel x
424 leftrightsquigarrow msa 33 0 mathrel x
425 looparrowleft msa 34 0 mathrel x
426 looparrowright msa 35 0 mathrel x
427 circeq msa 36 0 mathrel x
428 succsim msa 37 0 mathrel x
429 gtrsim msa 38 0 mathrel x
430 gtrapprox msa 39 0 mathrel x
431 multimap msa 40 0 mathrel x
432 therefore msa 41 92 mathrel x
433 because msa 42 0 mathrel x
434 doteqdot msa 43 0 mathrel x
435 Doteq msa 43 0 mathrel x
436 triangleq msa 44 0 mathrel x
437 precsim msa 45 0 mathrel x
438 lesssim msa 46 0 mathrel x
439 lessapprox msa 47 0 mathrel x
440 eqslantless msa 48 0 mathrel x
441 eqslantgtr msa 49 0 mathrel x
442 curlyeqprec msa 50 0 mathrel x
443 curlyeqsucc msa 51 0 mathrel x
444 preccurlyeq msa 52 0 mathrel x
445 leqq msa 53 0 mathrel x
446 leqslant msa 54 0 mathrel x
447 lessgtr msa 55 0 mathrel x
448 backprime msa 56 0 mathord x
449 risingdotseq msa 58 0 mathrel x
450 fallingdotseq msa 59 0 mathrel x
451 succcurlyeq msa 60 0 mathrel x
452 geqq msa 61 0 mathrel x
453 geqslant msa 62 0 mathrel x
454 gtrless msa 63 0 mathrel x
455 bigstar msa 70 0 mathord x
456 between msa 71 0 mathrel x
457 blacktriangledown msa 72 0 mathord x
458 blacktriangleright msa 73 0 mathrel x
459 blacktriangleleft msa 74 0 mathrel x
460 vartriangle msa 77 0 mathrel x
461 blacktriangle msa 78 0 mathord x
462 triangledown msa 79 0 mathord x
463 eqcirc msa 80 0 mathrel x
464 lesseqgtr msa 81 0 mathrel x
465 gtreqless msa 82 0 mathrel x
466 lesseqqgtr msa 83 0 mathrel x
467 gtreqqless msa 84 0 mathrel x
468 Rrightarrow msa 86 0 mathrel x
469 Lleftarrow msa 87 0 mathrel x
470 veebar msa 89 0 mathbin x
471 barwedge msa 90 0 mathbin x
472 doublebarwedge msa 91 0 mathbin x
473 measuredangle msa 93 0 mathord x
474 sphericalangle msa 94 0 mathord x
475 varpropto msa 95 0 mathrel x
476 smallsmile msa 96 0 mathrel x
477 smallfrown msa 97 0 mathrel x
478 Subset msa 98 0 mathrel x
479 Supset msa 99 0 mathrel x
480 Cup msa 100 0 mathbin x
481 doublecup msa 100 0 mathbin x
482 Cap msa 101 0 mathbin x
483 doublecap msa 101 0 mathbin x
484 curlywedge msa 102 0 mathbin x
485 curlyvee msa 103 0 mathbin x
486 leftthreetimes msa 104 0 mathbin x
487 rightthreetimes msa 105 0 mathbin x
488 subseteqq msa 106 0 mathrel x
489 supseteqq msa 107 0 mathrel x
490 bumpeq msa 108 0 mathrel x
491 Bumpeq msa 109 0 mathrel x
492 lll msa 110 0 mathrel x
493 llltr msa 110 0 mathrel x
494 ggg msa 111 0 mathrel x
495 gggtr msa 111 0 mathrel x
496 circledS msa 115 0 mathord x
497 pitchfork msa 116 0 mathrel x
498 dotplus msa 117 0 mathbin x
499 backsim msa 118 0 mathrel x
500 backsimeq msa 119 0 mathrel x
501 complement msa 123 0 mathord x
502 intercal msa 124 0 mathbin x
503 circledcirc msa 125 0 mathbin x
504 circledast msa 126 0 mathbin x
505 circleddash msa 127 0 mathbin x
506 lvertneqq msb 161 0 mathrel x
507 gvertneqq msb 162 0 mathrel x
508 nleq msb 163 0 mathrel x
509 ngeq msb 164 0 mathrel x
510 nless msb 165 0 mathrel x
511 ngtr msb 166 0 mathrel x
512 nprec msb 167 0 mathrel x
513 nsucc msb 168 0 mathrel x
514 lneqq msb 169 0 mathrel x
515 gneqq msb 170 0 mathrel x
516 nleqslant msb 173 0 mathrel x
517 ngeqslant msb 174 0 mathrel x
518 lneq msb 175 0 mathrel x
519 gneq msb 176 0 mathrel x
520 npreceq msb 177 0 mathrel x
521 nsucceq msb 178 0 mathrel x
522 precnsim msb 179 0 mathrel x
523 succnsim msb 180 0 mathrel x
524 lnsim msb 181 0 mathrel x
525 gnsim msb 182 0 mathrel x
526 nleqq msb 183 0 mathrel x
527 ngeqq msb 184 0 mathrel x
528 precneqq msb 185 0 mathrel x
529 succneqq msb 186 0 mathrel x
530 precnapprox msb 187 0 mathrel x
531 succnapprox msb 188 0 mathrel x
532 lnapprox msb 189 0 mathrel x
533 gnapprox msb 190 0 mathrel x
534 nsim msb 191 0 mathrel x
535 ncong msb 192 0 mathrel x
536 diagup msb 193 0 mathord x
537 diagdown msb 194 0 mathord x
538 varsubsetneq msb 195 0 mathrel x
539 varsupsetneq msb 33 0 mathrel x
540 nsubseteqq msb 34 0 mathrel x
541 nsupseteqq msb 35 0 mathrel x
542 subsetneqq msb 36 0 mathrel x
543 supsetneqq msb 37 0 mathrel x
544 varsubsetneqq msb 38 0 mathrel x
545 varsupsetneqq msb 39 0 mathrel x
546 subsetneq msb 40 0 mathrel x
547 supsetneq msb 41 0 mathrel x
548 nsubseteq msb 42 0 mathrel x
549 nsupseteq msb 43 0 mathrel x
550 nparallel msb 44 0 mathrel x
551 nmid msb 45 0 mathrel x
552 nshortmid msb 46 0 mathrel x
553 nshortparallel msb 47 0 mathrel x
554 nvdash msb 48 0 mathrel x
555 nVdash msb 49 0 mathrel x
556 nvDash msb 50 0 mathrel x
557 nVDash msb 51 0 mathrel x
558 ntrianglerighteq msb 52 0 mathrel x
559 ntrianglelefteq msb 53 0 mathrel x
560 ntriangleleft msb 54 0 mathrel x
561 ntriangleright msb 55 0 mathrel x
562 nleftarrow msb 56 0 mathrel x
563 nrightarrow msb 57 0 mathrel x
564 nLeftarrow msb 58 0 mathrel x
565 nRightarrow msb 59 0 mathrel x
566 nLeftrightarrow msb 60 0 mathrel x
567 nleftrightarrow msb 61 0 mathrel x
568 divideontimes msb 62 0 mathbin x
569 varnothing msb 63 0 mathord x
570 nexists msb 64 0 mathord x
571 Finv msb 96 0 mathord x
572 Game msb 97 0 mathord x
573 eth msb 103 0 mathord x
574 eqsim msb 104 0 mathrel x
575 beth msb 105 0 mathord x
576 gimel msb 106 0 mathord x
577 daleth msb 107 0 mathord x
578 lessdot msb 108 0 mathbin x
579 gtrdot msb 109 0 mathbin x
580 ltimes msb 110 0 mathbin x
581 rtimes msb 111 0 mathbin x
582 shortmid msb 112 0 mathrel x
583 shortparallel msb 113 0 mathrel x
584 smallsetminus msb 114 0 mathbin x
585 thicksim msb 115 0 mathrel x
586 thickapprox msb 116 0 mathrel x
587 approxeq msb 117 0 mathrel x
588 succapprox msb 118 0 mathrel x
589 precapprox msb 119 0 mathrel x
590 curvearrowleft msb 120 0 mathrel x
591 curvearrowright msb 121 0 mathrel x
592 digamma msb 122 0 mathord x
593 varkappa msb 123 0 mathord x
594 Bbbk msb 124 0 mathord x
595 hslash msb 125 0 mathord x
596 hbar msb 126 0 mathord x
597 backepsilon msb 127 0 mathrel x
599 lyxbar cmsy 161 0 mathord x
600 lyxeq cmr 61 0 mathord x
601 lyxdabar msa 57 0 mathord x
602 lyxright msa 75 0 mathord x
603 lyxleft msa 76 0 mathord x
607 currency wasy 27 0 x x
609 recorder wasy 6 0 x x
611 lightning wasy 18 0 x x
613 RIGHTarrow wasy 17 0 x x
614 LEFTarrow wasy 16 0 x x
615 UParrow wasy 75 0 x x
616 DOWNarrow wasy 76 0 x x
617 #AC wasy n0.5pt\wasyfamily\char58\kern0.5pt}}
619 # \lower0.9pt\hbox to 0pt{\kern0.5pt\wasyfamily\char58\hss}%
620 # \raise0.9pt\hbox{\kern0.5pt\wasyfamily\char58\kern0.5pt}}
623 #CheckedBox wasy 50\hss}\hbox{\wasyfamily\char8 0 x
625 hexagon wasy 55 0 x x
626 pentagon wasy 68 0 x x
627 octagon wasy 56 0 x x
628 varhexagon wasy 57 0 x x
629 hexstar wasy 65 0 x x
630 varhexstar wasy 66 0 x x
631 davidsstar wasy 67 0 x x
632 diameter wasy 31 0 x x
633 invdiameter wasy 21 0 x x
634 varangle wasy 30 0 x x
635 wasylozenge wasy 53 0 x x
638 frownie wasy 47 0 x x
639 blacksmiley wasy 45 0 x x
643 eighthnote wasy 11 0 x x
644 quarternote wasy 12 0 x x
645 halfnote wasy 13 0 x x
646 fullnote wasy 14 0 x x
647 twonotes wasy 15 0 x x
648 brokenvert wasy 124 0 x x
649 ataribox wasy 109 0 x x
650 wasytherefore wasy 5 0 x x
653 Leftcircle wasy 73 0 x x
654 LEFTCIRCLE wasy 71 0 x x
655 Rightcircle wasy 74 0 x x
656 RIGHTCIRCLE wasy 72 0 x x
657 #LEFTcircle {\hbox to 0pt{\wasyfamily\char71\hss}\hbox{\wasyfamily\char35}}
658 #RIGHTcircle{\hbox to 0pt{\wasyfamily\char72\hss}\hbox{\wasyfamily\char35}}
665 ascnode wasy 19 0 x x
666 descnode wasy 20 0 x x
667 fullmoon wasy 35 0 x x
668 newmoon wasy 32 0 x x
669 leftmoon wasy 36 0 x x
670 rightmoon wasy 37 0 x x
671 astrosun cmsy 175 0 mathbin x
672 mercury wasy 39 0 x x
676 jupiter wasy 88 0 x x
679 neptune wasy 91 0 x x
692 scorpio wasy 98 0 x x
693 sagittarius wasy 99 0 x x
694 capricornus wasy 100 0 x x
695 aquarius wasy 101 0 x x
696 pisces wasy 102 0 x x
697 conjunction wasy 86 0 x x
698 opposition wasy 87 0 x x
700 APLstar wasy 69 0 x x
702 APLbox wasy 126 0 x x
704 APLdown wasy 70 0 x x
705 APLinput wasy 125 0 x x
706 APLcomment wasy 127 0 x x
707 #APLinv {{\hbox to 0pt{$\div$\hss}\APLbox}}
708 APLuparrowbox wasy 110 0 x x
709 APLdownarrowbox wasy 111 0 x x
710 APLleftarrowbox wasy 112 0 x x
711 APLrightarrowbox wasy 113 0 x x
715 leftturn wasy 34 0 x x
716 rightturn wasy 33 0 x x
718 #photon wasy 58\char58\char58\char58}}
719 #gluon wasy 81\char80\char80\char80%
720 #char80\char80\char80\char82}}
723 permil wasy 104 0 x x
730 #mho wasy 48 0 mathord x
731 #Join wasy 49 0 mathrel x
732 #Box wasy 50 0 mathord x
733 #Diamond wasy 51 0 mathord x
734 leadsto wasy 59 0 mathrel x
735 #sqsubset wasy 60 0 mathrel x
736 #sqsupset wasy 61 0 mathrel x
737 #lhd wasy 1 0 mathbin x
738 #unlhd wasy 2 0 mathbin x
739 LHD wasy 16 0 mathbin x
740 #rhd wasy 3 0 mathbin x
741 #unrhd wasy 4 0 mathbin x
742 RHD wasy 17 0 mathbin x
743 apprle wasy 62 0 mathrel x
744 apprge wasy 63 0 mathrel x
745 wasypropto wasy 29 0 mathrel x
746 invneg wasy 24 0 mathrel x
747 ocircle wasy 35 0 mathbin x
748 logof wasy 22 0 mathrel x
749 varint wasy 114 0 mathop x
750 iint wasy 115 0 mathop x
751 iiint wasy 116 0 mathop x
752 varoint wasy 117 0 mathop x
753 oiint wasy 118 0 mathop x
756 log lyxblacktext 0 0 func x
757 lg lyxblacktext 0 0 func x
758 ln lyxblacktext 0 0 func x
759 lim lyxblacktext 0 0 funclim x
760 limsup lyxblacktext 0 0 funclim x
761 liminf lyxblacktext 0 0 funclim x
762 sin lyxblacktext 0 0 func x
763 arcsin lyxblacktext 0 0 func x
764 sinh lyxblacktext 0 0 func x
765 cos lyxblacktext 0 0 func x
766 arccos lyxblacktext 0 0 func x
767 cosh lyxblacktext 0 0 func x
768 tan lyxblacktext 0 0 func x
769 arctan lyxblacktext 0 0 func x
770 tanh lyxblacktext 0 0 func x
771 cot lyxblacktext 0 0 func x
772 coth lyxblacktext 0 0 func x
773 sec lyxblacktext 0 0 func x
774 csc lyxblacktext 0 0 func x
775 max lyxblacktext 0 0 funclim x
776 min lyxblacktext 0 0 funclim x
777 sup lyxblacktext 0 0 funclim x
778 inf lyxblacktext 0 0 funclim x
779 arg lyxblacktext 0 0 func x
780 ker lyxblacktext 0 0 func x
781 dim lyxblacktext 0 0 func x
782 hom lyxblacktext 0 0 func x
783 det lyxblacktext 0 0 funclim x
784 exp lyxblacktext 0 0 func x
785 Pr lyxblacktext 0 0 funclim x
786 gcd lyxblacktext 0 0 funclim x
787 deg lyxblacktext 0 0 func x
788 bmod lyxblacktext 0 0 func x
790 { mathnormal 0 0 special x
791 } mathnormal 0 0 special x
792 $ mathnormal 0 0 special x
793 % mathnormal 0 0 special x
794 & mathnormal 0 0 special x
795 ## don't remove the space from the beginning of the next line
796 # mathnormal 0 0 special x
809 \def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow}
810 \def\Longleftrightarrow{\Leftarrow\kern-12.5mu\Rightarrow}
811 \def\iff{\Leftarrow\kern-12.5mu\Rightarrow}
812 \def\doteq{\stackrel{\cdot}{=}}
815 \def\longrightarrow{\lyxbar\kern-11mu\rightarrow}
816 \def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
817 \def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
818 \def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
819 \def\implies{\Longrightarrow}
820 \def\mapsto{\mapstochar\kern-9mu\rightarrow}
821 \def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
822 \def\models{\vert\kern-7mu\lyxeq}
825 \def\hookrightarrow{\lhook\kern-12mu\rightarrow}
826 \def\hookleftarrow{\leftarrow\kern-12mu\rhook}
827 \def\bowtie{\triangleright\kern-6mu\triangleleft}
830 \def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
831 \def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
832 \def\dasharrow{\dashrightarrow}
835 \def\Join{\ltimes\kern-18.5mu\rtimes}
837 \def\mathcircumflex{\mbox{\^{}}}{\^}
838 # Fixme: latin-1 chars in text file
843 # The \sim is placed too high...
844 \def\cong{\stackrel{_\sim}{=}}
845 lyxsurd cmsy 112 0 mathord x
847 \def\textdegree{\kern-1mu^{\circ}\kern-4mu}
849 cong lyxsymbol 64 0 mathrel x
850 surd lyxsymbol 214 0 mathord x
851 textdegree lyxsymbol 176 0 mathord x