]> git.lyx.org Git - lyx.git/blobdiff - lib/symbols
Merge branch 'master' of git.lyx.org:lyx
[lyx.git] / lib / symbols
index 091ef1c9515ff7ccb0d2f336cbd3d3f4e17acc35..691b661222fff9d1d3c8ec8dc11b1af3b352fac6 100644 (file)
@@ -26,6 +26,11 @@ underleftarrow      decoration none       amsmath
 underleftrightarrow decoration none       amsmath
 underline           decoration none
 underrightarrow     decoration none       amsmath
+#Do not load automatically, it redefines some other symbols, and we don't
+#have a possibility to turn automatic loading off like for ams
+#undertilde          decoration none       accents
+undertilde          decoration none
+utilde              decoration none       undertilde
 vec                 decoration none
 widehat             decoration none
 widetilde           decoration none
@@ -43,23 +48,24 @@ dotsc             dots        none        amsmath
 dotsi             dots        none        amsmath
 dotsm             dots        none        amsmath
 dotso             dots        none        amsmath
-#Do not load automatically, since we don't have a possibility to turn
-#automatic loading off like for ams
-#iddots            dots        none        mathdots
-iddots            dots        none
+iddots            dots        none        mathdots
 ldots             dots        none
 vdots             dots        none
 
 # big delimiters
+big               big         none
 bigl              big         none
 bigm              big         none
 bigr              big         none
+Big               big         none
 Bigl              big         none
 Bigm              big         none
 Bigr              big         none
+bigg              big         none
 biggl             big         none
 biggm             big         none
 biggr             big         none
+Bigg              big         none
 Biggl             big         none
 Biggm             big         none
 Biggr             big         none
@@ -67,8 +73,10 @@ Biggr             big         none
 # packages. No 'm' versions!
 # See lucidabr.dtx for a possible implementation if you want to use these
 # with other fonts.
+biggg             big         none
 bigggl            big         none
 bigggr            big         none
+Biggg             big         none
 Bigggl            big         none
 Bigggr            big         none
 
@@ -83,6 +91,7 @@ mathcal           font        mathmode
 mathfrak          font        mathmode
 mathit            font        mathmode
 mathrm            font        mathmode
+mathscr           font        mathmode 
 mathsf            font        mathmode
 mathtt            font        mathmode
 textnormal        font        textmode  inherit  medium   up  math
@@ -132,6 +141,7 @@ rgathered         split       none
 # references
 pageref           ref         none
 prettyref         ref         none
+refstyle          ref         none
 ref               ref         none
 vpageref          ref         none
 vref              ref         none
@@ -150,8 +160,11 @@ medspace          space       none
 ;                 space       none
 thickspace        space       none
 enskip            space       none
+enspace           space       none
 quad              space       none
 qquad             space       none
+hfill             space       none
+hspace*           space       none
 hspace            space       none
 
 # styles
@@ -355,7 +368,7 @@ rightharpoonup     cmm          42   0 mathrel  ⇀
 rightharpoondown   cmm          43   0 mathrel  ⇁
 lhook              cmm          44   0 mathrel  x
 rhook              cmm          45   0 mathrel  x
-ldotp              cmm          58   0 mathpunct  x
+ldotp              cmm          58   0 mathpunct  <mo>.</mo>
 cdotp              cmsy        162   0 mathpunct  &sdot;
 colon              cmr          58  58 mathpunct  &colon;
 arrowvert          cmsy        106   0 mathord  &verbar;
@@ -482,7 +495,7 @@ between            msa          71   0 mathrel  &twixt;
 blacktriangledown  msa          72   0 mathord  &dtrif;
 blacktriangleright msa          73   0 mathrel  &rtrif;
 blacktriangleleft  msa          74   0 mathrel  &ltrif;
-vartriangle        msa          77   0 mathrel  x
+vartriangle        msa          77   0 mathrel  &#x25b5;
 blacktriangle      msa          78   0 mathord  &utrif;
 triangledown       msa          79   0 mathord  &dtri;
 eqcirc             msa          80   0 mathrel  &ecir;
