InsetHyperlink.cpp: add "http://" when the hyperlink type is web and no protocol...

[lyx.git] / lib / symbols

diff --git a/lib/symbols b/lib/symbols
index 3bf846f295e1f20b2898ff05773c8b8118805376..71ade6c82449854d592974fda8fac8c381aae66f 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -3,7 +3,7 @@
 #
 
 # decorations
 #
 
 # decorations

-acute               decoration none 
+acute               decoration none

 bar                 decoration none
 breve               decoration none
 check               decoration none
 bar                 decoration none
 breve               decoration none
 check               decoration none


@@ -30,6 +30,7 @@ widehat             decoration none
 widetilde           decoration none
 
 # dots
 widetilde           decoration none
 
 # dots

+dots              dots        none

 cdots             dots        none
 ddots             dots        none
 dotsb             dots        none
 cdots             dots        none
 ddots             dots        none
 dotsb             dots        none


@@ -40,25 +41,55 @@ dotso             dots        none
 ldots             dots        none
 vdots             dots        none
 
 ldots             dots        none
 vdots             dots        none
 

+# big delimiters
+bigl              big         none
+bigm              big         none
+bigr              big         none
+Bigl              big         none
+Bigm              big         none
+Bigr              big         none
+biggl             big         none
+biggm             big         none
+biggr             big         none
+Biggl             big         none
+Biggm             big         none
+Biggr             big         none
+# The following are not standard LaTeX, but defined in the lucida font
+# packages. No 'm' versions!
+# See lucidabr.dtx for a possible implementation if you want to use these
+# with other fonts.
+bigggl            big         none
+bigggr            big         none
+Bigggl            big         none
+Bigggr            big         none
+

 # font changes
 # font changes

-frak              font        none
-mathbb            font        none
-mathbf            font        none
-mathcal           font        none
-mathfrak          font        none
-mathit            font        none
-mathnormal        font        none
-mathrm            font        none
-mathsf            font        none
-mathtt            font        none
-text              font        forcetext
-textbf            font        forcetext
-textipa           font        forcetext
-textit            font        forcetext
-textmd            font        forcetext
-textrm            font        forcetext
-textsl            font        forcetext
-textup            font        forcetext
+# name           "font"       math/text family  series  shape  color
+# mathnormal should stay the first
+mathnormal        font        mathmode  inherit  medium   up  math
+frak              font        mathmode
+mathbb            font        mathmode
+mathbf            font        mathmode
+mathcal           font        mathmode
+mathfrak          font        mathmode
+mathit            font        mathmode
+mathrm            font        mathmode
+mathsf            font        mathmode
+mathtt            font        mathmode
+textnormal        font        textmode  inherit  medium   up  math
+text              font        textmode
+textbf            font        textmode
+textipa           font        textmode
+textit            font        textmode
+textmd            font        textmode
+textrm            font        textmode
+textsc            font        textmode
+textsl            font        textmode
+textsf            font        textmode
+texttt            font        textmode
+textup            font        textmode
+emph              font        textmode
+noun              font        textmode

 
 # old-style font commands
 bf                oldfont     none
 
 # old-style font commands
 bf                oldfont     none


@@ -66,50 +97,71 @@ cal               oldfont     none
 it                oldfont     none
 rm                oldfont     none
 tt                oldfont     none
 it                oldfont     none
 rm                oldfont     none
 tt                oldfont     none

-                              
+

 # matrix environments
 # matrix environments

+Bmatrix           matrix      none

 Vmatrix           matrix      none
 bmatrix           matrix      none
 matrix            matrix      none
 pmatrix           matrix      none
 psmatrix          matrix      none
 Vmatrix           matrix      none
 bmatrix           matrix      none
 matrix            matrix      none
 pmatrix           matrix      none
 psmatrix          matrix      none

+smallmatrix       matrix      none

 vmatrix           matrix      none
 vmatrix           matrix      none

+CD                matrix      none

 
 

-# references                  
+# split environments with optional valign argument.
+# the others (split and alignedat) are hardcoded.
+aligned           split       none
+gathered          split       none
+# from Morten H\o gholm's mathtools.sty:
+lgathered         split       none
+rgathered         split       none
+
+# references

 pageref           ref         none
 prettyref         ref         none
 ref               ref         none
 vpageref          ref         none
 vref              ref         none
 pageref           ref         none
 prettyref         ref         none
 ref               ref         none
 vpageref          ref         none
 vref              ref         none

