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