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 ddddot              decoration none       amsmath
  11 dddot               decoration none       amsmath
  12 ddot                decoration none
  13 dot                 decoration none
  14 grave               decoration none
  15 hat                 decoration none
  16 mathring            decoration none
  17 overbrace           decoration none
  18 overleftarrow       decoration none
  19 overleftrightarrow  decoration none       amsmath
  20 overline            decoration none
  21 overrightarrow      decoration none
  22 tilde               decoration none
  23 underbar            decoration none
  24 underbrace          decoration none
  25 underleftarrow      decoration none       amsmath
  26 underleftrightarrow decoration none       amsmath
  27 underline           decoration none
  28 underrightarrow     decoration none       amsmath
  29 vec                 decoration none
  30 widehat             decoration none
  31 widetilde           decoration none
  32
  33 # dots
  34 dots              dots        none
  35 #Do not load automatically, it redefines some other symbols, and we don't
  36 #have a possibility to turn automatic loading off like for ams
  37 #adots             dots        none        yhmath
  38 adots             dots        none
  39 cdots             dots        none
  40 ddots             dots        none
  41 dotsb             dots        none        amsmath
  42 dotsc             dots        none        amsmath
  43 dotsi             dots        none        amsmath
  44 dotsm             dots        none        amsmath
  45 dotso             dots        none        amsmath
  46 iddots            dots        none        mathdots
  47 ldots             dots        none
  48 vdots             dots        none
  49
  50 # big delimiters
  51 big               big         none
  52 bigl              big         none
  53 bigm              big         none
  54 bigr              big         none
  55 Big               big         none
  56 Bigl              big         none
  57 Bigm              big         none
  58 Bigr              big         none
  59 bigg              big         none
  60 biggl             big         none
  61 biggm             big         none
  62 biggr             big         none
  63 Bigg              big         none
  64 Biggl             big         none
  65 Biggm             big         none
  66 Biggr             big         none
  67 # The following are not standard LaTeX, but defined in the lucida font
  68 # packages. No 'm' versions!
  69 # See lucidabr.dtx for a possible implementation if you want to use these
  70 # with other fonts.
  71 biggg             big         none
  72 bigggl            big         none
  73 bigggr            big         none
  74 Biggg             big         none
  75 Bigggl            big         none
  76 Bigggr            big         none
  77
  78 # font changes
  79 # name           "font"       math/text family  series  shape  color
  80 # mathnormal should stay the first
  81 mathnormal        font        mathmode  inherit  medium   up  math
  82 frak              font        mathmode
  83 mathbb            font        mathmode
  84 mathbf            font        mathmode
  85 mathcal           font        mathmode
  86 mathfrak          font        mathmode
  87 mathit            font        mathmode
  88 mathrm            font        mathmode
  89 mathscr           font        mathmode
  90 mathsf            font        mathmode
  91 mathtt            font        mathmode
  92 textnormal        font        textmode  inherit  medium   up  math
  93 text              font        textmode
  94 textbf            font        textmode
  95 textipa           font        textmode
  96 textit            font        textmode
  97 textmd            font        textmode
  98 textrm            font        textmode
  99 textsc            font        textmode
 100 textsl            font        textmode
 101 textsf            font        textmode
 102 texttt            font        textmode
 103 textup            font        textmode
 104 emph              font        textmode
 105 noun              font        textmode
 106 # ce and cf are provided by the mhchem package
 107 ce                font        forcetext
 108 cf                font        forcetext
 109
 110 # old-style font commands
 111 bf                oldfont     none
 112 cal               oldfont     none
 113 it                oldfont     none
 114 rm                oldfont     none
 115 tt                oldfont     none
 116
 117 # matrix environments
 118 Bmatrix           matrix      none
 119 Vmatrix           matrix      none
 120 bmatrix           matrix      none
 121 matrix            matrix      none
 122 pmatrix           matrix      none
 123 psmatrix          matrix      none
 124 smallmatrix       matrix      none
 125 vmatrix           matrix      none
 126 CD                matrix      none
 127
 128 # split environments with optional valign argument.
 129 # the others (split and alignedat) are hardcoded.
 130 aligned           split       none
 131 gathered          split       none
 132 # from Morten H\o gholm's mathtools.sty:
 133 lgathered         split       none
 134 rgathered         split       none
 135
 136 # references
 137 pageref           ref         none
 138 prettyref         ref         none
 139 refstyle          ref         none
 140 ref               ref         none
 141 vpageref          ref         none
 142 vref              ref         none
 143
 144 # spaces
 145 lyxnegspace       space       none
 146 lyxposspace       space       none
 147 !                 space       none
 148 negthinspace      space       none
 149 negmedspace       space       none
 150 negthickspace     space       none
 151 ,                 space       none
 152 thinspace         space       none
 153 :                 space       none
 154 medspace          space       none
 155 ;                 space       none
 156 thickspace        space       none
 157 enskip            space       none
 158 quad              space       none
 159 qquad             space       none
 160 hspace            space       none
 161
 162 # styles
 163 displaystyle      style       0
 164 textstyle         style       1
 165 scriptstyle       style       2
 166 scriptscriptstyle style       3
 167
 168 # misc
 169 # The commented lines in this block get misparsed as MathSymbolInset because
 170 # createMathInset() does not know them. I don't know if this is old cruft
 171 # or if it is planned to use this in the future. gb 2006-03-13
 172 #begin             begin       none
 173 #right             right       none
 174 underset          underset    none
 175 overset           overset     none
 176 #protect           protect     none
 177 mbox              mbox        forcetext
 178 tag               mbox        forcetext
 179 tag*              mbox        forcetext
 180 #newcommand        newcommand  none
 181 #label             label       none
 182 #left              left        none
 183 #end               end         none
 184
 185
 186 #
 187 # symbols generated from fontmath.ltx
 188 #
 189
 190 #symbol            font   charid   charid-in-fallback-Xsymbol-font
 191 alpha              cmm         174  97 mathord  &alpha;
 192 beta               cmm         175  98 mathord  &beta;
 193 gamma              cmm         176 103 mathord  &gamma;
 194 delta              cmm         177 100 mathord  &delta;
 195 epsilon            cmm         178   0 mathord  &epsi;
 196 zeta               cmm         179 122 mathord  &zeta;
 197 eta                cmm         180 104 mathord  &eta;
 198 theta              cmm         181 113 mathord  &theta;
 199 iota               cmm         182 105 mathord  &iota;
 200 kappa              cmm         183 107 mathord  &kappa;
 201 lambda             cmm         184 108 mathord  &lambda;
 202 mu                 cmm         185 109 mathord  &mu;
 203 nu                 cmm         186 110 mathord  &nu;
 204 xi                 cmm         187 120 mathord  &xi;
 205 pi                 cmm         188 112 mathord  &pi;
 206 rho                cmm         189 114 mathord  &rho;
 207 sigma              cmm         190 115 mathord  &sigma;
 208 tau                cmm         191 116 mathord  &tau;
 209 upsilon            cmm         192 117 mathord  &upsi;
 210 phi                cmm         193 102 mathord  &phi;
 211 chi                cmm         194  99 mathord  &chi;
 212 psi                cmm         195 121 mathord  &psi;
 213 omega              cmm          33 119 mathord  &omega;
 214 varepsilon         cmm          34 101 mathord  &epsiv;
 215 vartheta           cmm          35  74 mathord  &thetav;
 216 varpi              cmm          36 118 mathord  &piv;
 217 varrho             cmm          37   0 mathord  &rhov;
 218 varsigma           cmm          38  86 mathord  &sigmav;
 219 varphi             cmm          39 106 mathord  &phiv;
 220 Gamma              cmr         161  71 mathalpha  &Gamma;
 221 Delta              cmr         162  68 mathalpha  &Delta;
 222 Theta              cmr         163  81 mathalpha  &Theta;
 223 Lambda             cmr         164  76 mathalpha  &Lambda;
 224 Xi                 cmr         165  88 mathalpha  &Xi;
 225 Pi                 cmr         166  80 mathalpha  &Pi;
 226 Sigma              cmr         167  83 mathalpha  &Sigma;
 227 Upsilon            cmr         168 161 mathalpha  &Upsi;
 228 Phi                cmr         169  70 mathalpha  &Phi;
 229 Psi                cmr         170  89 mathalpha  &Psi;
 230 Omega              cmr         173  87 mathalpha  &Omega;
 231 aleph              cmsy         64 192 mathord  &aleph;
 232 imath              cmm         123   0 mathord  &imath;
 233 jmath              cmm         124   0 mathord  &jmath;
 234 ell                cmm          96   0 mathord  &ell;
 235 wp                 cmm         125 195 mathord  &weierp;
 236 Re                 cmsy         60 194 mathord  &real;
 237 Im                 cmsy         61 193 mathord  &image;
 238 partial            cmm          64 182 mathord  &part;
 239 infty              cmsy         49 165 mathord  &infin;
 240 prime              cmsy         48 162 mathord  &prime;
 241 emptyset           cmsy         59   0 mathord  &empty;
 242 nabla              cmsy        114 209 mathord  &nabla;
 243 top                cmsy         62   0 mathord  &top;
 244 bot                cmsy         63  94 mathord  &bottom;
 245 triangle           cmsy         52   0 mathord  &utri;
 246 forall             cmsy         56  34 mathord  &forall;
 247 exists             cmsy         57  36 mathord  &exist;
 248 neg                cmsy         58 216 mathord  &not;
 249 lnot               cmsy         58 216 mathord  &not;
 250 flat               cmm          91   0 mathord  &flat;
 251 natural            cmm          92   0 mathord  &natur;
 252 sharp              cmm          93  35 mathord  &sharp;
 253 clubsuit           cmsy        124 167 mathord  &clubs;
 254 diamondsuit        cmsy        125 168 mathord  &#x2662;
 255 heartsuit          cmsy        126 169 mathord  &#x2661;
 256 spadesuit          cmsy        127 170 mathord  &spades;
 257 # We define lyxnot as mathrel in order to have proper alignment
 258 lyxnot             cmsy         54  47 mathrel  &ssetmn;
 259 iffont cmsy
 260 # 9mu = 0.5em which is the extra space added to relation operators
 261 \def\not{\lyxnot\kern-9mu}
 262 else
 263 \def\not{\kern4mu\lyxnot\kern-19mu}
 264 endif
 265 coprod             cmex         96   0 mathop   &amalg;
 266 bigvee             cmex         87   0 mathop   &xvee;
 267 bigwedge           cmex         86   0 mathop   &xwedge;
 268 biguplus           cmex         85   0 mathop   &xuplus;
 269 bigcap             cmex         84   0 mathop   &xcap;
 270 bigcup             cmex         83   0 mathop   &xcup;
 271 prod               cmex         81 213 mathop   &prod;
 272 sum                cmex         80 229 mathop   &sum;
 273 bigotimes          cmex         78   0 mathop   &xotime;
 274 bigoplus           cmex         76   0 mathop   &xoplus;
 275 bigodot            cmex         74   0 mathop   &xodot;
 276 bigsqcup           cmex         70   0 mathop   &xsqcup;
 277 smallint           cmsy        115   0 mathop   &int;
 278 triangleleft       cmm          47   0 mathbin  &ltri;
 279 triangleright      cmm          46   0 mathbin  &rtri;
 280 bigtriangleup      cmsy         52   0 mathbin  &xutri;
 281 bigtriangledown    cmsy         53   0 mathbin  &xdtri;
 282 wedge              cmsy         94 217 mathbin  &and;
 283 land               cmsy         94 217 mathbin  &xwedge;
 284 vee                cmsy         95 218 mathbin  &or;
 285 lor                cmsy         95 218 mathbin  &xvee;
 286 cap                cmsy         92 199 mathbin  &cap;
 287 cup                cmsy         91 200 mathbin  &cup;
 288 ddagger            cmsy        122   0 mathbin  &Dagger;
 289 dagger             cmsy        121   0 mathbin  &dagger;
 290 sqcap              cmsy        117   0 mathbin  &sqcap;
 291 sqcup              cmsy        116   0 mathbin  &sqcup;
 292 uplus              cmsy         93   0 mathbin  &uplus;
 293 amalg              cmsy        113   0 mathbin  &amalg;
 294 diamond            cmsy        166 224 mathbin  &loz;
 295 bullet             cmsy        178 183 mathbin  &bull;
 296 wr                 cmsy        111   0 mathbin  &wreath;
 297 div                cmsy        165 184 mathbin  &divide;
 298 odot               cmsy        175   0 mathbin  &odot;
 299 oslash             cmsy        174 198 mathbin  &oslash;
 300 otimes             cmsy        173 196 mathbin  &otimes;
 301 ominus             cmsy        170   0 mathbin  &ominus;
 302 oplus              cmsy        169 197 mathbin  &oplus;
 303 mp                 cmsy        168   0 mathbin  &mnplus;
 304 pm                 cmsy        167 177 mathbin  &plusmn;
 305 circ               cmsy        177   0 mathbin  &cir;
 306 bigcirc            cmsy        176   0 mathbin  &xcirc;
 307 setminus           cmsy        110   0 mathbin  &setmn;
 308 cdot               cmsy        162 215 mathbin  &sdot;
 309 ast                cmsy        164   0 mathbin  &lowast;
 310 times              cmsy        163 180 mathbin  &times;
 311 star               cmm          63   0 mathbin  &starf;
 312 propto             cmsy         47 181 mathrel  &vprop;
 313 sqsubseteq         cmsy        118   0 mathrel  &sqsube;
 314 sqsupseteq         cmsy        119   0 mathrel  &sqsupe;
 315 parallel           cmsy        107   0 mathrel  &spar;
 316 mid                cmsy        106 124 mathrel  &smid;
 317 dashv              cmsy         97   0 mathrel  &dashv;
 318 vdash              cmsy         96   0 mathrel  &vdash;
 319 nearrow            cmsy         37   0 mathrel  &nearr;
 320 searrow            cmsy         38   0 mathrel  &searr;
 321 nwarrow            cmsy         45   0 mathrel  &nwarr;
 322 swarrow            cmsy         46   0 mathrel  &swarr;
 323 Leftrightarrow     cmsy         44 219 mathrel  &harr;
 324 Leftarrow          cmsy         40 220 mathrel  &lArr;
 325 Rightarrow         cmsy         41 222 mathrel  &rArr;
 326 leq                cmsy        183 163 mathrel  &le;
 327 le                 cmsy        183 163 mathrel  &le;
 328 geq                cmsy        184 179 mathrel  &ge;
 329 ge                 cmsy        184 179 mathrel  &ge;
 330 succ               cmsy        194   0 mathrel  &sc;
 331 prec               cmsy        193   0 mathrel  &pr;
 332 approx             cmsy        188 187 mathrel  &ap;
 333 succeq             cmsy        186   0 mathrel  &sce;
 334 preceq             cmsy        185   0 mathrel  &pre;
 335 supset             cmsy        190 201 mathrel  &sup;
 336 subset             cmsy        189 204 mathrel  &sub;
 337 supseteq           cmsy        182 202 mathrel  &supe;
 338 subseteq           cmsy        181 205 mathrel  &sube;
 339 in                 cmsy         50 206 mathrel  &isin;
 340 ni                 cmsy         51  39 mathrel  &ni;
 341 owns               cmsy         51  39 mathrel  &ni;
 342 gg                 cmsy        192   0 mathrel  &gt;
 343 ll                 cmsy        191   0 mathrel  &lt;
 344 leftrightarrow     cmsy         36 171 mathrel  &harr;
 345 leftarrow          cmsy        195 172 mathrel  &larr;
 346 gets               cmsy        195 172 mathrel  &larr;
 347 rightarrow         cmsy         33 174 mathrel  &rarr;
 348 to                 cmsy         33 174 mathrel  &rarr;
 349 mapstochar         cmsy         55   0 mathrel  x
 350 sim                cmsy        187 126 mathrel  &sim;
 351 simeq              cmsy         39   0 mathrel  &sime;
 352 perp               cmsy         63   0 mathrel  &perp;
 353 equiv              cmsy        180 186 mathrel  &equiv;
 354 asymp              cmsy        179   0 mathrel  &asymp;
 355 smile              cmm          94   0 mathrel  &smile;
 356 frown              cmm          95   0 mathrel  &frown;
 357 leftharpoonup      cmm          40   0 mathrel  &lharu;
 358 leftharpoondown    cmm          41   0 mathrel  &lhard;
 359 rightharpoonup     cmm          42   0 mathrel  &rharu;
 360 rightharpoondown   cmm          43   0 mathrel  &rhard;
 361 lhook              cmm          44   0 mathrel  x
 362 rhook              cmm          45   0 mathrel  x
 363 ldotp              cmm          58   0 mathpunct  <mo>.</mo>
 364 cdotp              cmsy        162   0 mathpunct  &sdot;
 365 colon              cmr          58  58 mathpunct  &colon;
 366 arrowvert          cmsy        106   0 mathord  &verbar;
 367 Arrowvert          cmsy        107   0 mathord  &par;
 368 Vert               cmsy        107   0 mathord  &par;
 369 |                  cmsy        107   0 mathord  &verbar;
 370 vert               cmsy        106   0 mathord  &verbar;
 371 uparrow            cmsy         34 173 mathrel  &uarr;
 372 downarrow          cmsy         35 175 mathrel  &darr;
 373 updownarrow        cmsy        108   0 mathrel  &varr;
 374 Uparrow            cmsy         42 221 mathrel  &uArr;
 375 Downarrow          cmsy         43 223 mathrel  &dArr;
 376 Updownarrow        cmsy        109   0 mathrel  &vArr;
 377 backslash          cmsy        110   0 mathord  &bsol;
 378 rangle             cmsy        105 241 mathclose  &rang;
 379 langle             cmsy        104 225 mathopen  &lang;
 380 rbrace             cmsy        103   0 mathclose  &rcub;
 381 lbrace             cmsy        102   0 mathopen  &lcub;
 382 rceil              cmsy        101 249 mathclose  &rceil;
 383 lceil              cmsy        100 233 mathopen  &lceil;
 384 rfloor             cmsy         99 251 mathclose  &rfloor;
 385 lfloor             cmsy         98 235 mathopen  &lfloor;
 386 mathparagraph      cmsy        123   0 mathord  &para;
 387 mathsection        cmsy        120   0 mathord  &sect;
 388 mathdollar         cmr          36   0 mathord  &dollar;
 389
 390 # Generated from amsfonts.sty
 391
 392 yen                msa          85   0 mathord  &yen;
 393 checkmark          msa          88   0 mathord  &check;
 394 circledR           msa         114   0 mathord  &reg;
 395 maltese            msa         122   0 mathord  &malt;
 396 ulcorner           msa         112   0 mathopen  &ulcorn;
 397 urcorner           msa         113   0 mathclose  &urcorn;
 398 llcorner           msa         120   0 mathopen  &dlcorn;
 399 lrcorner           msa         121   0 mathclose  &drcorn;
 400 rightleftharpoons  msa         173   0 mathrel  &lrhar;
 401 angle              msa          92 208 mathord  &ang;
 402 hbar               msb         126   0 mathord  &planck;
 403 sqsubset           msa          64   0 mathrel  &sqsub;
 404 sqsupset           msa          65   0 mathrel  &sqsup;
 405 mho                msb         102   0 mathord  &mho;
 406 square             msa         164   0 mathord  &square;
 407 Box                msa         164   0 mathord  &square;
 408 lozenge            msa         167   0 mathord  &loz;
 409 Diamond            msa         167   0 mathord  xdiam;
 410 vartriangleright   msa          66   0 mathrel  &rtri;
 411 vartriangleleft    msa          67   0 mathrel  &ltri;
 412 trianglerighteq    msa          68   0 mathrel  &rtrie;
 413 trianglelefteq     msa          69   0 mathrel  &ltrie;
 414 rightsquigarrow    msa         195   0 mathrel  &rarrw;
 415 # This may not be right, but is the closest I can find.
 416 leadsto            msa         195   0 mathrel  &rarrc;
 417 lhd                msa          67   0 mathbin  &ltri;
 418 unlhd              msa          69   0 mathbin  &ltrie;
 419 rhd                msa          66   0 mathbin  &rtri;
 420 unrhd              msa          68   0 mathbin  &rtrie;
 421
 422 # Generated from amssymb.sty
 423
 424 boxdot             msa         161   0 mathbin  &sdotb;
 425 boxplus            msa         162   0 mathbin  &plusb;
 426 boxtimes           msa         163   0 mathbin  &timesb;
 427 blacksquare        msa         165   0 mathord  &block;
 428 centerdot          msa         166   0 mathbin  &squarf;
 429 blacklozenge       msa         168   0 mathord  &diams;
 430 circlearrowright   msa         169   0 mathrel  &orarr;
 431 circlearrowleft    msa         170   0 mathrel  &olarr;
 432 leftrightharpoons  msa         174   0 mathrel  &lrhar;
 433 boxminus           msa         175   0 mathbin  &minusb;
 434 Vdash              msa         176   0 mathrel  &Vdash;
 435 Vvdash             msa         177   0 mathrel  &Vvdash;
 436 vDash              msa         178   0 mathrel  &vDash;
 437 twoheadrightarrow  msa         179   0 mathrel  &Rarr;
 438 twoheadleftarrow   msa         180   0 mathrel  &Larr;
 439 leftleftarrows     msa         181   0 mathrel  &llarr;
 440 rightrightarrows   msa         182   0 mathrel  &rrarr;
 441 upuparrows         msa         183   0 mathrel  &uuarr;
 442 downdownarrows     msa         184   0 mathrel  &ddarr;
 443 upharpoonright     msa         185   0 mathrel  &uharr;
 444 restriction        msa         185   0 mathrel  &uharr;
 445 downharpoonright   msa         186   0 mathrel  &dharr;
 446 upharpoonleft      msa         187   0 mathrel  &uharl;
 447 downharpoonleft    msa         188   0 mathrel  &dharl;
 448 rightarrowtail     msa         189   0 mathrel  &rarrtl;
 449 leftarrowtail      msa         190   0 mathrel  &larrtl;
 450 leftrightarrows    msa         191   0 mathrel  &lrarr;
 451 rightleftarrows    msa         192   0 mathrel  &rlarr;
 452 Lsh                msa         193   0 mathrel  &lsh;
 453 Rsh                msa         194   0 mathrel  &rsh;
 454 leftrightsquigarrow msa         33   0 mathrel  &harrw;
 455 looparrowleft      msa          34   0 mathrel  &larrlp;
 456 looparrowright     msa          35   0 mathrel  &rarrlp;
 457 circeq             msa          36   0 mathrel  &cire;
 458 succsim            msa          37   0 mathrel  &scsim;
 459 gtrsim             msa          38   0 mathrel  &gsim;
 460 gtrapprox          msa          39   0 mathrel  &gap;
 461 multimap           msa          40   0 mathrel  &mumap;
 462 therefore          msa          41  92 mathrel  &there4;
 463 because            msa          42   0 mathrel  &becaus;
 464 doteqdot           msa          43   0 mathrel  &eDot;
 465 Doteq              msa          43   0 mathrel  &eDot;
 466 triangleq          msa          44   0 mathrel  &trie;
 467 precsim            msa          45   0 mathrel  &prsim;
 468 lesssim            msa          46   0 mathrel  &lsim;
 469 lessapprox         msa          47   0 mathrel  &lap;
 470 eqslantless        msa          48   0 mathrel  &els;
 471 eqslantgtr         msa          49   0 mathrel  &egs;
 472 curlyeqprec        msa          50   0 mathrel  &cuepr;
 473 curlyeqsucc        msa          51   0 mathrel  &cuesc;
 474 preccurlyeq        msa          52   0 mathrel  &prcue;
 475 leqq               msa          53   0 mathrel  &lE;
 476 leqslant           msa          54   0 mathrel  &les;
 477 lessgtr            msa          55   0 mathrel  &lg;
 478 backprime          msa          56   0 mathord  &bprime;
 479 risingdotseq       msa          58   0 mathrel  &erDot;
 480 fallingdotseq      msa          59   0 mathrel  &efDot;
 481 succcurlyeq        msa          60   0 mathrel  &sccue;
 482 geqq               msa          61   0 mathrel  &gE;
 483 geqslant           msa          62   0 mathrel  &ges;
 484 gtrless            msa          63   0 mathrel  &gl;
 485 bigstar            msa          70   0 mathord  &starf;
 486 between            msa          71   0 mathrel  &twixt;
 487 blacktriangledown  msa          72   0 mathord  &dtrif;
 488 blacktriangleright msa          73   0 mathrel  &rtrif;
 489 blacktriangleleft  msa          74   0 mathrel  &ltrif;
 490 vartriangle        msa          77   0 mathrel  &#x25b5;
 491 blacktriangle      msa          78   0 mathord  &utrif;
 492 triangledown       msa          79   0 mathord  &dtri;
 493 eqcirc             msa          80   0 mathrel  &ecir;
 494 lesseqgtr          msa          81   0 mathrel  &leg;
 495 gtreqless          msa          82   0 mathrel  &gel;
 496 lesseqqgtr         msa          83   0 mathrel  &lEg;
 497 gtreqqless         msa          84   0 mathrel  &gEl;
 498 Rrightarrow        msa          86   0 mathrel  &rAarr;
 499 Lleftarrow         msa          87   0 mathrel  &lAarr;
 500 veebar             msa          89   0 mathbin  &veebar;
 501 barwedge           msa          90   0 mathbin  &barwed;
 502 doublebarwedge     msa          91   0 mathbin  &Barwed;
 503 measuredangle      msa          93   0 mathord  &angmsd;
 504 sphericalangle     msa          94   0 mathord  &angsph;
 505 varpropto          msa          95   0 mathrel  &vprop;
 506 smallsmile         msa          96   0 mathrel  &ssmile;
 507 smallfrown         msa          97   0 mathrel  &sfrown;
 508 Subset             msa          98   0 mathrel  &Sub;
 509 Supset             msa          99   0 mathrel  &Sup;
 510 Cup                msa         100   0 mathbin  &Cup;
 511 doublecup          msa         100   0 mathbin  &Cup;
 512 Cap                msa         101   0 mathbin  &Cap;
 513 doublecap          msa         101   0 mathbin  &Cap;
 514 curlywedge         msa         102   0 mathbin  &cuwed;
 515 curlyvee           msa         103   0 mathbin  &cuvee;
 516 leftthreetimes     msa         104   0 mathbin  &lthree;
 517 rightthreetimes    msa         105   0 mathbin  &rthree;
 518 subseteqq          msa         106   0 mathrel  &subE;
 519 supseteqq          msa         107   0 mathrel  &supE;
 520 bumpeq             msa         108   0 mathrel  &bumpe;
 521 Bumpeq             msa         109   0 mathrel  &bump;
 522 lll                msa         110   0 mathrel  &Ll;
 523 llltr              msa         110   0 mathrel  &Ll;
 524 ggg                msa         111   0 mathrel  &Gg;
 525 gggtr              msa         111   0 mathrel  &Gg;
 526 circledS           msa         115   0 mathord  &oS;
 527 pitchfork          msa         116   0 mathrel  &fork;
 528 dotplus            msa         117   0 mathbin  &plusdo;
 529 backsim            msa         118   0 mathrel  &bsim;
 530 backsimeq          msa         119   0 mathrel  &bsime;
 531 complement         msa         123   0 mathord  &comp;
 532 intercal           msa         124   0 mathbin  &intcal;
 533 circledcirc        msa         125   0 mathbin  &ocir;
 534 circledast         msa         126   0 mathbin  &oast;
 535 circleddash        msa         127   0 mathbin  &odash;
 536 lvertneqq          msb         161   0 mathrel  &lvnE;
 537 gvertneqq          msb         162   0 mathrel  &gvnE;
 538 nleq               msb         163   0 mathrel  &nle;
 539 ngeq               msb         164   0 mathrel  &nge;
 540 nless              msb         165   0 mathrel  &nlt;
 541 ngtr               msb         166   0 mathrel  &ngt;
 542 nprec              msb         167   0 mathrel  &npr;
 543 nsucc              msb         168   0 mathrel  &nsc;
 544 lneqq              msb         169   0 mathrel  &lnE;
 545 gneqq              msb         170   0 mathrel  &gnE;
 546 nleqslant          msb         173   0 mathrel  &nles;
 547 ngeqslant          msb         174   0 mathrel  &nges;
 548 lneq               msb         175   0 mathrel  &nle;
 549 gneq               msb         176   0 mathrel  &gne;
 550 npreceq            msb         177   0 mathrel  &nprcue;
 551 nsucceq            msb         178   0 mathrel  &nsccue;
 552 precnsim           msb         179   0 mathrel  &prnsim;
 553 succnsim           msb         180   0 mathrel  &scnsim;
 554 lnsim              msb         181   0 mathrel  &lnsim;
 555 gnsim              msb         182   0 mathrel  &gnsim;
 556 nleqq              msb         183   0 mathrel  &nlE;
 557 ngeqq              msb         184   0 mathrel  &ngE;
 558 precneqq           msb         185   0 mathrel  &prnE;
 559 succneqq           msb         186   0 mathrel  &scnE;
 560 precnapprox        msb         187   0 mathrel  &prnap;
 561 succnapprox        msb         188   0 mathrel  &scnap;
 562 lnapprox           msb         189   0 mathrel  &lnap;
 563 gnapprox           msb         190   0 mathrel  &gnap;
 564 nsim               msb         191   0 mathrel  &nsim;
 565 ncong              msb         192   0 mathrel  &ncong;
 566 diagup             msb         193   0 mathord  &#x2571;
 567 diagdown           msb         194   0 mathord  &#x2572;
 568 varsubsetneq       msb         195   0 mathrel  &vsubne;
 569 varsupsetneq       msb          33   0 mathrel  &vsupne;
 570 nsubseteqq         msb          34   0 mathrel  &nsube;
 571 nsupseteqq         msb          35   0 mathrel  &nsupe;
 572 subsetneqq         msb          36   0 mathrel  &nsubE;
 573 supsetneqq         msb          37   0 mathrel  &nsupE;
 574 varsubsetneqq      msb          38   0 mathrel  &vsubnE;
 575 varsupsetneqq      msb          39   0 mathrel  &vsupnE;
 576 subsetneq          msb          40   0 mathrel  &subne;
 577 supsetneq          msb          41   0 mathrel  &supne;
 578 nsubseteq          msb          42   0 mathrel  &nsube;
 579 nsupseteq          msb          43   0 mathrel  &nsupe;
 580 nparallel          msb          44   0 mathrel  &npar;
 581 nmid               msb          45   0 mathrel  &rnmid;
 582 nshortmid          msb          46   0 mathrel  &nsmid;
 583 nshortparallel     msb          47   0 mathrel  &nspar;
 584 nvdash             msb          48   0 mathrel  &nvdash;
 585 nVdash             msb          49   0 mathrel  &nVdash;
 586 nvDash             msb          50   0 mathrel  &nvDash;
 587 nVDash             msb          51   0 mathrel  &nVDash;
 588 ntrianglerighteq   msb          52   0 mathrel  &nrtrie;
 589 ntrianglelefteq    msb          53   0 mathrel  &nltrie;
 590 ntriangleleft      msb          54   0 mathrel  &nltri;
 591 ntriangleright     msb          55   0 mathrel  &nrtri;
 592 nleftarrow         msb          56   0 mathrel  &nlarr;
 593 nrightarrow        msb          57   0 mathrel  &nrarr;
 594 nLeftarrow         msb          58   0 mathrel  &nlArr;
 595 nRightarrow        msb          59   0 mathrel  &nrArr;
 596 nLeftrightarrow    msb          60   0 mathrel  &nhArr;
 597 nleftrightarrow    msb          61   0 mathrel  &nharr;
 598 divideontimes      msb          62   0 mathbin  &divonx;
 599 varnothing         msb          63   0 mathord  &emptyv;
 600 nexists            msb          64   0 mathord  &nexist;
 601 Finv               msb          96   0 mathord  &#x2132;
 602 Game               msb          97   0 mathord  &#x2141;
 603 eth                msb         103   0 mathord  &#x00F0;
 604 eqsim              msb         104   0 mathrel  &esim;
 605 beth               msb         105   0 mathord  &beth;
 606 gimel              msb         106   0 mathord  &gimel;
 607 daleth             msb         107   0 mathord  &daleth;
 608 lessdot            msb         108   0 mathbin  &ltdot;
 609 gtrdot             msb         109   0 mathbin  &gtdot;
 610 ltimes             msb         110   0 mathbin  &ltimes;
 611 rtimes             msb         111   0 mathbin  &rtimes;
 612 shortmid           msb         112   0 mathrel  &smid;
 613 shortparallel      msb         113   0 mathrel  &spar;
 614 smallsetminus      msb         114   0 mathbin  &ssetmn;
 615 thicksim           msb         115   0 mathrel  &thksim;
 616 thickapprox        msb         116   0 mathrel  &thkap;
 617 approxeq           msb         117   0 mathrel  &ape;
 618 succapprox         msb         118   0 mathrel  &scap;
 619 precapprox         msb         119   0 mathrel  &prap;
 620 curvearrowleft     msb         120   0 mathrel  &cularr;
 621 curvearrowright    msb         121   0 mathrel  &curarr;
 622 digamma            msb         122   0 mathord  &gammad;
 623 varkappa           msb         123   0 mathord  &kappav;
 624 # Note: Other blackboard symbols are in the same unicode range
 625 Bbbk               msb         124   0 mathord  &#x1d55c;
 626 hslash             msb         125   0 mathord  &plankv;
 627 hbar               msb         126   0 mathord  &planck;
 628 backepsilon        msb         127   0 mathrel  &bepsi;
 629
 630 lyxbar             cmsy        161   0 mathord  &mdash;
 631 lyxeq              cmr          61   0 mathord  =
 632 lyxdabar           msa          57   0 mathord  &ndash;
 633 lyxright           msa          75   0 mathord  &rarr;
 634 lyxleft            msa          76   0 mathord  &larr;
 635
 636 male               wasy          26  0 x        &male;
 637 female             wasy          25  0 x        &female;
 638 currency           wasy          27  0 x        &curren;
 639 phone              wasy          7   0 x        &phone;
 640 recorder           wasy          6   0 x        &telrec;
 641 clock              wasy          28  0 x        &clock;
 642 lightning          wasy          18  0 x        &#x2607;
 643 pointer            wasy          9   0 x        x
 644 RIGHTarrow         wasy          17  0 x        &#x25B6;
 645 LEFTarrow          wasy          16  0 x        &#x25C0;
 646 UParrow            wasy          75  0 x        &#x25B2;
 647 DOWNarrow          wasy          76  0 x        &#x25BC;
 648 #AC                 wasy          n0.5pt\wasyfamily\char58\kern0.5pt}}
 649 #HF         {\leavevmode
 650 #   \lower0.9pt\hbox to 0pt{\kern0.5pt\wasyfamily\char58\hss}%
 651 #   \raise0.9pt\hbox{\kern0.5pt\wasyfamily\char58\kern0.5pt}}
 652 #VHF                wasy          64  0 x        x
 653 Square             wasy          50  0 x        &square;
 654 #CheckedBox         wasy          50\hss}\hbox{\wasyfamily\char8  0 x
 655 XBox               wasy          52  0 x        &timesb;
 656 hexagon            wasy          55  0 x        &#x2b21;
 657 pentagon           wasy          68  0 x        &#x2b20;
 658 octagon            wasy          56  0 x        x
 659 varhexagon         wasy          57  0 x        &#x2b21;
 660 hexstar            wasy          65  0 x        &sext;
 661 varhexstar         wasy          66  0 x        &sext;
 662 davidsstar         wasy          67  0 x        &#x2721;
 663 diameter           wasy          31  0 x        &#x2300;
 664 # Unicode is wrong, but a true alternate doesn't seem available.
 665 invdiameter        wasy          21  0 x        &#x2300;
 666 varangle           wasy          30  0 x        &angsph;
 667 wasylozenge        wasy          53  0 x        &#x2311;
 668 kreuz              wasy          54  0 x        &#x2720;
 669 smiley             wasy          44  0 x        &#x263A;
 670 frownie            wasy          47  0 x        &#x2639;
 671 blacksmiley        wasy          45  0 x        &#x263B;
 672 sun                wasy          46  0 x        &#x263C;
 673 checked            wasy          8   0 x        &#x2713;
 674 bell               wasy          10  0 x        &#x237E;
 675 eighthnote         wasy          11  0 x        &#x266E;
 676 quarternote        wasy          12  0 x        &#x2669;
 677 halfnote           wasy          13  0 x        &#x1d15e;
 678 fullnote           wasy          14  0 x        &#x1d15d;
 679 twonotes           wasy          15  0 x        &#x266B;
 680 brokenvert         wasy          124 0 x        &brvbar;
 681 ataribox           wasy          109 0 x        x
 682 wasytherefore      wasy          5   0 x        &there4;
 683 Circle             wasy          35  0 x        &cir;
 684 CIRCLE             wasy          32  0 x        &#x25cF;
 685 Leftcircle         wasy          73  0 x        x
 686 LEFTCIRCLE         wasy          71  0 x        &#x25D6;
 687 Rightcircle        wasy          74  0 x        x
 688 RIGHTCIRCLE        wasy          72  0 x        &#x25D7;
 689 #LEFTcircle {\hbox to 0pt{\wasyfamily\char71\hss}\hbox{\wasyfamily\char35}}
 690 #RIGHTcircle{\hbox to 0pt{\wasyfamily\char72\hss}\hbox{\wasyfamily\char35}}
 691
 692 #
 693 # wasy astronomy
 694 #
 695
 696 vernal             wasy          23  0 x        &#x2648;
 697 ascnode            wasy          19  0 x        &#x260A;
 698 descnode           wasy          20  0 x        &#x260B;
 699 fullmoon           wasy          35  0 x        &circ;
 700 newmoon            wasy          32  0 x        &#x25CF;
 701 leftmoon           wasy          36  0 x        &#x263E;
 702 rightmoon          wasy          37  0 x        &#x263D;
 703 astrosun           cmsy         175  0 mathbin  &#x2609;
 704 mercury            wasy          39  0 x        &#x263F;
 705 venus              wasy          25  0 x        &#x2640;
 706 earth              wasy          38  0 x        &#x2641;
 707 mars               wasy          26  0 x        &#x2642;
 708 jupiter            wasy          88  0 x        &#x2643;
 709 saturn             wasy          89  0 x        &#x2644;
 710 uranus             wasy          90  0 x        &#x2645;
 711 neptune            wasy          91  0 x        &#x2646;
 712 pluto              wasy          92  0 x        &#x2647;
 713
 714 #
 715 # wasy zodiac
 716 #
 717 aries              wasy          23  0 x        &#x2648;
 718 taurus             wasy          93  0 x        &#x2649;
 719 gemini             wasy          94  0 x        &#x264A;
 720 cancer             wasy          95  0 x        &#x264B;
 721 leo                wasy          19  0 x        &#x264C;
 722 virgo              wasy          96  0 x        &#x264D;
 723 libra              wasy          97  0 x        &#x264E;
 724 scorpio            wasy          98  0 x        &#x264F;
 725 sagittarius        wasy          99  0 x        &#x2650;
 726 capricornus        wasy          100 0 x        &#x2651;
 727 aquarius           wasy          101 0 x        &#x2652;
 728 pisces             wasy          102 0 x        &#x2653;
 729 conjunction        wasy          86  0 x        &#x260C;
 730 opposition         wasy          87  0 x        &#x260D;
 731 # APL characters
 732 APLstar            wasy          69  0 x        &#x235F;
 733 APLlog             wasy          22  0 x        x
 734 APLbox             wasy          126 0 x        &#x2395;
 735 APLup              wasy          0   0 x        x
 736 APLdown            wasy          70  0 x        x
 737 APLinput           wasy          125 0 x        x
 738 APLcomment         wasy          127 0 x        x
 739 #APLinv     {{\hbox to 0pt{$\div$\hss}\APLbox}}
 740 APLuparrowbox      wasy         110  0 x        &#x2350;
 741 APLdownarrowbox    wasy         111  0 x        &#x2357;
 742 APLleftarrowbox    wasy         112  0 x        &#x2347;
 743 APLrightarrowbox   wasy         113  0 x        &#x2348;
 744
 745 # math characters
 746 Bowtie             wasy          49  0 x        &#x22C8;
 747 leftturn           wasy          34  0 x        &#x27F2;
 748 rightturn          wasy          33  0 x        &#x27F3;
 749 # diagrams
 750 #photon             wasy          58\char58\char58\char58}}
 751 #gluon              wasy          81\char80\char80\char80%
 752 #char80\char80\char80\char82}}
 753 # special characters
 754 cent               wasy         103   0 x        &#00A2;
 755 permil             wasy         104   0 x        &#x2030;
 756 agemO              wasy          48   0 x        &mho;
 757 thorn              wasy         105   0 x        &#x00FE;
 758 Thorn              wasy         106   0 x        &#x00DE;
 759 openo              wasy         108   0 x        &#x0254;
 760 inve               wasy          85   0 x        &#x0259;
 761
 762 mho               wasy          48    0  mathord &mho;
 763 #Join              wasy          49    0  mathrel x
 764 #Box               wasy          50    0  mathord x
 765 #Diamond           wasy          51    0  mathord x
 766 leadsto            wasy          59    0  mathrel &#x2933;
 767 sqsubset          wasy          60    0  mathrel &sqsub;
 768 sqsupset          wasy          61    0  mathrel &sqsup;
 769 #lhd               wasy           1    0  mathbin x
 770 #unlhd             wasy           2    0  mathbin x
 771 LHD                wasy          16    0  mathbin &#x2C50;
 772 #rhd               wasy           3    0  mathbin x
 773 #unrhd             wasy           4    0  mathbin x
 774 RHD                wasy          17    0  mathbin &#x25B6;
 775 apprle             wasy          62    0  mathrel &lsim;
 776 apprge             wasy          63    0  mathrel &gsim;
 777 wasypropto         wasy          29    0  mathrel &prop;
 778 invneg             wasy          24    0  mathrel &#x2310;
 779 ocircle            wasy          35    0  mathbin &#x229A;
 780 logof              wasy          22    0  mathrel x
 781 varint             wasy         114    0  mathop  &int;
 782 varoint            wasy         117    0  mathop  &int;
 783
 784 # symbols from the mhchem package, all of them are equivalent to a math symbol
 785 # mhchem is not loaded because these commands can only be used inside
 786 # a \ce or a \cf inset
 787
 788 sbond              cmsy        161   0 mathord  x
 789 dbond              cmr          61   0 mathord  x
 790 tbond              cmsy        180 186 mathord  x
 791
 792 # From the esint package:
 793 # We emulate some symbols if the esint10 font is not available.
 794 # It is important that they have the same requirements in both cases,
 795 # otherwise the LaTeX output would depend on the availability of the esint10
 796 # font in the GUI
 797 # Note that we do _not_ require the wasysym package for any integral besides
 798 # \varint and \varoint. The reason is that the integrals of the wasysym
 799 # package do not match the standard \int and \intop. See
 800 # http://bugzilla.lyx.org/show_bug.cgi?id=1942 for details.
 801 # If the wasysym integrals are really wanted then one has to load the package
 802 # manually and disable automatic loading of amsmath and esint.
 803 iffont esint
 804 int                esint        001    0  mathop  &int;  esint
 805 intop              esint        001    0  mathop  &int;  esint
 806 iint               esint        003    0  mathop  &Int;      esintoramsmath
 807 iintop             esint        003    0  mathop  &Int;      esint
 808 iiint              esint        005    0  mathop  &tint;      esintoramsmath
 809
 810 iiintop            esint        005    0  mathop  &tint;      esint
 811 iiiint             esint        007    0  mathop  &qint;      esintoramsmath
 812
 813 iiiintop           esint        007    0  mathop  &qint;      esint
 814 oint               esint        011    0  mathop  &conint;      esint
 815
 816 ointop             esint        011    0  mathop  &conint;      esint
 817 oiint              esint        013    0  mathop  &Conint;      esint
 818 oiintop            esint        013    0  mathop  &Conint;      esint
 819 sqint              esint        015    0  mathop  x      esint
 820 sqintop            esint        015    0  mathop  x      esint
 821 sqiint             esint        017    0  mathop  x      esint
 822 sqiintop           esint        017    0  mathop  x      esint
 823 dotsint            esint        019    0  mathop  &int;&ctdot;&int;      esint
 824 dotsintop          esint        019    0  mathop  &int;&ctdot;&int;      esint
 825 ointctrclockwise   esint        023    0  mathop  &awconint;      esint
 826 ointctrclockwiseop esint        023    0  mathop  &awconint;      esint
 827 ointclockwise      esint        025    0  mathop  &cwconint;      esint
 828 ointclockwiseop    esint        025    0  mathop  &cwconint;      esint
 829 else
 830 int                cmex          82  242  mathop  &int;  esint
 831 intop              cmex          82  242  mathop  &int;  esint
 832 iint               wasy         115    0  mathop  &Int;      esintoramsmath
 833 iintop             wasy         115    0  mathop  &Int      esint
 834 iiint              wasy         116    0  mathop  &tint;      esintoramsmath
 835
 836 iiintop            wasy         116    0  mathop  &tint;      esint
 837 \def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esintoramsmath
 838 \def\iiiintop{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}      esint
 839 \def\dotsint{\int\kern-3mu\cdots\kern-3mu\int}                  esint
 840 \def\dotsintop{\int\kern-3mu\cdots\kern-3mu\int}                esint
 841 oint               cmex          72    0  mathop  &conint;      esint
 842
 843 ointop             cmex          72    0  mathop  &conint;      esint
 844 oiint              wasy         118    0  mathop  &Conint;      esint
 845 oiintop            wasy         118    0  mathop  &Conint;      esint
 846 \def\sqint{\square\kern-17mu\int\kern6mu}                       esint
 847 \def\sqintop{\square\kern-17mu\int\kern6mu}                     esint
 848 \def\sqiint{\square\kern-20mu\iint\kern3mu}                     esint
 849 \def\sqiintop{\square\kern-20mu\iint\kern3mu}                   esint
 850 \def\ointctrclockwise{\circlearrowleft\kern-21mu\int\kern6mu}   esint
 851 \def\ointctrclockwiseop{\circlearrowleft\kern-21mu\int\kern6mu} esint
 852 \def\ointclockwise{\circlearrowright\kern-21mu\int\kern6mu}     esint
 853 \def\ointclockwiseop{\circlearrowright\kern-21mu\int\kern6mu}   esint
 854 endif
 855
 856 varointclockwise   esint        027    0  mathop  &cwconint;      esint
 857 varointclockwiseop esint        027    0  mathop  &cwconint;      esint
 858 varointctrclockwise esint       029    0  mathop  &awconint;      esint
 859 varointctrclockwiseop esint     029    0  mathop  &awconint;      esint
 860 fint               esint        031    0  mathop  &#x2a0f;      esint
 861 fintop             esint        031    0  mathop  &#x2a0f;      esint
 862 varoiint           esint        033    0  mathop  &Conint;      esint
 863 varoiintop         esint        033    0  mathop  &Conint;      esint
 864 landupint          esint        035    0  mathop  x      esint
 865 landupintop        esint        035    0  mathop  x      esint
 866 landdownint        esint        037    0  mathop  x      esint
 867 landdownintop      esint        037    0  mathop  x      esint
 868
 869
 870 # From the amsmath package:
 871 \def\idotsint{\int\kern-3mu\cdots\kern-3mu\int}               amsmath
 872
 873
 874 log                lyxblacktext  0   0 func     x
 875 lg                 lyxblacktext  0   0 func     x
 876 ln                 lyxblacktext  0   0 func     x
 877 lim                lyxblacktext  0   0 funclim  x
 878 limsup             lyxblacktext  0   0 funclim  x
 879 liminf             lyxblacktext  0   0 funclim  x
 880 sin                lyxblacktext  0   0 func     x
 881 arcsin             lyxblacktext  0   0 func     x
 882 sinh               lyxblacktext  0   0 func     x
 883 cos                lyxblacktext  0   0 func     x
 884 arccos             lyxblacktext  0   0 func     x
 885 cosh               lyxblacktext  0   0 func     x
 886 tan                lyxblacktext  0   0 func     x
 887 arctan             lyxblacktext  0   0 func     x
 888 tanh               lyxblacktext  0   0 func     x
 889 cot                lyxblacktext  0   0 func     x
 890 coth               lyxblacktext  0   0 func     x
 891 sec                lyxblacktext  0   0 func     x
 892 csc                lyxblacktext  0   0 func     x
 893 max                lyxblacktext  0   0 funclim  x
 894 min                lyxblacktext  0   0 funclim  x
 895 sup                lyxblacktext  0   0 funclim  x
 896 inf                lyxblacktext  0   0 funclim  x
 897 arg                lyxblacktext  0   0 func     x
 898 ker                lyxblacktext  0   0 func     x
 899 dim                lyxblacktext  0   0 func     x
 900 hom                lyxblacktext  0   0 func     x
 901 det                lyxblacktext  0   0 funclim  x
 902 exp                lyxblacktext  0   0 func     x
 903 Pr                 lyxblacktext  0   0 funclim  x
 904 gcd                lyxblacktext  0   0 funclim  x
 905 deg                lyxblacktext  0   0 func     x
 906 bmod               lyxblacktext  0   0 func     x
 907 pmod               lyxblacktext  0   0 func     x
 908
 909
 910
 911 #
 912 # pre-defined macros
 913 #
 914
 915 \def\neq{\not=}
 916 \def\ne{\not=}
 917 \def\notin{\not\in}
 918 \def\slash{/}
 919
 920 \def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow}
 921 \def\Longleftrightarrow{\Leftarrow\kern-12.5mu\Rightarrow}
 922 \def\iff{\Leftarrow\kern-12.5mu\Rightarrow}
 923 \def\doteq{\stackrel{\cdot}{=}}
 924
 925 iffont cmsy
 926 \def\longrightarrow{\lyxbar\kern-11mu\rightarrow}
 927 \def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
 928 \def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
 929 \def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
 930 \def\implies{\Longrightarrow}                                     amsmath
 931 \def\mapsto{\mapstochar\kern-9mu\rightarrow}
 932 \def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
 933 \def\models{\vert\kern-7mu\lyxeq}
 934 endif
 935 iffont cmm
 936 \def\hookrightarrow{\lhook\kern-12mu\rightarrow}
 937 \def\hookleftarrow{\leftarrow\kern-12mu\rhook}
 938 \def\bowtie{\triangleright\kern-6mu\triangleleft}
 939 endif
 940 iffont msa
 941 \def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
 942 \def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
 943 \def\dasharrow{\dashrightarrow}
 944 endif
 945 iffont msb
 946 \def\Join{\ltimes\kern-18.5mu\rtimes}
 947 endif
 948 # Fixme: latin-1 chars in text file
 949 \def\AA{\AA}{Å}
 950 \def\O{\O}{Ø}
 951
 952 iffont cmsy
 953 # The \sim is placed too high...
 954 \def\cong{\stackrel{_\sim}{=}}
 955 lyxsurd               cmsy        112 0 mathord  &radic;
 956 \def\surd{^\lyxsurd}
 957 \def\textdegree{\kern-1mu^{\circ}\kern-4mu}
 958 else
 959 cong               lyxsymbol             64  0 mathrel  &cong;
 960 surd               lyxsymbol             214 0 mathord  &radic;
 961 textdegree         lyxsymbol             176 0 mathord  &deg;
 962 endif
 963
 964 #"{\hat{}}
 965
 966