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.