区分证明的各个部分

Question

假设我有一个定理，它指出三个陈述是等价的。在写出此类定理的证明时，我喜欢使用以下格式：

证明：（͟1͟）͟͟=͟>͟͟（͟2͟）͟|*证据在此*

（͟2͟）͟͟=͟>͟͟（͟1͟）͟| *证据在此*

ETC。

有没有一种好的方法可以在 LaTeX 中完成这样的事情？我不确定这是否有名字，所以我无法弄清楚是否已经有人问过。