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