witharrows 包，在等号之间放置垂直箭头

Question

我正在尝试使用 witharrows 包在方程线之间添加解释。当我使用箭头时，以下是我使用图像下方的代码片段得到的结果。

\documentclass{article}
\usepackage{witharrows}
\begin{document}
$\begin{WithArrows}
z & =(a^2-b^2)(a^2+b^2)\Arrow[tikz={bend left=0}]{because~$(x-y)(x+y)=x^2-y^2$}\\
& =a^4-b^4
\end{WithArrows}$
\end{document}

但是，我希望将垂直箭头和文本移动到两个等号之间的空间（以最小化方程的横向尺寸）。下面是我通过移动上图中的组件手动创建的图像，以向您展示我想要的最终结果。

本质上，我希望将箭头节点从等式线的右侧移动到第一个等号的底部和第二个等号的顶部，以将箭头放在两个等式之间。

有什么办法吗？使用箭头还是创建自己的命令？（我需要经常使用此功能，因此最好使用最简单的方法）我对 Latex 还很陌生，因此我需要一些指导。

十分感谢你的帮助！

Answer 1

您可以简单地在对齐环境中添加一条线（如果您想要更漂亮的效果，仍然可以使用 tikz 来制作箭头）：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
z & =(a^2-b^2)(a^2+b^2)\\
&\,\Downarrow \text{because } (x-y)(x+y)=x^2-y^2 \\
& =a^4-b^4
\end{align*}
\end{document}