diff options
Diffstat (limited to 'macros/latex/contrib/ximera/src/proof.dtx')
-rw-r--r-- | macros/latex/contrib/ximera/src/proof.dtx | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/macros/latex/contrib/ximera/src/proof.dtx b/macros/latex/contrib/ximera/src/proof.dtx new file mode 100644 index 0000000000..ab86e93f52 --- /dev/null +++ b/macros/latex/contrib/ximera/src/proof.dtx @@ -0,0 +1,10 @@ +% \subsubsection{Proofs} +% \DescribeEnv{proof}{A mathematical proof environment.} +% \begin{macrocode} +%<*classXimera> +\renewcommand{\qedsymbol}{$\blacksquare$} +\renewenvironment{proof}[1][\proofname] + {\begin{trivlist}\item[\hskip \labelsep \itshape \bfseries #1{}\hspace{2ex}]} +{\qed\end{trivlist}} +%</classXimera> +% \end{macrocode} |