From b4491ecbac3c8c182842d058598350ec5082d4db Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 10 Jan 2020 21:23:49 -0700 Subject: [PATCH] Introduce \jump and \average commands to be used in the documentation. --- doc/doxygen/extra.sty | 2 ++ doc/doxygen/scripts/mod_header.pl.in | 2 ++ 2 files changed, 4 insertions(+) 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 '
', "\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 '
', "\n"; } -- 2.39.5