@@ -502,9 +515,9 @@ smallsmile         msa          96   0 mathrel  &ssmile;
 smallfrown         msa          97   0 mathrel  &sfrown;
 Subset             msa          98   0 mathrel  &Sub;
 Supset             msa          99   0 mathrel  &Sup;
-Cup                msa         100   0 mathbin  x
+Cup                msa         100   0 mathbin  &Cup;
 doublecup          msa         100   0 mathbin  &Cup;
-Cap                msa         101   0 mathbin  x
+Cap                msa         101   0 mathbin  &Cap;
 doublecap          msa         101   0 mathbin  &Cap;
 curlywedge         msa         102   0 mathbin  &cuwed;
 curlyvee           msa         103   0 mathbin  &cuvee;
@@ -514,9 +527,9 @@ subseteqq          msa         106   0 mathrel  &subE;
 supseteqq          msa         107   0 mathrel  &supE;
 bumpeq             msa         108   0 mathrel  &bumpe;
 Bumpeq             msa         109   0 mathrel  &bump;
-lll                msa         110   0 mathrel  x
-llltr              msa         110   0 mathrel  x
-ggg                msa         111   0 mathrel  x
+lll                msa         110   0 mathrel  &Ll;
+llltr              msa         110   0 mathrel  &Ll;
+ggg                msa         111   0 mathrel  &Gg;
 gggtr              msa         111   0 mathrel  &Gg;
 circledS           msa         115   0 mathord  &oS;
 pitchfork          msa         116   0 mathrel  &fork;
@@ -528,8 +541,8 @@ intercal           msa         124   0 mathbin  &intcal;
 circledcirc        msa         125   0 mathbin  &ocir;
 circledast         msa         126   0 mathbin  &oast;
 circleddash        msa         127   0 mathbin  &odash;
-lvertneqq          msb         161   0 mathrel  x
-gvertneqq          msb         162   0 mathrel  x
+lvertneqq          msb         161   0 mathrel  &lvnE;
+gvertneqq          msb         162   0 mathrel  &gvnE;
 nleq               msb         163   0 mathrel  &nle;
 ngeq               msb         164   0 mathrel  &nge;
 nless              msb         165   0 mathrel  &nlt;
@@ -538,18 +551,18 @@ nprec              msb         167   0 mathrel  &npr;
 nsucc              msb         168   0 mathrel  &nsc;
 lneqq              msb         169   0 mathrel  &lnE;
 gneqq              msb         170   0 mathrel  &gnE;
-nleqslant          msb         173   0 mathrel  x
-ngeqslant          msb         174   0 mathrel  x
-lneq               msb         175   0 mathrel  &lne;
+nleqslant          msb         173   0 mathrel  &nles;
+ngeqslant          msb         174   0 mathrel  &nges;
+lneq               msb         175   0 mathrel  &nle;
 gneq               msb         176   0 mathrel  &gne;
-npreceq            msb         177   0 mathrel  x
-nsucceq            msb         178   0 mathrel  x
+npreceq            msb         177   0 mathrel  &nprcue;
+nsucceq            msb         178   0 mathrel  &nsccue;
 precnsim           msb         179   0 mathrel  &prnsim;
 succnsim           msb         180   0 mathrel  &scnsim;
 lnsim              msb         181   0 mathrel  &lnsim;
 gnsim              msb         182   0 mathrel  &gnsim;
-nleqq              msb         183   0 mathrel  x
-ngeqq              msb         184   0 mathrel  x
+nleqq              msb         183   0 mathrel  &nlE;
+ngeqq              msb         184   0 mathrel  &ngE;
 precneqq           msb         185   0 mathrel  &prnE;
 succneqq           msb         186   0 mathrel  &scnE;
 precnapprox        msb         187   0 mathrel  &prnap;
@@ -558,16 +571,16 @@ lnapprox           msb         189   0 mathrel  &lnap;
 gnapprox           msb         190   0 mathrel  &gnap;
 nsim               msb         191   0 mathrel  &nsim;
 ncong              msb         192   0 mathrel  &ncong;
