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