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