-diagup             msb         193   0 mathord  x
-diagdown           msb         194   0 mathord  x
-varsubsetneq       msb         195   0 mathrel  x
-varsupsetneq       msb          33   0 mathrel  x
-nsubseteqq         msb          34   0 mathrel  x
-nsupseteqq         msb          35   0 mathrel  x
-subsetneqq         msb          36   0 mathrel  &subnE;
-supsetneqq         msb          37   0 mathrel  &supnE;
-varsubsetneqq      msb          38   0 mathrel  x
-varsupsetneqq      msb          39   0 mathrel  x
+diagup             msb         193   0 mathord  &#x2571;
+diagdown           msb         194   0 mathord  &#x2572;
+varsubsetneq       msb         195   0 mathrel  &vsubne;
+varsupsetneq       msb          33   0 mathrel  &vsupne;
+nsubseteqq         msb          34   0 mathrel  &nsube;
+nsupseteqq         msb          35   0 mathrel  &nsupe;
+subsetneqq         msb          36   0 mathrel  &nsubE;
+supsetneqq         msb          37   0 mathrel  &nsupE;
+varsubsetneqq      msb          38   0 mathrel  &vsubnE;
+varsupsetneqq      msb          39   0 mathrel  &vsupnE;
 subsetneq          msb          40   0 mathrel  &subne;
 supsetneq          msb          41   0 mathrel  &supne;
 nsubseteq          msb          42   0 mathrel  &nsube;
@@ -593,10 +606,10 @@ nleftrightarrow    msb          61   0 mathrel  &nharr;
 divideontimes      msb          62   0 mathbin  &divonx;
 varnothing         msb          63   0 mathord  &emptyv;
 nexists            msb          64   0 mathord  &nexist;
-Finv               msb          96   0 mathord  x
-Game               msb          97   0 mathord  x
-eth                msb         103   0 mathord  x
-eqsim              msb         104   0 mathrel  x
+Finv               msb          96   0 mathord  &#x2132;
+Game               msb          97   0 mathord  &#x2141;
+eth                msb         103   0 mathord  &#x00F0;
+eqsim              msb         104   0 mathrel  &esim;
 beth               msb         105   0 mathord  &beth;
 gimel              msb         106   0 mathord  &gimel;
 daleth             msb         107   0 mathord  &daleth;
@@ -616,163 +629,179 @@ curvearrowleft     msb         120   0 mathrel  &cularr;
 curvearrowright    msb         121   0 mathrel  &curarr;
 digamma            msb         122   0 mathord  &gammad;
 varkappa           msb         123   0 mathord  &kappav;
-Bbbk               msb         124   0 mathord  x
+# Note: Other blackboard symbols are in the same unicode range
+Bbbk               msb         124   0 mathord  &#x1d55c;
 hslash             msb         125   0 mathord  &plankv;
 hbar               msb         126   0 mathord  &planck;
 backepsilon        msb         127   0 mathrel  &bepsi;
 
-lyxbar             cmsy        161   0 mathord  x
-lyxeq              cmr          61   0 mathord  x
-lyxdabar           msa          57   0 mathord  x
-lyxright           msa          75   0 mathord  x
-lyxleft            msa          76   0 mathord  x
-
-male               wasy          26  0 x        x
-female             wasy          25  0 x        x
-currency           wasy          27  0 x        x
-phone              wasy          7   0 x        x
-recorder           wasy          6   0 x        x
-clock              wasy          28  0 x        x
-lightning          wasy          18  0 x        x
+lyxbar             cmsy        161   0 mathord  &mdash;
+lyxeq              cmr          61   0 mathord  =
+lyxdabar           msa          57   0 mathord  &ndash;
+lyxright           msa          75   0 mathord  &rarr;
+lyxleft            msa          76   0 mathord  &larr;
+
+male               wasy          26  0 x        &male;
+female             wasy          25  0 x        &female;
+currency           wasy          27  0 x        &curren;
+phone              wasy          7   0 x        &phone;
+recorder           wasy          6   0 x        &telrec;
+clock              wasy          28  0 x        &clock;
+lightning          wasy          18  0 x        &#x2607;
 pointer            wasy          9   0 x        x
