两条线中间的垂直等值箭头

Question

我试图用线中间的垂直等值箭头将两个上下相交的语句连接起来。但箭头没有出现在中间，而是出现在两个等式的右侧。我怎样才能让它出现在中间？

\begin{align*} 
\forall (y_1, x_1), (y_2, x_2) \in \mathcal R_f^{-1}: y_1 = y_2 \implies x_1 = x_2 
\\ \Updownarrow \\ 
\forall (x_1, y_1), (x_2, y_2) \in \mathcal R_f: y_1 = y_2 \implies x_1 = x_2. 
\end{align*}

Answer 1

你需要一个gather*这里：

\documentclass{article}

\usepackage{amsmath}

\begin{document}

\begin{gather*} 
  \forall (y_1, x_1), (y_2, x_2) \in \mathcal R_f^{-1}: y_1 = y_2 \implies x_1 = x_2 \\
                                 \Updownarrow                                        \\
    \forall (x_1, y_1), (x_2, y_2) \in \mathcal R_f: y_1 = y_2 \implies x_1 = x_2. 
\end{gather*}

\end{document}

Answer 2

并非完全居中，但相当简单：使用&环境align*来设置对齐的中心点。\Updownarrow然后在两列中的第一列内右对齐：

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{align*} 
\forall (y_1, x_1), (y_2, x_2) \in \mathcal R_f^{-1}&: y_1 = y_2 \implies x_1 = x_2 
\\ \Updownarrow \\ 
\forall (x_1, y_1), (x_2, y_2) \in \mathcal R_f&: y_1 = y_2 \implies x_1 = x_2. 
\end{align*}

\end{document}

Answer 3

在我看来，存在一个专用的命令，mathtools它比居中箭头看起来更好看：

\documentclass{article}
\usepackage{mathtools}

\begin{document}

\begin{alignat*}{2}
 & & \forall (y_1, x_1), (y_2, x_2) \in \mathcal R_f^{-1}&: y_1 = y_2 \implies x_1 = x_2 \\
\ArrowBetweenLines
 & & \forall (x_1, y_1), (x_2, y_2) \in \mathcal R_f&: y_1 = y_2 \implies x_1 = x_2.
\end{alignat*}

\end{document}