From 64ea3b858ff7a087bc9c1b912f5bf4f44bd2b835 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 10 Jan 2020 21:16:49 -0700
Subject: [PATCH] Fix \coloneq again.

---
 doc/doxygen/extra.sty                | 3 ++-
 doc/doxygen/scripts/mod_header.pl.in | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/doxygen/extra.sty b/doc/doxygen/extra.sty
index 42a4a1e779..043ebd4034 100644
--- a/doc/doxygen/extra.sty
+++ b/doc/doxygen/extra.sty
@@ -18,4 +18,5 @@
 
 % Note: If you add an entry here, also put it into
 % ./doc/doxygen/scripts/mod_header.pl.in
-\newcommand{\dealcoloneq}{\mathrel{\vcenter{:}=}}
+\newcommand{\vcentcolon}{\mathrel{\mathop{:}}}
+\newcommand{\dealcoloneq}{\vcentcolon\mathrel{\mkern-1.2mu}=}
diff --git a/doc/doxygen/scripts/mod_header.pl.in b/doc/doxygen/scripts/mod_header.pl.in
index 6544e86617..e05628590e 100644
--- a/doc/doxygen/scripts/mod_header.pl.in
+++ b/doc/doxygen/scripts/mod_header.pl.in
@@ -43,6 +43,7 @@ if (eof)
 {
     print '<!--Extra macros for MathJax:-->', "\n";
     print '<div style="display:none">', "\n";
-    print '\(\newcommand{\dealcoloneq}{\mathrel{\vcenter{:}=}}\)', "\n";
+    print '\(\newcommand{\vcentcolon}{\mathrel{\mathop{:}}}\)', "\n";
+    print '\(\newcommand{\dealcoloneq}{\vcentcolon\mathrel{\mkern-1.2mu}=}\)', "\n";
     print '</div>', "\n";
 }
-- 
2.39.5