-RIGHTarrow         wasy          17  0 x        x
-LEFTarrow          wasy          16  0 x        x
-UParrow            wasy          75  0 x        x
-DOWNarrow          wasy          76  0 x        x
+RIGHTarrow         wasy          17  0 x        &#x25B6;
+LEFTarrow          wasy          16  0 x        &#x25C0;
+UParrow            wasy          75  0 x        &#x25B2;
+DOWNarrow          wasy          76  0 x        &#x25BC;
 #AC                 wasy          n0.5pt\wasyfamily\char58\kern0.5pt}}
 #HF         {\leavevmode
 #   \lower0.9pt\hbox to 0pt{\kern0.5pt\wasyfamily\char58\hss}%
 #   \raise0.9pt\hbox{\kern0.5pt\wasyfamily\char58\kern0.5pt}}
 #VHF                wasy          64  0 x        x
-Square             wasy          50  0 x        x
+Square             wasy          50  0 x        &square;
 #CheckedBox         wasy          50\hss}\hbox{\wasyfamily\char8  0 x
-XBox               wasy          52  0 x        x
-hexagon            wasy          55  0 x        x
-pentagon           wasy          68  0 x        x
+XBox               wasy          52  0 x        &timesb;
+hexagon            wasy          55  0 x        &#x2b21;
+pentagon           wasy          68  0 x        &#x2b20;
 octagon            wasy          56  0 x        x
-varhexagon         wasy          57  0 x        x
-hexstar            wasy          65  0 x        x
-varhexstar         wasy          66  0 x        x
-davidsstar         wasy          67  0 x        x
-diameter           wasy          31  0 x        x
-invdiameter        wasy          21  0 x        x
-varangle           wasy          30  0 x        x
-wasylozenge        wasy          53  0 x        x
-kreuz              wasy          54  0 x        x
-smiley             wasy          44  0 x        x
-frownie            wasy          47  0 x        x
-blacksmiley        wasy          45  0 x        x
-sun                wasy          46  0 x        x
-checked            wasy          8   0 x        x
-bell               wasy          10  0 x        x
-eighthnote         wasy          11  0 x        x
-quarternote        wasy          12  0 x        x
-halfnote           wasy          13  0 x        x
-fullnote           wasy          14  0 x        x
-twonotes           wasy          15  0 x        x
-brokenvert         wasy          124 0 x        x
+varhexagon         wasy          57  0 x        &#x2b21;
+hexstar            wasy          65  0 x        &sext;
+varhexstar         wasy          66  0 x        &sext;
+davidsstar         wasy          67  0 x        &#x2721;
+diameter           wasy          31  0 x        &#x2300;
+# Unicode is wrong, but a true alternate doesn't seem available.
+invdiameter        wasy          21  0 x        &#x2300;
+varangle           wasy          30  0 x        &angsph;
+wasylozenge        wasy          53  0 x        &#x2311;
+kreuz              wasy          54  0 x        &#x2720;
+smiley             wasy          44  0 x        &#x263A;
+frownie            wasy          47  0 x        &#x2639;
+blacksmiley        wasy          45  0 x        &#x263B;
+sun                wasy          46  0 x        &#x263C;
+checked            wasy          8   0 x        &#x2713;
+bell               wasy          10  0 x        &#x237E;
+eighthnote         wasy          11  0 x        &#x266E;
+quarternote        wasy          12  0 x        &#x2669;
+halfnote           wasy          13  0 x        &#x1d15e;
+fullnote           wasy          14  0 x        &#x1d15d;
+twonotes           wasy          15  0 x        &#x266B;
+brokenvert         wasy          124 0 x        &brvbar;
 ataribox           wasy          109 0 x        x
-wasytherefore      wasy          5   0 x        x
-Circle             wasy          35  0 x        x
-CIRCLE             wasy          32  0 x        x
+wasytherefore      wasy          5   0 x        &there4;
+Circle             wasy          35  0 x        &cir;
+CIRCLE             wasy          32  0 x        &#x25cF;
 Leftcircle         wasy          73  0 x        x
-LEFTCIRCLE         wasy          71  0 x        x
+LEFTCIRCLE         wasy          71  0 x        &#x25D6;
 Rightcircle        wasy          74  0 x        x
