每个句子距离相等的 $\Leftrightarrow$

Question

我想要这个，但是当我写作时

\documentclass{article}  
\begin{document}
$$x\in\mathcal{W}_{i+1}\Leftrightarrow \exists y\in\mathcal{W}_i : Ex = Ay = (A-\lambda E)y +\lambda Ey$$
$$\Leftrightarrow \exists y\in\mathcal{W}_i = \ker \hat{E}^i : \hat{E}x = (I + \lambda \hat{E})y =: \hat{y}$$
$$\Leftrightarrow \exists \hat{y}\in\ker\hat{E}^i : \hat{E}x = \hat{y}$$
$$\Leftrightarrow x\in \ker \hat{E}^ {i+1}$$ .
\end{document}

我得到了这个

Answer 1

使用对齐环境。

代码：

\documentclass{amsart}  
\begin{document}
\begin{align*}
x\in\mathcal{W}_{i+1}&\Longleftrightarrow \exists y\in\mathcal{W}_i : Ex = Ay = (A-\lambda E)y +\lambda Ey\\
&\Longleftrightarrow \exists y\in\mathcal{W}_i = \ker \hat{E}^i : \hat{E}x = (I + \lambda \hat{E})y =: \hat{y}\\
&\Longleftrightarrow \exists \hat{y}\in\ker\hat{E}^i : \hat{E}x = \hat{y}\\
&\Longleftrightarrow x\in \ker \hat{E}^ {i+1}.\quad  \square
\end{align*}
\end{document}

得出：

我还添加了正方形的代码\square