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