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