From d30fe45f4c721bb9fe4d750fba127ddd6652e95a Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Wed, 25 May 2016 15:14:18 +0200
Subject: [PATCH] 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.
---
 lib/symbols | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/symbols b/lib/symbols
index 6106b46a3b..279e64ecf0 100644
--- 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