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