]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix \coloneq again. 9284/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 11 Jan 2020 04:16:49 +0000 (21:16 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sat, 11 Jan 2020 04:16:49 +0000 (21:16 -0700)
doc/doxygen/extra.sty
doc/doxygen/scripts/mod_header.pl.in

index 42a4a1e779765e7275b42c81957a865c090d0928..043ebd403439878b5e1a7936ba418a2536051863 100644 (file)
@@ -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}=}
index 6544e8661711a480220ddcfcb6774cfc97e9e1da..e05628590e02272f553cb44000a887e1fba361dc 100644 (file)
@@ -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";
 }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.