proof style

[gusl]

I'd really like to write "end suppose" in the camera-ready version of my paper.

Comments

[wjl.livejournal.com]

Fitch-style natural deduction!

[gustavolacerda.livejournal.com]

I really think this would help clarity sometimes. Can't say for sure, since I haven't read math papers in a while.

I'd like to have such structure, at least as metadata. I wonder if you can have interactive PDFs (like, e.g. alt text when your rest your mouse on a proof).

[bhudson.livejournal.com]

You can certainly have links. So you could hack up a macro that puts in an endnote, and pdflatex would put in a link to the reference.

Edit: Or you could google before saying such silly things, and realize that there *is* of course already a package called 'endnote' [no relation to EndNote(TM)] to do exactly this.

[gustavolacerda.livejournal.com]

so you mean the endnote would essentially be an appendix, containing the metadata or the formatted proof?

[bhudson.livejournal.com]

Right, that's my vision. You'd say informal bullshit\endnote{formal proof}, therefore I rule.

[gustavolacerda.livejournal.com]

can one change a parameter to produce an endnote-less PDF, for the camera-ready submission?

[bhudson.livejournal.com]

presumably
\renewcommand{\endnote}[1]{}

[rdore.livejournal.com]

Often, this ought to be obvious from context. If it isn't obvious, you ought to remind the reader what you're doing and what "suppose" you're closing off.

[gustavolacerda.livejournal.com]

<< you ought to remind the reader what you're doing and what "suppose" you're closing off. >>

how do you refer to the different supposes in the context? by line number?

[rdore.livejournal.com]

Ideally you can describe what you're doing. ("This completes the argument by contradiction showing that ...")

Also:
http://en.wikibooks.org/wiki/LaTeX/Labels_and_Cross-referencing