-                              
-# spaces                      
+
+# spaces

 lyxnegspace       space       none
 lyxposspace       space       none
 lyxnegspace       space       none
 lyxposspace       space       none

-qquad             space       none
+!                 space       none
+negmedspace       space       none
+negthickspace     space       none
+,                 space       none
+:                 space       none
+;                 space       none

 quad              space       none
 quad              space       none

-                              
-# styles                      
-displaystyle      style       none
-scriptscriptstyle style       none
-scriptstyle       style       none
-textstyle         style       none
-                              
-# misc                        
-begin             begin       none
-right             right       none
+qquad             space       none
+
+# styles
+displaystyle      style       0
+textstyle         style       1
+scriptstyle       style       2
+scriptscriptstyle style       3
+
+# misc
+# The commented lines in this block get misparsed as MathSymbolInset because
+# createMathInset() does not know them. I don't know if this is old cruft
+# or if it is planned to use this in the future. gb 2006-03-13
+#begin             begin       none
+#right             right       none

 underset          underset    none
 underset          underset    none

-parbox            parbox      none
-protect           protect     none
+overset           overset     none
+#protect           protect     none

 mbox              mbox        forcetext
 mbox              mbox        forcetext

-newcommand        newcommand  none
-label             label       none
-left              left        none
-end               end         none
-fbox              fbox        none
+tag               mbox        forcetext
+tag*              mbox        forcetext
+#newcommand        newcommand  none
+#label             label       none
+#left              left        none
+#end               end         none

 
 
 #
 
 
 #

-# symbols generated from fontmath.ltx 
+# symbols generated from fontmath.ltx

 #
 
 #symbol            font   charid   charid-in-fallback-Xsymbol-font
 #
 
 #symbol            font   charid   charid-in-fallback-Xsymbol-font


@@ -134,7 +186,7 @@ tau                cmm         191 116 mathord  x
 upsilon            cmm         192 117 mathord  x
 phi                cmm         193 102 mathord  x
 chi                cmm         194  99 mathord  x
 upsilon            cmm         192 117 mathord  x
 phi                cmm         193 102 mathord  x
 chi                cmm         194  99 mathord  x

-psi                cmm          32 121 mathord  x
+psi                cmm         195 121 mathord  x

 omega              cmm          33 119 mathord  x
 varepsilon         cmm          34 101 mathord  x
 vartheta           cmm          35  74 mathord  x
 omega              cmm          33 119 mathord  x
 varepsilon         cmm          34 101 mathord  x
 vartheta           cmm          35  74 mathord  x


@@ -171,6 +223,7 @@ triangle           cmsy         52   0 mathord  x
 forall             cmsy         56  34 mathord  x
 exists             cmsy         57  36 mathord  x
 neg                cmsy         58 216 mathord  x
 forall             cmsy         56  34 mathord  x
 exists             cmsy         57  36 mathord  x
 neg                cmsy         58 216 mathord  x

+lnot               cmsy         58 216 mathord  x

 flat               cmm          91   0 mathord  x
 natural            cmm          92   0 mathord  x
 sharp              cmm          93  35 mathord  x
 flat               cmm          91   0 mathord  x
 natural            cmm          92   0 mathord  x
 sharp              cmm          93  35 mathord  x


@@ -178,27 +231,35 @@ clubsuit           cmsy        124 167 mathord  x
 diamondsuit        cmsy        125 168 mathord  x
 heartsuit          cmsy        126 169 mathord  x
 spadesuit          cmsy        127 170 mathord  x
 diamondsuit        cmsy        125 168 mathord  x
 heartsuit          cmsy        126 169 mathord  x
 spadesuit          cmsy        127 170 mathord  x

