From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Sat, 11 Jan 2020 04:23:49 +0000 (-0700)
Subject: Introduce \jump and \average commands to be used in the documentation.
X-Git-Tag: v9.2.0-rc1~693^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b4491ecbac3c8c182842d058598350ec5082d4db;p=dealii.git

Introduce \jump and \average commands to be used in the documentation.
---

diff --git a/doc/doxygen/extra.sty b/doc/doxygen/extra.sty
index 043ebd4034..36801f6325 100644
--- a/doc/doxygen/extra.sty
+++ b/doc/doxygen/extra.sty
@@ -20,3 +20,5 @@
 % ./doc/doxygen/scripts/mod_header.pl.in
 \newcommand{\vcentcolon}{\mathrel{\mathop{:}}}
 \newcommand{\dealcoloneq}{\vcentcolon\mathrel{\mkern-1.2mu}=}
+\newcommand{\jump}[1]{\left[\!\left[ #1 \right]\!\right]}
+\newcommand{\average}[1]{\left\{\!\left\{ #1 \right\}\!\right\}}
diff --git a/doc/doxygen/scripts/mod_header.pl.in b/doc/doxygen/scripts/mod_header.pl.in
index e05628590e..ab680e0942 100644
--- a/doc/doxygen/scripts/mod_header.pl.in
+++ b/doc/doxygen/scripts/mod_header.pl.in
@@ -45,5 +45,7 @@ if (eof)
     print '<div style="display:none">', "\n";
     print '\(\newcommand{\vcentcolon}{\mathrel{\mathop{:}}}\)', "\n";
     print '\(\newcommand{\dealcoloneq}{\vcentcolon\mathrel{\mkern-1.2mu}=}\)', "\n";
+    print '\(\newcommand{\jump}[1]{\left[\!\left[ #1 \right]\!\right]}\)', "\n";
+    print '\(\newcommand{\average}[1]{\left\{\!\left\{ #1 \right\}\!\right\}}\)', "\n";
     print '</div>', "\n";
 }