]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Introduce \jump and \average commands to be used in the documentation.
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 11 Jan 2020 04:23:49 +0000 (21:23 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Sat, 11 Jan 2020 17:30:26 +0000 (10:30 -0700)
doc/doxygen/extra.sty
doc/doxygen/scripts/mod_header.pl.in

index 043ebd403439878b5e1a7936ba418a2536051863..36801f63253f75fdf33408728af9d5be43215ab4 100644 (file)
@@ -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\}}
index e05628590e02272f553cb44000a887e1fba361dc..ab680e094248097da6a064d293e6de7c7a4e5ad5 100644 (file)
@@ -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";
 }

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.