diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/piff/newproof.sty |
Initial commit
Diffstat (limited to 'macros/latex/contrib/piff/newproof.sty')
-rw-r--r-- | macros/latex/contrib/piff/newproof.sty | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/macros/latex/contrib/piff/newproof.sty b/macros/latex/contrib/piff/newproof.sty new file mode 100644 index 0000000000..6b9afbad9a --- /dev/null +++ b/macros/latex/contrib/piff/newproof.sty @@ -0,0 +1,60 @@ +% This package defines a "\newproof" command similar to "\newtheorem". +% Its arguments are +% #1 Name of proof environment, eg, "proof". +% #2 Starting text, eg, Proof. +% #3 Finishing text, eg, [] flushed right. +% +% The package goes on to define a "proof" environment with exactly the +% above setup, but other unnumbered environments can be set up in the +% same way. +% +% The created environments take one optional argument, which, if present, +% goes in brackets after #2. Eg, +% +% \begin{proof} +% A proof. +% \end{proof} +% +% \begin{proof}[B. L. User] +% A named proof. +% \end{proof} +% +% \begin{proof}[of Theorem \ref{thm}] +% Yet another. +% \end{proof} +% +% Command "\qed" is set up to flush "\qedtext" right; "\qedtext" defaults +% to a square, but can be re-defined as "QED" or whatever. +% +% M.Piff@shef.ac.uk +% +% This file is placed in the public domain. No provision is made for +% support of the use of the facilities herein. +% +\NeedsTeXFormat{LaTeX2e}[1995/12/01] +\ProvidesPackage{newproof} +\newcommand{\newproof}[3]{ + \newenvironment{#1}[1][]% + {% + \begin{trivlist}% + \item[\hspace{\labelsep}\textnormal{\textbf{#2% + \def\op@@@arg{##1}% + \ifx\op@@@arg\empty + \else~(##1)\fi + }}]% + }% + {% + #3 + \end{trivlist}% + }% +} +\newproof{proof}{Proof}{\qed} +\def\qed{{\ifhmode\unskip\nobreak\hfil\penalty50 \hskip1em \else\nobreak\fi + \mbox{}\nobreak\hfil\qedtext% + \parfillskip=0pt \finalhyphendemerits=0 \par}} + +\def\qedtext{\ensuremath{\square}} +\RequirePackage{amsfonts} +\DeclareMathSymbol{\square} {\mathord}{AMSa}{"03} + + |