-RIGHTCIRCLE        wasy          72  0 x        x
+RIGHTCIRCLE        wasy          72  0 x        &#x25D7;
 #LEFTcircle {\hbox to 0pt{\wasyfamily\char71\hss}\hbox{\wasyfamily\char35}}
 #RIGHTcircle{\hbox to 0pt{\wasyfamily\char72\hss}\hbox{\wasyfamily\char35}}
 
+# Defined by amsmath.sty
+
+varGamma           cmm         161  0  mathord  x  amsmath
+varDelta           cmm         162  0  mathord  x  amsmath
+varTheta           cmm         163  0  mathord  x  amsmath
+varLambda          cmm         164  0  mathord  x  amsmath
+varXi              cmm         165  0  mathord  x  amsmath
+varPi              cmm         166  0  mathord  x  amsmath
+varSigma           cmm         167  0  mathord  x  amsmath
+varUpsilon         cmm         168  0  mathord  x  amsmath
+varPhi             cmm         169  0  mathord  x  amsmath
+varPsi             cmm         170  0  mathord  x  amsmath
+varOmega           cmm         173  0  mathord  x  amsmath
+
 #
 # wasy astronomy
 #
 
-vernal             wasy          23  0 x        x
-ascnode            wasy          19  0 x        x
-descnode           wasy          20  0 x        x
-fullmoon           wasy          35  0 x        x
-newmoon            wasy          32  0 x        x
-leftmoon           wasy          36  0 x        x
-rightmoon          wasy          37  0 x        x
-astrosun           cmsy         175  0 mathbin  x
-mercury            wasy          39  0 x        x
-venus              wasy          25  0 x        x
-earth              wasy          38  0 x        x
-mars               wasy          26  0 x        x
-jupiter            wasy          88  0 x        x
-saturn             wasy          89  0 x        x
-uranus             wasy          90  0 x        x
-neptune            wasy          91  0 x        x
-pluto              wasy          92  0 x        x
+vernal             wasy          23  0 x        &#x2648;
+ascnode            wasy          19  0 x        &#x260A;
+descnode           wasy          20  0 x        &#x260B;
+fullmoon           wasy          35  0 x        &circ;
+newmoon            wasy          32  0 x        &#x25CF;
+leftmoon           wasy          36  0 x        &#x263E;
+rightmoon          wasy          37  0 x        &#x263D;
+astrosun           cmsy         175  0 mathbin  &#x2609;
+mercury            wasy          39  0 x        &#x263F;
+venus              wasy          25  0 x        &#x2640;
+earth              wasy          38  0 x        &#x2641;
+mars               wasy          26  0 x        &#x2642;
+jupiter            wasy          88  0 x        &#x2643;
+saturn             wasy          89  0 x        &#x2644;
+uranus             wasy          90  0 x        &#x2645;
+neptune            wasy          91  0 x        &#x2646;
+pluto              wasy          92  0 x        &#x2647;
 
 #
 # wasy zodiac
 #
-aries              wasy          23  0 x        x
-taurus             wasy          93  0 x        x
-gemini             wasy          94  0 x        x
-cancer             wasy          95  0 x        x
-leo                wasy          19  0 x        x
-virgo              wasy          96  0 x        x
-libra              wasy          97  0 x        x
-scorpio            wasy          98  0 x        x
-sagittarius        wasy          99  0 x        x
-capricornus        wasy          100 0 x        x
-aquarius           wasy          101 0 x        x
-pisces             wasy          102 0 x        x
-conjunction        wasy          86  0 x        x
-opposition         wasy          87  0 x        x
+aries              wasy          23  0 x        &#x2648;
+taurus             wasy          93  0 x        &#x2649;
+gemini             wasy          94  0 x        &#x264A;
+cancer             wasy          95  0 x        &#x264B;
+leo                wasy          19  0 x        &#x264C;
+virgo              wasy          96  0 x        &#x264D;
+libra              wasy          97  0 x        &#x264E;
+scorpio            wasy          98  0 x        &#x264F;
+sagittarius        wasy          99  0 x        &#x2650;
+capricornus        wasy          100 0 x        &#x2651;
+aquarius           wasy          101 0 x        &#x2652;
+pisces             wasy          102 0 x        &#x2653;
+conjunction        wasy          86  0 x        &#x260C;
+opposition         wasy          87  0 x        &#x260D;
 # APL characters