-coprod             cmex         96   0 mathop  x
-bigvee             cmex         87   0 mathop  x
-bigwedge           cmex         86   0 mathop  x
-biguplus           cmex         85   0 mathop  x
-bigcap             cmex         84   0 mathop  x
-bigcup             cmex         83   0 mathop  x
-int                cmex         82 242 mathop  ∫
-prod               cmex         81 213 mathop  x
-sum                cmex         80 229 mathop  x
-bigotimes          cmex         78   0 mathop  x
-bigoplus           cmex         76   0 mathop  x
-bigodot            cmex         74   0 mathop  x
-oint               cmex         72   0 mathop  x
-bigsqcup           cmex         70   0 mathop  x
-smallint           cmsy        115   0 mathop  x
+# We define lyxnot as mathrel in order to have proper alignment
+lyxnot             cmsy         54  47 mathrel  x
+iffont cmsy
+# 9mu = 0.5em which is the extra space added to relation operators
+\def\not{\lyxnot\kern-9mu}
+else
+\def\not{\kern4mu\lyxnot\kern-19mu}
+endif
+coprod             cmex         96   0 mathop   x
+bigvee             cmex         87   0 mathop   x
+bigwedge           cmex         86   0 mathop   x
+biguplus           cmex         85   0 mathop   x
+bigcap             cmex         84   0 mathop   x
+bigcup             cmex         83   0 mathop   x
+prod               cmex         81 213 mathop   x
+sum                cmex         80 229 mathop   x
+bigotimes          cmex         78   0 mathop   x
+bigoplus           cmex         76   0 mathop   x
+bigodot            cmex         74   0 mathop   x
+bigsqcup           cmex         70   0 mathop   x
+smallint           cmsy        115   0 mathop   x

 triangleleft       cmm          47   0 mathbin  x
 triangleright      cmm          46   0 mathbin  x
 bigtriangleup      cmsy         52   0 mathbin  x
 bigtriangledown    cmsy         53   0 mathbin  x
 wedge              cmsy         94 217 mathbin  x
 triangleleft       cmm          47   0 mathbin  x
 triangleright      cmm          46   0 mathbin  x
 bigtriangleup      cmsy         52   0 mathbin  x
 bigtriangledown    cmsy         53   0 mathbin  x
 wedge              cmsy         94 217 mathbin  x

+land               cmsy         94 217 mathbin  x

 vee                cmsy         95 218 mathbin  x
 vee                cmsy         95 218 mathbin  x

+lor                cmsy         95 218 mathbin  x

 cap                cmsy         92 199 mathbin  x
 cup                cmsy         91 200 mathbin  x
 ddagger            cmsy        122   0 mathbin  x
 cap                cmsy         92 199 mathbin  x
 cup                cmsy         91 200 mathbin  x
 ddagger            cmsy        122   0 mathbin  x


@@ -240,7 +301,9 @@ Leftrightarrow     cmsy         44 219 mathrel  x
 Leftarrow          cmsy         40 220 mathrel  x
 Rightarrow         cmsy         41 222 mathrel  x
 leq                cmsy        183 163 mathrel  x
 Leftarrow          cmsy         40 220 mathrel  x
 Rightarrow         cmsy         41 222 mathrel  x
 leq                cmsy        183 163 mathrel  x

+le                 cmsy        183 163 mathrel  x

 geq                cmsy        184 179 mathrel  x
 geq                cmsy        184 179 mathrel  x

+ge                 cmsy        184 179 mathrel  x

 succ               cmsy        194   0 mathrel  x
 prec               cmsy        193   0 mathrel  x
 approx             cmsy        188 187 mathrel  x
 succ               cmsy        194   0 mathrel  x
 prec               cmsy        193   0 mathrel  x
 approx             cmsy        188 187 mathrel  x


@@ -252,11 +315,14 @@ supseteq           cmsy        182 202 mathrel  x
 subseteq           cmsy        181 205 mathrel  x
 in                 cmsy         50 206 mathrel  x
 ni                 cmsy         51  39 mathrel  x
 subseteq           cmsy        181 205 mathrel  x
 in                 cmsy         50 206 mathrel  x
 ni                 cmsy         51  39 mathrel  x

+owns               cmsy         51  39 mathrel  x

 gg                 cmsy        192   0 mathrel  x
 ll                 cmsy        191   0 mathrel  x
 leftrightarrow     cmsy         36 171 mathrel  x
 gg                 cmsy        192   0 mathrel  x
 ll                 cmsy        191   0 mathrel  x
 leftrightarrow     cmsy         36 171 mathrel  x

-leftarrow          cmsy         32 172 mathrel  x
+leftarrow          cmsy        195 172 mathrel  x
+gets               cmsy        195 172 mathrel  x

 rightarrow         cmsy         33 174 mathrel  x
 rightarrow         cmsy         33 174 mathrel  x

