LaTeX.org

localghost wrote:Now that the problem is solved, please be so kind and mark the topic accordingly as clearly written in Section 3 of the Board Rules (to be read before posting). Please keep that in mind for the future so that further reminders will not be necessary.

Sorry, done!

Wow, the bussproofs package is perfect. Thanks!

I'm trying to typeset a proof using sequent calculus. I'm using an align* environment, but I can't figure out a way to do lines over each line of the proof, as shown here: http://en.wikipedia.org/wiki/Sequent_calculus#An_example_derivation. Does anyone have any ideas about how to achieve this?

This ...

That works quite nicely. Thank you very much!

I've got a diagram with caption to which I'm trying to add a key. Ideally, I would be able use an enumerated list for the key inside the caption , but LaTeX doesn't like that. It appears one can't use any block elements inside \caption, so how could I put a key with my figure?

\begin{figure}[h ...