-APLstar            wasy          69  0 x        x
+APLstar            wasy          69  0 x        &#x235F;
 APLlog             wasy          22  0 x        x
-APLbox             wasy          126 0 x        x
+APLbox             wasy          126 0 x        &#x2395;
 APLup              wasy          0   0 x        x
 APLdown            wasy          70  0 x        x
 APLinput           wasy          125 0 x        x
 APLcomment         wasy          127 0 x        x
 #APLinv     {{\hbox to 0pt{$\div$\hss}\APLbox}}
-APLuparrowbox      wasy         110  0 x        x
-APLdownarrowbox    wasy         111  0 x        x
-APLleftarrowbox    wasy         112  0 x        x
-APLrightarrowbox   wasy         113  0 x        x
+APLuparrowbox      wasy         110  0 x        &#x2350;
+APLdownarrowbox    wasy         111  0 x        &#x2357;
+APLleftarrowbox    wasy         112  0 x        &#x2347;
+APLrightarrowbox   wasy         113  0 x        &#x2348;
 
 # math characters
-Bowtie             wasy          49  0 x        x
-leftturn           wasy          34  0 x        x
-rightturn          wasy          33  0 x        x
+Bowtie             wasy          49  0 x        &#x22C8;
+leftturn           wasy          34  0 x        &#x27F2;
+rightturn          wasy          33  0 x        &#x27F3;
 # diagrams
 #photon             wasy          58\char58\char58\char58}}
 #gluon              wasy          81\char80\char80\char80%
 #char80\char80\char80\char82}}
 # special characters
-cent               wasy         103   0 x        x
-permil             wasy         104   0 x        x
-agemO              wasy          48   0 x        x
-thorn              wasy         105   0 x        x
-Thorn              wasy         106   0 x        x
-openo              wasy         108   0 x        x
-inve               wasy          85   0 x        x
+cent               wasy         103   0 x        &#00A2;
+permil             wasy         104   0 x        &#x2030;
+agemO              wasy          48   0 x        &mho;
+thorn              wasy         105   0 x        &#x00FE;
+Thorn              wasy         106   0 x        &#x00DE;
+openo              wasy         108   0 x        &#x0254;
+inve               wasy          85   0 x        &#x0259;
 
 mho               wasy          48    0  mathord &mho;
 #Join              wasy          49    0  mathrel x
 #Box               wasy          50    0  mathord x
 #Diamond           wasy          51    0  mathord x
-leadsto            wasy          59    0  mathrel x
+leadsto            wasy          59    0  mathrel &#x2933;
 sqsubset          wasy          60    0  mathrel &sqsub;
 sqsupset          wasy          61    0  mathrel &sqsup;
 #lhd               wasy           1    0  mathbin x
 #unlhd             wasy           2    0  mathbin x
-LHD                wasy          16    0  mathbin x
+LHD                wasy          16    0  mathbin &#x2C50;
 #rhd               wasy           3    0  mathbin x
 #unrhd             wasy           4    0  mathbin x
-RHD                wasy          17    0  mathbin x
-apprle             wasy          62    0  mathrel x
-apprge             wasy          63    0  mathrel x
-wasypropto         wasy          29    0  mathrel x
-invneg             wasy          24    0  mathrel x
-ocircle            wasy          35    0  mathbin x
+RHD                wasy          17    0  mathbin &#x25B6;
+apprle             wasy          62    0  mathrel &lsim;
+apprge             wasy          63    0  mathrel &gsim;
+wasypropto         wasy          29    0  mathrel &prop;
+invneg             wasy          24    0  mathrel &#x2310;
+ocircle            wasy          35    0  mathbin &#x229A;
 logof              wasy          22    0  mathrel x
-varint             wasy         114    0  mathop  x
-varoint            wasy         117    0  mathop  x
+varint             wasy         114    0  mathop  &int;
+varoint            wasy         117    0  mathop  &int;
 
 # symbols from the mhchem package, all of them are equivalent to a math symbol
 # mhchem is not loaded because these commands can only be used inside
