在对齐环境中排列箭头

Question

我有以下代码，但我不知道如何将两个水平线\Longleftrightarrow垂直对齐，使其比现在的位置更高。理想情况下，它们只需要垂直向上移动一点，以便其中一个垂直位于c_2和之间c_1，另一个位于 和c_3之间c_4。

\begin{align}
a(y)&=1-a(-y)\nonumber\\
&\Uparrow \nonumber\\
m_u=1/m_l \quad\quad\,\, c_2&=c_3 \quad\quad\,\,  \lambda_0=\lambda_1\nonumber\\
t_u=-t_l\Longleftrightarrow c_1&=c_4 \Longleftrightarrow \mu_0=\mu_1 \nonumber\\
&\Updownarrow \nonumber\\
f_1(y)&=f_0(-y)
\end{align}

这是我第一次在这里提问，如果有错误请多包涵。提前致谢。

Answer 1

一种选择：

代码：

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{align}
a(y)&=1-a(-y)\nonumber\\
&\Uparrow \nonumber\\
m_u=1/m_l \quad\quad\,\, c_2&=c_3 \quad\quad\,\,  \lambda_0=\lambda_1\nonumber\\
t_u=-t_l\raisebox{1.5ex}[0pt][0pt]{${}\Longleftrightarrow{}$} c_1&=c_4 \raisebox{1.5ex}[0pt][0pt]{${}\Longleftrightarrow{}$} \mu_0=\mu_1 \nonumber\\
&\Updownarrow \nonumber\\
f_1(y)&=f_0(-y)
\end{align}

\end{document}

或者，使用aligned，用于垂直居中标签：

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{equation}
\begin{aligned}
a(y)&=1-a(-y) \\
&\Uparrow  \\
m_u=1/m_l \quad\quad\,\, c_2&=c_3 \quad\quad\,\,  \lambda_0=\lambda_1 \\
t_u=-t_l\raisebox{1.5ex}[0pt][0pt]{${}\Longleftrightarrow{}$} c_1&=c_4 \raisebox{1.5ex}[0pt][0pt]{${}\Longleftrightarrow{}$} \mu_0=\mu_1 \\
&\Updownarrow \\
f_1(y)&=f_0(-y)
\end{aligned}
\end{equation}

\end{document}

Answer 2

带有的图表tikz-cd似乎是个不错的选择；唯一的技巧是将上部和下部项目设置在零宽度框中。

\documentclass{article}
\usepackage{amsmath,tikz-cd}

\begin{document}

\begin{equation}
\begin{tikzcd}[row sep=1.2em,column sep=1.5em]
& \makebox[0pt]{$a(y)=1-a(-y)$} \\
\begin{gathered}
m_u=1/m_l\\
t_u=-t_l
\end{gathered}
\arrow[r,Leftrightarrow]
&
\begin{gathered}
c_2=c_3\\
c_1=c_4
\end{gathered}
\arrow[u,Rightarrow]
\arrow[r,Leftrightarrow]
\arrow[d,Leftrightarrow]
&
\begin{gathered}
\lambda_0=\lambda_1\\
\mu_0=\mu_1
\end{gathered}
\\
& \makebox[0pt]{$f_1(y)=f_0(-y)$}
\end{tikzcd}
\end{equation}

\end{document}

可以将条件括起来，如下所示\left\{...\right\}：

\documentclass{article}
\usepackage{amsmath,tikz-cd}

\begin{document}

\begin{equation}
\begin{tikzcd}[row sep=1.2em,column sep=1.5em]
& \makebox[0pt]{$a(y)=1-a(-y)$} \\
\left\{\begin{gathered}
m_u=1/m_l\\
t_u=-t_l
\end{gathered}\right\}
\arrow[r,Leftrightarrow]
&
\begin{gathered}
c_2=c_3\\
c_1=c_4
\end{gathered}
\arrow[u,Rightarrow]
\arrow[r,Leftrightarrow]
\arrow[d,Leftrightarrow]
&
\left\{\begin{gathered}
\lambda_0=\lambda_1\\
\mu_0=\mu_1
\end{gathered}\right\}
\\
& \makebox[0pt]{$f_1(y)=f_0(-y)$}
\end{tikzcd}
\end{equation}

\end{document}