如何在冗长的方程式中完美地添加文字和箭头？

Question

这是 Dozenal Society 的一篇论文的截图：

我想问一下，如何在 LaTeX 中制作那些箭头，就像在他们的方程式中那样。

还有一些其他的事情：这三个数学环境是否位于被分成三个的小页面中？

我猜测进行证明的方法是在适当的位置创建一个align*环境？&

不过，主要问题是那些箭头。我从未使用过它们，但我确实想知道如何制作它们。