X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=691b661222fff9d1d3c8ec8dc11b1af3b352fac6;hb=bdcb7ad91f0a44c22f39354edeb6f4f8c7b207ce;hp=cf9156ab5bfc54ba2f2d4842d6bc6a980a3bb374;hpb=f5a03ab60186e9c53d50946d859c7c99d6566bb5;p=lyx.git

diff --git a/lib/symbols b/lib/symbols
index cf9156ab5b..691b661222 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -819,18 +819,18 @@ 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  ∫  esint
 intop              esint        001    0  mathop  ∫  esint
-iint               esint        003    0  mathop  ∬      esintoramsmath
+iint               esint        003    0  mathop  ∬         esint|amsmath
 iintop             esint        003    0  mathop  ∬      esint
-iiint              esint        005    0  mathop  ∭      esintoramsmath
+iiint              esint        005    0  mathop  ∭        esint|amsmath
 
 iiintop            esint        005    0  mathop  ∭      esint
-iiiint             esint        007    0  mathop  ⨌      esintoramsmath
+iiiint             esint        007    0  mathop  ⨌        esint|amsmath
 
 iiiintop           esint        007    0  mathop  ⨌      esint
 oint               esint        011    0  mathop  ∮      esint
@@ -851,12 +851,12 @@ ointclockwiseop    esint        025    0  mathop  ∲      esint
 else
 int                cmex          82  242  mathop  ∫  esint
 intop              cmex          82  242  mathop  ∫  esint
-iint               wasy         115    0  mathop  ∬      esintoramsmath
+iint               wasy         115    0  mathop  ∬         esint|amsmath
 iintop             wasy         115    0  mathop  &Int      esint
-iiint              wasy         116    0  mathop  ∭      esintoramsmath
+iiint              wasy         116    0  mathop  ∭        esint|amsmath
 
 iiintop            wasy         116    0  mathop  ∭      esint
-\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esintoramsmath
+\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
@@ -925,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
 
 
 #