Fixup 1b2aad9 : Cleanup of spacing in mathed

Now that 5mu are added on each side of : (because it is a relation), there is no need to do the same in the definition of \vcentcolon.

This is closer to what is done in mathtools.sty.

diff --git a/lib/symbols b/lib/symbols
index 6106b46a3b7961ac2bd3be0f76109efdc526f48c..279e64ecf00be8529f998089e151ca16cfedc6fd 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -1103,7 +1103,7 @@ pod                lyxblacktext  0   0 func     x     amsmath
 
 
 # mathtools.sty
-\def\vcentcolon{\kern4mu:\kern3mu}             mathtools
+\def\vcentcolon{:}                             mathtools
 \def\dblcolon{\vcentcolon\kern-8mu\vcentcolon} mathtools
 \def\coloneqq{\vcentcolon\kern-7mu=}           mathtools
 \def\Coloneqq{\dblcolon\kern-7mu=}             mathtools