+to                 cmsy         33 174 mathrel  x

 mapstochar         cmsy         55   0 mathrel  x
 sim                cmsy        187 126 mathrel  x
 simeq              cmsy         39   0 mathrel  x
 mapstochar         cmsy         55   0 mathrel  x
 sim                cmsy        187 126 mathrel  x
 simeq              cmsy         39   0 mathrel  x


@@ -277,6 +343,7 @@ colon              cmr          58  58 mathpunct  x
 arrowvert          cmsy        106   0 mathord  x
 Arrowvert          cmsy        107   0 mathord  x
 Vert               cmsy        107   0 mathord  x
 arrowvert          cmsy        106   0 mathord  x
 Arrowvert          cmsy        107   0 mathord  x
 Vert               cmsy        107   0 mathord  x

+|                  cmsy        107   0 mathord  x

 vert               cmsy        106   0 mathord  x
 uparrow            cmsy         34 173 mathrel  x
 downarrow          cmsy         35 175 mathrel  x
 vert               cmsy        106   0 mathord  x
 uparrow            cmsy         34 173 mathrel  x
 downarrow          cmsy         35 175 mathrel  x


@@ -296,9 +363,9 @@ lfloor             cmsy         98 235 mathopen  x
 mathparagraph      cmsy        123   0 mathord  x
 mathsection        cmsy        120   0 mathord  x
 mathdollar         cmr          36   0 mathord  x
 mathparagraph      cmsy        123   0 mathord  x
 mathsection        cmsy        120   0 mathord  x
 mathdollar         cmr          36   0 mathord  x

-                               
-# Generated from amsfonts.sty 
-                               
+
+# Generated from amsfonts.sty
+

 yen                msa          85   0 mathord  x
 checkmark          msa          88   0 mathord  x
 circledR           msa         114   0 mathord  x
 yen                msa          85   0 mathord  x
 checkmark          msa          88   0 mathord  x
 circledR           msa         114   0 mathord  x


@@ -314,19 +381,22 @@ sqsubset           msa          64   0 mathrel  x
 sqsupset           msa          65   0 mathrel  x
 mho                msb         102   0 mathord  x
 square             msa         164   0 mathord  x
 sqsupset           msa          65   0 mathrel  x
 mho                msb         102   0 mathord  x
 square             msa         164   0 mathord  x

+Box                msa         164   0 mathord  x

 lozenge            msa         167   0 mathord  x
 lozenge            msa         167   0 mathord  x

+Diamond            msa         167   0 mathord  x

 vartriangleright   msa          66   0 mathrel  x
 vartriangleleft    msa          67   0 mathrel  x
 trianglerighteq    msa          68   0 mathrel  x
 trianglelefteq     msa          69   0 mathrel  x
 vartriangleright   msa          66   0 mathrel  x
 vartriangleleft    msa          67   0 mathrel  x
 trianglerighteq    msa          68   0 mathrel  x
 trianglelefteq     msa          69   0 mathrel  x

-rightsquigarrow    msa          32   0 mathrel  x
+rightsquigarrow    msa         195   0 mathrel  x
+leadsto            msa         195   0 mathrel  x

 lhd                msa          67   0 mathbin  x
 unlhd              msa          69   0 mathbin  x
 rhd                msa          66   0 mathbin  x
 unrhd              msa          68   0 mathbin  x
 lhd                msa          67   0 mathbin  x
 unlhd              msa          69   0 mathbin  x
 rhd                msa          66   0 mathbin  x
 unrhd              msa          68   0 mathbin  x

-                               
-# Generated from amssymb.sty 
-                               
+
+# Generated from amssymb.sty
+

 boxdot             msa         161   0 mathbin  x
 boxplus            msa         162   0 mathbin  x
 boxtimes           msa         163   0 mathbin  x
 boxdot             msa         161   0 mathbin  x
 boxplus            msa         162   0 mathbin  x
 boxtimes           msa         163   0 mathbin  x


@@ -347,6 +417,7 @@ rightrightarrows   msa         182   0 mathrel  x
 upuparrows         msa         183   0 mathrel  x
 downdownarrows     msa         184   0 mathrel  x
 upharpoonright     msa         185   0 mathrel  x
 upuparrows         msa         183   0 mathrel  x
 downdownarrows     msa         184   0 mathrel  x
 upharpoonright     msa         185   0 mathrel  x

