According to the question asked here and a possible suggestion to the problem which equations should be numbered given here I want to ask following question;
I find it a good solution to number all equations outside a proof-environment for a later reference option. I also share the opinion that equations inside a proof only have a local character, which do not need a global numbering. But I think one is limited to manually use \tag{$\ast$}
on those equations inside a proof which one refers to. In case one restructures a proof, one has to manually change all tags and on the other hand I think it looks silly to have an equation tagged with (****).
Therefore I would like to know if it is possible to have a local equation numbering only for the proof-environment, i.e. to achieve a local numbering inside proofs for equations for which one refers to inside a proof. The numbering should start for every proof from the beginning in alphabetical style (a), (b), (c) and so on and to have a global counter outside proofs.
I guess there might exist some complications since I use cleverref. So it would be good to have a solution to this problem compatible to cleverref. Furthermore I would like to use all typical formula environments like equation, align, gather etc. just with a local counter inside proofs.
amsthm
? What abouthyperref
? – Werner Jan 29 '16 at 8:20amsthm
to create proofs andhyperref
as well. – varsop Jan 29 '16 at 8:25