@@ -790,52 +819,52 @@ tbond              cmsy        180 186 mathord  x
 # Note that we do _not_ require the wasysym package for any integral besides
 # \varint and \varoint. The reason is that the integrals of the wasysym
 # package do not match the standard \int and \intop. See
-# http://bugzilla.lyx.org/show_bug.cgi?id=1942 for details.
+# http://www.lyx.org/trac/ticket/1942 for details.
 # If the wasysym integrals are really wanted then one has to load the package
 # manually and disable automatic loading of amsmath and esint.
 iffont esint
 int                esint        001    0  mathop  &int;  esint
 intop              esint        001    0  mathop  &int;  esint
-iint               esint        003    0  mathop  x      esintoramsmath
-iintop             esint        003    0  mathop  x      esint
-iiint              esint        005    0  mathop  &tint;      esintoramsmath
+iint               esint        003    0  mathop  &Int;         esint|amsmath
+iintop             esint        003    0  mathop  &Int;      esint
+iiint              esint        005    0  mathop  &tint;        esint|amsmath
 
-iiintop            esint        005    0  mathop  x      esint
-iiiint             esint        007    0  mathop  &qint;      esintoramsmath
+iiintop            esint        005    0  mathop  &tint;      esint
+iiiint             esint        007    0  mathop  &qint;        esint|amsmath
 
-iiiintop           esint        007    0  mathop  x      esint
+iiiintop           esint        007    0  mathop  &qint;      esint
 oint               esint        011    0  mathop  &conint;      esint
 
-ointop             esint        011    0  mathop  x      esint
-oiint              esint        013    0  mathop  x      esint
-oiintop            esint        013    0  mathop  x      esint
+ointop             esint        011    0  mathop  &conint;      esint
+oiint              esint        013    0  mathop  &Conint;      esint
+oiintop            esint        013    0  mathop  &Conint;      esint
 sqint              esint        015    0  mathop  x      esint
 sqintop            esint        015    0  mathop  x      esint
 sqiint             esint        017    0  mathop  x      esint
 sqiintop           esint        017    0  mathop  x      esint
-dotsint            esint        019    0  mathop  x      esint
-dotsintop          esint        019    0  mathop  x      esint
-ointctrclockwise   esint        023    0  mathop  x      esint
-ointctrclockwiseop esint        023    0  mathop  x      esint
-ointclockwise      esint        025    0  mathop  x      esint
-ointclockwiseop    esint        025    0  mathop  x      esint
+dotsint            esint        019    0  mathop  &int;&ctdot;&int;      esint
+dotsintop          esint        019    0  mathop  &int;&ctdot;&int;      esint
+ointctrclockwise   esint        023    0  mathop  &awconint;      esint
+ointctrclockwiseop esint        023    0  mathop  &awconint;      esint
+ointclockwise      esint        025    0  mathop  &cwconint;      esint
+ointclockwiseop    esint        025    0  mathop  &cwconint;      esint
 else
 int                cmex          82  242  mathop  &int;  esint
 intop              cmex          82  242  mathop  &int;  esint
-iint               wasy         115    0  mathop  x      esintoramsmath
-iintop             wasy         115    0  mathop  x      esint
-iiint              wasy         116    0  mathop  &tint;      esintoramsmath
+iint               wasy         115    0  mathop  &Int;         esint|amsmath
+iintop             wasy         115    0  mathop  &Int      esint
+iiint              wasy         116    0  mathop  &tint;        esint|amsmath
 
-iiintop            wasy         116    0  mathop  x      esint
-\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esintoramsmath
+iiintop            wasy         116    0  mathop  &tint;      esint
+\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esint|amsmath
 \def\iiiintop{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}      esint
 \def\dotsint{\int\kern-3mu\cdots\kern-3mu\int}                  esint
 \def\dotsintop{\int\kern-3mu\cdots\kern-3mu\int}                esint
 oint               cmex          72    0  mathop  &conint;      esint
 
