From: Wolfgang Bangerth Date: Sat, 11 Jan 2020 04:16:49 +0000 (-0700) Subject: Fix \coloneq again. X-Git-Tag: v9.2.0-rc1~698^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9284%2Fhead;p=dealii.git Fix \coloneq again. --- 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"; }