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