lib/symbols

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