+restriction        msa         185   0 mathrel  x

 downharpoonright   msa         186   0 mathrel  x
 upharpoonleft      msa         187   0 mathrel  x
 downharpoonleft    msa         188   0 mathrel  x
 downharpoonright   msa         186   0 mathrel  x
 upharpoonleft      msa         187   0 mathrel  x
 downharpoonleft    msa         188   0 mathrel  x


@@ -367,6 +438,7 @@ multimap           msa          40   0 mathrel  x
 therefore          msa          41  92 mathrel  x
 because            msa          42   0 mathrel  x
 doteqdot           msa          43   0 mathrel  x
 therefore          msa          41  92 mathrel  x
 because            msa          42   0 mathrel  x
 doteqdot           msa          43   0 mathrel  x

+Doteq              msa          43   0 mathrel  x

 triangleq          msa          44   0 mathrel  x
 precsim            msa          45   0 mathrel  x
 lesssim            msa          46   0 mathrel  x
 triangleq          msa          44   0 mathrel  x
 precsim            msa          45   0 mathrel  x
 lesssim            msa          46   0 mathrel  x


@@ -412,7 +484,9 @@ smallfrown         msa          97   0 mathrel  x
 Subset             msa          98   0 mathrel  x
 Supset             msa          99   0 mathrel  x
 Cup                msa         100   0 mathbin  x
 Subset             msa          98   0 mathrel  x
 Supset             msa          99   0 mathrel  x
 Cup                msa         100   0 mathbin  x

+doublecup          msa         100   0 mathbin  x

 Cap                msa         101   0 mathbin  x
 Cap                msa         101   0 mathbin  x

+doublecap          msa         101   0 mathbin  x

 curlywedge         msa         102   0 mathbin  x
 curlyvee           msa         103   0 mathbin  x
 leftthreetimes     msa         104   0 mathbin  x
 curlywedge         msa         102   0 mathbin  x
 curlyvee           msa         103   0 mathbin  x
 leftthreetimes     msa         104   0 mathbin  x


@@ -422,7 +496,9 @@ supseteqq          msa         107   0 mathrel  x
 bumpeq             msa         108   0 mathrel  x
 Bumpeq             msa         109   0 mathrel  x
 lll                msa         110   0 mathrel  x
 bumpeq             msa         108   0 mathrel  x
 Bumpeq             msa         109   0 mathrel  x
 lll                msa         110   0 mathrel  x

+llltr              msa         110   0 mathrel  x

 ggg                msa         111   0 mathrel  x
 ggg                msa         111   0 mathrel  x

+gggtr              msa         111   0 mathrel  x

 circledS           msa         115   0 mathord  x
 pitchfork          msa         116   0 mathrel  x
 dotplus            msa         117   0 mathbin  x
 circledS           msa         115   0 mathord  x
 pitchfork          msa         116   0 mathrel  x
 dotplus            msa         117   0 mathbin  x


@@ -465,7 +541,7 @@ nsim               msb         191   0 mathrel  x
 ncong              msb         192   0 mathrel  x
 diagup             msb         193   0 mathord  x
 diagdown           msb         194   0 mathord  x
 ncong              msb         192   0 mathrel  x
 diagup             msb         193   0 mathord  x
 diagdown           msb         194   0 mathord  x

-varsubsetneq       msb          32   0 mathrel  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
 varsupsetneq       msb          33   0 mathrel  x
 nsubseteqq         msb          34   0 mathrel  x
 nsupseteqq         msb          35   0 mathrel  x


@@ -523,13 +599,9 @@ digamma            msb         122   0 mathord  x
 varkappa           msb         123   0 mathord  x
 Bbbk               msb         124   0 mathord  x
 hslash             msb         125   0 mathord  x
 varkappa           msb         123   0 mathord  x
 Bbbk               msb         124   0 mathord  x
 hslash             msb         125   0 mathord  x

+hbar               msb         126   0 mathord  x

 backepsilon        msb         127   0 mathrel  x
 backepsilon        msb         127   0 mathrel  x

