Suppose I have a theorem that says that three statements are equivalent. When writing out a proof of such a theorem, I like to use the following formatting:

Proof: (͟1͟)͟ ͟=͟>͟ ͟(͟2͟)͟ | *proof here*

(͟2͟)͟ ͟=͟>͟ ͟(͟1͟)͟ | *proof here*


Is there a nice way to do something like this in LaTeX? I'm not sure if this has a name, so I wasn't able to figure out if it had already been asked.

  • You might use a customised description environment for that, for instance. Do you want those rules, oor are they here to make your question clearer? – Bernard Apr 25 '18 at 19:09
  • 1
    I just type in (x)$\implies$(y) and leave a blank line before the parts from the second on. – egreg Apr 25 '18 at 20:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.