summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/ximera/src/proof.dtx
blob: ab86e93f52b9c8e7bdcf187516f2632343fea28f (plain)
1
2
3
4
5
6
7
8
9
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}