-                               
-neq                x             0 185 mathrel  x
-textdegree         x             0 176 mathord  x
-cong               x             0  64 mathrel  x
-surd               x             0 214 mathord  x
-                               
+

 lyxbar             cmsy        161   0 mathord  x
 lyxeq              cmr          61   0 mathord  x
 lyxdabar           msa          57   0 mathord  x
 lyxbar             cmsy        161   0 mathord  x
 lyxeq              cmr          61   0 mathord  x
 lyxdabar           msa          57   0 mathord  x


@@ -620,7 +692,7 @@ aries              wasy          23  0 x        x
 taurus             wasy          93  0 x        x
 gemini             wasy          94  0 x        x
 cancer             wasy          95  0 x        x
 taurus             wasy          93  0 x        x
 gemini             wasy          94  0 x        x
 cancer             wasy          95  0 x        x

-leo                wasy          19
+leo                wasy          19  0 x        x

 virgo              wasy          96  0 x        x
 libra              wasy          97  0 x        x
 scorpio            wasy          98  0 x        x
 virgo              wasy          96  0 x        x
 libra              wasy          97  0 x        x
 scorpio            wasy          98  0 x        x


@@ -630,7 +702,7 @@ aquarius           wasy          101 0 x        x
 pisces             wasy          102 0 x        x
 conjunction        wasy          86  0 x        x
 opposition         wasy          87  0 x        x
 pisces             wasy          102 0 x        x
 conjunction        wasy          86  0 x        x
 opposition         wasy          87  0 x        x

-% APL characters
+# APL characters

 APLstar            wasy          69  0 x        x
 APLlog             wasy          22  0 x        x
 APLbox             wasy          126 0 x        x
 APLstar            wasy          69  0 x        x
 APLlog             wasy          22  0 x        x
 APLbox             wasy          126 0 x        x


@@ -662,9 +734,9 @@ openo              wasy         108   0 x        x
 inve               wasy          85   0 x        x
 
 #mho               wasy          48    0  mathord x
 inve               wasy          85   0 x        x
 
 #mho               wasy          48    0  mathord x

-Join               wasy          49    0  mathrel x
-Box                wasy          50    0  mathord x
-Diamond            wasy          51    0  mathord x
+#Join              wasy          49    0  mathrel x
+#Box               wasy          50    0  mathord x
+#Diamond           wasy          51    0  mathord x

 leadsto            wasy          59    0  mathrel x
 #sqsubset          wasy          60    0  mathrel x
 #sqsupset          wasy          61    0  mathrel x
 leadsto            wasy          59    0  mathrel x
 #sqsubset          wasy          60    0  mathrel x
 #sqsupset          wasy          61    0  mathrel x


@@ -681,10 +753,82 @@ invneg             wasy          24    0  mathrel x
 ocircle            wasy          35    0  mathbin x
 logof              wasy          22    0  mathrel x
 varint             wasy         114    0  mathop  x
 ocircle            wasy          35    0  mathbin x
 logof              wasy          22    0  mathrel x
 varint             wasy         114    0  mathop  x

-iint               wasy         115    0  mathop  x
-iiint              wasy         116    0  mathop  x

 varoint            wasy         117    0  mathop  x
 varoint            wasy         117    0  mathop  x

