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