103 lines
3.0 KiB
TeX
103 lines
3.0 KiB
TeX
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
% Copyright © 2022 Maximilian Keßler
|
|
%
|
|
% This work may be distributed and/or modified
|
|
%
|
|
% 1. under the LaTeX Project Public License and/or
|
|
% 2. under the GNU General Public License
|
|
%
|
|
% Distribution under conditions of the LaTeX Project Public License,
|
|
% requires either version 1.3 of this license or (at your option)
|
|
% any later version.
|
|
% The latest version of this license is in
|
|
% http://www.latex-project.org/lppl.txt
|
|
% and version 1.3 or later is part of all distributions of LaTeX
|
|
% version 2005/12/01 or later.
|
|
%
|
|
% This work has the LPPL maintenance status \`maintained'.
|
|
%
|
|
% The Current Maintainer of this work is Maximilian Keßler.
|
|
%
|
|
%
|
|
% Distribution under the GNU General Public License requires either
|
|
% version 3 or (at your opinion) any later version.
|
|
%
|
|
% This package has been generated by PyTeX, available at
|
|
% https://github.com/kesslermaximilian/PyTeX
|
|
% and built from source file 'subproof.pysty'.
|
|
% It is STRONGLY DISCOURAGED to edit this source file directly, since local
|
|
% changes will not be versioned by Git and overwritten by the next build. Always
|
|
% edit the source file and build the package again.
|
|
%
|
|
% Build details:
|
|
% PyTeX version: v1.7-4-gc9bb0e8 (commit c9bb0e8)
|
|
% Source code version: v2.6-3-g31a9aae (commit 31a9aae)
|
|
%
|
|
% This LaTeX package is free software and is dual-licensed
|
|
% under the LPPLv1.3c and the GPLv3 licenses.
|
|
% You may use it freely for your purposes.
|
|
% The latest version of the package sources can be obtained
|
|
% via GitLab under
|
|
% https://gitlab.com/latexci/packages/LatexPackages
|
|
% The latest version of the built packages can be obtained via GitLab under
|
|
% https://gitlab.com/latexci/packages/LatexPackagesBuild
|
|
% For further information see the urls above.
|
|
% Reportings of bugs, suggestions and improvements are welcome, see the README
|
|
% at the Git repository for further information.
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
|
\NeedsTeXFormat{LaTeX2e}
|
|
\ProvidesPackage{mkessler-subproof}[2022/03/13 - Subproof environment with black square at end of proof.]
|
|
|
|
|
|
|
|
\RequirePackage{amssymb}
|
|
\RequirePackage{amsthm}
|
|
\RequirePackage{xparse}
|
|
\RequirePackage{refcount}
|
|
\RequirePackage{translator}
|
|
|
|
\usedictionary{translator-proof-dictionary}
|
|
|
|
\DeclareRobustCommand{\blackqed}{%
|
|
\ifmmode \mathqed
|
|
\else
|
|
\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
|
|
\quad\hbox{$\blacksquare$}%
|
|
\fi
|
|
}
|
|
|
|
\newcommand\rawsubproof[1]
|
|
{
|
|
\pushQED
|
|
{
|
|
\blackqed
|
|
}%
|
|
\normalfont \topsep6\p@\@plus6\p@\relax
|
|
\trivlist
|
|
\item[\hskip\labelsep
|
|
\itshape
|
|
#1\@addpunct{.}]\ignorespaces
|
|
}
|
|
|
|
\newcommand\rawendsubproof
|
|
{
|
|
\popQED\endtrivlist\@endpefalse
|
|
}
|
|
|
|
|
|
%%subproof environment - essentially copied proof environment from amsthm and modified its name + symbol
|
|
\DeclareDocumentEnvironment{subproof}{ o }
|
|
{
|
|
\IfValueTF{#1}
|
|
{
|
|
\rawsubproof{#1}
|
|
}
|
|
{
|
|
\rawsubproof{\translate{Subproof}}
|
|
}
|
|
}
|
|
{
|
|
\rawendsubproof
|
|
}
|