-oiint              wasy         118    0  mathop  x
+
+
+# From the esint package:
+# We emulate some symbols if the esint10 font is not available.
+# It is important that they have the same requirements in both cases,
+# otherwise the LaTeX output would depend on the availability of the esint10
+# font in the GUI
+# 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.
+# 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  ∫  esint
+intop              esint        001    0  mathop  ∫  esint
+iint               esint        003    0  mathop  x      esintoramsmath
+iintop             esint        003    0  mathop  x      esint
+iiint              esint        005    0  mathop  x      esintoramsmath
+iiintop            esint        005    0  mathop  x      esint
+iiiint             esint        007    0  mathop  x      esintoramsmath
+iiiintop           esint        007    0  mathop  x      esint
+oint               esint        011    0  mathop  x      esint
+ointop             esint        011    0  mathop  x      esint
+oiint              esint        013    0  mathop  x      esint
+oiintop            esint        013    0  mathop  x      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
+else
+int                cmex          82  242  mathop  ∫  esint
+intop              cmex          82  242  mathop  ∫  esint
+iint               wasy         115    0  mathop  x      esintoramsmath
+iintop             wasy         115    0  mathop  x      esint
+iiint              wasy         116    0  mathop  x      esintoramsmath
+iiintop            wasy         116    0  mathop  x      esint
+\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esintoramsmath
+\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  x      esint
+ointop             cmex          72    0  mathop  x      esint
+oiint              wasy         118    0  mathop  x      esint
+oiintop            wasy         118    0  mathop  x      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
+\def\sqiintop{\square\kern-20mu\iint\kern3mu}                   esint
+\def\ointctrclockwise{\circlearrowleft\kern-21mu\int\kern6mu}   esint
+\def\ointctrclockwiseop{\circlearrowleft\kern-21mu\int\kern6mu} esint
+\def\ointclockwise{\circlearrowright\kern-21mu\int\kern6mu}     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
+varoiint           esint        033    0  mathop  x      esint
+varoiintop         esint        033    0  mathop  x      esint
+landupint          esint        035    0  mathop  x      esint
+landupintop        esint        035    0  mathop  x      esint
+landdownint        esint        037    0  mathop  x      esint
+landdownintop      esint        037    0  mathop  x      esint
+
+
+# From the amsmath package:
+\def\idotsint{\int\kern-3mu\cdots\kern-3mu\int}               amsmath

 
 
 log                lyxblacktext  0   0 func     x
 
 
 log                lyxblacktext  0   0 func     x


@@ -719,11 +863,72 @@ exp                lyxblacktext  0   0 func     x
 Pr                 lyxblacktext  0   0 funclim  x
 gcd                lyxblacktext  0   0 funclim  x
 deg                lyxblacktext  0   0 func     x
 Pr                 lyxblacktext  0   0 funclim  x
 gcd                lyxblacktext  0   0 funclim  x
 deg                lyxblacktext  0   0 func     x

+bmod               lyxblacktext  0   0 func     x
+
+{                  mathrm        0   0 special  x
+}                  mathrm        0   0 special  x
+$                  mathrm        0   0 special  x
+%                  mathrm        0   0 special  x
+&                  mathrm        0   0 special  x
+## don't remove the space from the beginning of the next line
+ #                 mathrm        0   0 special  x
+
+
+
+#
+# pre-defined macros
+#
+
+\def\neq{\not=}
+\def\ne{\not=}
+\def\notin{\not\in}
+\def\slash{/}
+
+\def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow}
+\def\Longleftrightarrow{\Leftarrow\kern-12.5mu\Rightarrow}
+\def\iff{\Leftarrow\kern-12.5mu\Rightarrow}
+\def\doteq{\stackrel{\cdot}{=}}
+
+iffont cmsy
+\def\longrightarrow{\lyxbar\kern-11mu\rightarrow}
+\def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
+\def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
+\def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
+\def\implies{\Longrightarrow}                                     amsmath
+\def\mapsto{\mapstochar\kern-9mu\rightarrow}
+\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
+\def\models{\vert\kern-7mu\lyxeq}
+endif
+iffont cmm
+\def\hookrightarrow{\lhook\kern-12mu\rightarrow}
+\def\hookleftarrow{\leftarrow\kern-12mu\rhook}
+\def\bowtie{\triangleright\kern-6mu\triangleleft}
+endif
+iffont msa
+\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
+\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
+\def\dasharrow{\dashrightarrow}
+endif
+iffont msb
+\def\Join{\ltimes\kern-18.5mu\rtimes}
+endif
+\def\mathcircumflex{\mbox{\^{}}}{\^}
+# Fixme: latin-1 chars in text file
+\def\AA{\AA}{Å}
+\def\O{\O}{Ø}
+
+iffont cmsy
+# The \sim is placed too high...
+\def\cong{\stackrel{_\sim}{=}}
+lyxsurd               cmsy        112 0 mathord  x
+\def\surd{^\lyxsurd}
+\def\textdegree{\kern-1mu^{\circ}\kern-4mu}
+else
+cong               lyxsymbol             64  0 mathrel  x
+surd               lyxsymbol             214 0 mathord  x
+textdegree         lyxsymbol             176 0 mathord  x
+endif
+
+#"{\hat{}}

 
 

-{                  mathnormal    0   0 special  x
-}                  mathnormal    0   0 special  x
-$                  mathnormal    0   0 special  x
-%                  mathnormal    0   0 special  x
-# don't remove the space from the beginning of the next line
- #                 mathnormal    0   0 special  x