lib/symbols

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