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