From 419b51172a1d98c0bc896fcb69f453e1db31bb77 Mon Sep 17 00:00:00 2001
From: Georg Baum <georg.baum@post.rwth-aachen.de>
Date: Mon, 19 Dec 2011 20:16:05 +0000
Subject: [PATCH] fix r40522 (thanks Kornel)

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@40526 a592a061-630c-0410-9148-cb99ea01b6c8
---
 lib/chkconfig.ltx       |  1 +
 lib/doc/LaTeXConfig.lyx | 28 ++++++++++++++++++++++++++++
 lib/unicodesymbols      | 10 +++++-----
 3 files changed, 34 insertions(+), 5 deletions(-)

diff --git a/lib/chkconfig.ltx b/lib/chkconfig.ltx
index b00e61294b..65b8559ac9 100644
--- a/lib/chkconfig.ltx
+++ b/lib/chkconfig.ltx
@@ -286,6 +286,7 @@
 \TestPackage{luainputenc}
 \TestPackage{mathdots}
 \TestPackage{mathrsfs}
+\TestPackage{mathtools}
 \TestPackage{mhchem}
 \TestPackage[mongolian.ldf]{mongolian}
 \TestPackage{multirow}
diff --git a/lib/doc/LaTeXConfig.lyx b/lib/doc/LaTeXConfig.lyx
index 950b10c6d1..54c1b0be7d 100644
--- a/lib/doc/LaTeXConfig.lyx
+++ b/lib/doc/LaTeXConfig.lyx
@@ -5125,6 +5125,34 @@ Math
  of all math dots commands in a document.
 \end_layout
 
+\begin_layout Subsection
+mathtools
+\end_layout
+
+\begin_layout Description
+Found: 
+\begin_inset Info
+type  "package"
+arg   "mathdots"
+\end_inset
+
+
+\end_layout
+
+\begin_layout Description
+CTAN: 
+\family typewriter
+macros/latex/contrib/mh/
+\end_layout
+
+\begin_layout Description
+Notes: The package 
+\family sans
+mathtools
+\family default
+ is used by LyX for some unicode symbols.
+\end_layout
+
 \begin_layout Subsection
 mhchem
 \end_layout
diff --git a/lib/unicodesymbols b/lib/unicodesymbols
index 305fb25f1d..01cf173f4c 100644
--- a/lib/unicodesymbols
+++ b/lib/unicodesymbols
@@ -1909,12 +1909,12 @@
 0x2234 ""                         "" "" "\\therefore" "amssymb" # THEREFORE
 0x2235 ""                         "" "" "\\because" "amssymb" # BECAUSE
 #0x2236 ""                         "" "" "" "" # RATIO
-0x2237 ""                         "" "" "" "\\dblcolon" "mathtools" # PROPORTION
+0x2237 ""                         "" "" "\\dblcolon" "mathtools" # PROPORTION
 #0x2238 ""                         "" "" "" "" # DOT MINUS
-0x2239 ""                         "" "" "" "\\eqcolon" "mathtools" # EXCESS
+0x2239 ""                         "" "" "\\eqcolon" "mathtools" # EXCESS
 #0x223a ""                         "" "" "" "" # GEOMETRIC PROPORTION
 #0x223b ""                         "" "" "" "" # HOMOTHETIC
-0x223c ""                         "" "" "" "\\sim" # TILDE OPERATOR
+0x223c ""                         "" "" "\\sim" "" # TILDE OPERATOR
 #0x223d ""                         "" "" "" "" # REVERSED TILDE
 #0x223e ""                         "" "" "" "" # INVERTED LAZY S
 #0x223f ""                         "" "" "" "" # SINE WAVE
@@ -1938,8 +1938,8 @@
 #0x2251 ""                         "" "" "" "" # GEOMETRICALLY EQUAL TO
 #0x2252 ""                         "" "" "" "" # APPROXIMATELY EQUAL TO OR THE IMAGE OF
 #0x2253 ""                         "" "" "" "" # IMAGE OF OR APPROXIMATELY EQUAL TO
-0x2254 ""                         "" "" "" "\\coloneqq" "mathtools" # COLON EQUALS
-0x2255 ""                         "" "" "" "\\\eqqcolon" "mathtools"  # EQUALS COLON
+0x2254 ""                         "" "" "\\coloneqq" "mathtools" # COLON EQUALS
+0x2255 ""                         "" "" "\\eqqcolon" "mathtools" # EQUALS COLON
 #0x2256 ""                         "" "" "" "" # RING IN EQUAL TO
 #0x2257 ""                         "" "" "" "" # RING EQUAL TO
 #0x2258 ""                         "" "" "" "" # CORRESPONDS TO