I'm writing an article which contains some quite long proofs, some of which include claims with proofs of their own.
I dealt with that by adding a claim environment using \newtheorem
, but there's a slight inconvenience that arose from that: when I write a proof of a claim, then after \end{proof}
a QED symbol is shown much like at the end of the proof of the main theorem, which can be confusing when the claim is in the middle of the proof as it seems like the proof is done while it's actually not, and at the end of the proof, when suddenly there's two QED signs.
I dealt with that by putting a
\renewcommand{\qedsymbol}{$\square$ (claim)}
line before the end of the proof. However, I imagine it could be rather tedious when writing long-ish documents with many claims. So, is there any way to do that for all claims at once?
I would also welcome suggestions as to how to do it “the right way” if I'm doing something terribly wrong.
\newenvironment{claimproof}[1][\proofname]{\proof[#1]\renewcommand{\qedsymbol}{$\square$ (claim)}}{\endproof}
and then use{claimproof}
environment instead of{proof}
.$f$
and$g$
are orthogonal", where these are previously discussed functions. The proof of a claim is usually just ended with a statement that the claim has been proven. A claim usually has a one- or at most two-paragraph proof. Any longer than that and it should probably be a lemma. The same if it needs to be refered to.