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