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