Skip to main content
8 events
when toggle format what by license comment
May 10, 2017 at 6:55 vote accept varsop
May 9, 2017 at 14:58 history edited Andrew Swann CC BY-SA 3.0
Added new variation.
May 9, 2017 at 14:56 comment added Andrew Swann Yes, that works. I'll mention it in my answer.
May 9, 2017 at 14:43 comment added varsop Is this okay? \newcounter{equationstore} \newcounter{proofnum} \AtBeginEnvironment{proof}{\mathtoolsset{showonlyrefs=true}\setcounter{equationstore}{\value{equation}} \refstepcounter{proofnum} \setcounter{equation}{0}\renewcommand{\theequation}{\arabic{equation}$^*$} \renewcommand{\theHequation}{\arabic{proofnum}.\arabic{equation}$^*$}} \AtEndEnvironment{proof}{\mathtoolsset{showonlyrefs=false}\setcounter{equation}{\value{equationstore}}}
May 9, 2017 at 14:38 comment added varsop EDIT: Maybe one can switch on 'showonlyrefs' when entering a proof and switch it off at the end?
May 9, 2017 at 14:29 comment added varsop I have to uncheck this answer, since finally I came a across a misbehavior of the solution. What I want is to have showonlyrefs for referenced equations inside proofs, with a new counter for every proof, but on the opposite to display all equation numbers outside proof-environments (includes the non-referenced ones). I could use \noeqref for all equations outside proof-environments, but this is merely a workaround.
Apr 14, 2017 at 16:08 vote accept varsop
May 9, 2017 at 14:29
Apr 12, 2017 at 15:49 history answered Andrew Swann CC BY-SA 3.0