-ointop             cmex          72    0  mathop  x      esint
-oiint              wasy         118    0  mathop  x      esint
-oiintop            wasy         118    0  mathop  x      esint
+ointop             cmex          72    0  mathop  &conint;      esint
+oiint              wasy         118    0  mathop  &Conint;      esint
+oiintop            wasy         118    0  mathop  &Conint;      esint
 \def\sqint{\square\kern-17mu\int\kern6mu}                       esint
 \def\sqintop{\square\kern-17mu\int\kern6mu}                     esint
 \def\sqiint{\square\kern-20mu\iint\kern3mu}                     esint
@@ -846,14 +875,14 @@ oiintop            wasy         118    0  mathop  x      esint
 \def\ointclockwiseop{\circlearrowright\kern-21mu\int\kern6mu}   esint
 endif
 
-varointclockwise   esint        027    0  mathop  x      esint
-varointclockwiseop esint        027    0  mathop  x      esint
-varointctrclockwise esint       029    0  mathop  x      esint
-varointctrclockwiseop esint     029    0  mathop  x      esint
-fint               esint        031    0  mathop  x      esint
-fintop             esint        031    0  mathop  x      esint
-varoiint           esint        033    0  mathop  x      esint
-varoiintop         esint        033    0  mathop  x      esint
+varointclockwise   esint        027    0  mathop  &cwconint;      esint
+varointclockwiseop esint        027    0  mathop  &cwconint;      esint
+varointctrclockwise esint       029    0  mathop  &awconint;      esint
+varointctrclockwiseop esint     029    0  mathop  &awconint;      esint
+fint               esint        031    0  mathop  &#x2a0f;      esint
+fintop             esint        031    0  mathop  &#x2a0f;      esint
+varoiint           esint        033    0  mathop  &Conint;      esint
+varoiintop         esint        033    0  mathop  &Conint;      esint
 landupint          esint        035    0  mathop  x      esint
 landupintop        esint        035    0  mathop  x      esint
 landdownint        esint        037    0  mathop  x      esint
@@ -896,9 +925,27 @@ exp                lyxblacktext  0   0 func     x
 Pr                 lyxblacktext  0   0 funclim  x
 gcd                lyxblacktext  0   0 funclim  x
 deg                lyxblacktext  0   0 func     x
+mod                lyxblacktext  0   0 func     x     amsmath
 bmod               lyxblacktext  0   0 func     x
 pmod               lyxblacktext  0   0 func     x
-
+pod                lyxblacktext  0   0 func     x     amsmath
+
+
+# mathtools.sty
+\def\vcentcolon{\kern4mu:\kern3mu}             mathtools
+\def\dblcolon{\vcentcolon\kern-8mu\vcentcolon} mathtools
+\def\coloneqq{\vcentcolon\kern-7mu=}           mathtools
+\def\Coloneqq{\dblcolon\kern-7mu=}             mathtools
+\def\coloneq{\vcentcolon\kern-7mu-}            mathtools
+\def\Coloneq{\dblcolon\kern-7mu-}              mathtools
+\def\eqqcolon{=\kern-8mu\vcentcolon}           mathtools
+\def\Eqqcolon{=\kern-8mu\dblcolon}             mathtools
+\def\eqcolon{-\kern-8mu\vcentcolon}            mathtools
+\def\Eqcolon{-\kern-8mu\dblcolon}              mathtools
+\def\colonapprox{\vcentcolon\kern-7mu\approx}  mathtools
+\def\Colonapprox{\dblcolon\kern-7mu\approx}    mathtools
+\def\colonsim{\vcentcolon\kern-7mu\sim}        mathtools
+\def\Colonsim{\dblcolon\kern-7mu\sim}          mathtools
 
 
 #
@@ -945,13 +992,13 @@ endif
 iffont cmsy
 # The \sim is placed too high...
 \def\cong{\stackrel{_\sim}{=}}
-lyxsurd               cmsy        112 0 mathord  x
+lyxsurd               cmsy        112 0 mathord  &radic;
 \def\surd{^\lyxsurd}
 \def\textdegree{\kern-1mu^{\circ}\kern-4mu}
 else
 cong               lyxsymbol             64  0 mathrel  &cong;
 surd               lyxsymbol             214 0 mathord  &radic;
-textdegree         lyxsymbol             176 0 mathord  x
+textdegree         lyxsymbol             176 0 mathord  &deg;
 endif
 
 #"{\hat{}}