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