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