From 64ea3b858ff7a087bc9c1b912f5bf4f44bd2b835 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth 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 '', "\n"; print '
', "\n"; - print '\(\newcommand{\dealcoloneq}{\mathrel{\vcenter{:}=}}\)', "\n"; + print '\(\newcommand{\vcentcolon}{\mathrel{\mathop{:}}}\)', "\n"; + print '\(\newcommand{\dealcoloneq}{\vcentcolon\mathrel{\mkern-1.2mu}=}\)', "\n"; print '
', "\n"; } -- 2.39.5