lib/symbols

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