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