對齊 \Leftrightarrow 和“=”（等於）符號

Question

我正在嘗試對齊 \Leftrightarrows 和等號 (=)，以便等號全部位於一行，而 \leftrightarrows 位於一行。預先感謝您的幫忙。

\begin{align}
          \begin{split}
            g ( t + \Delta t ) &= g ( t ) + \Delta t g ' ( t ) + \frac{1}{2} \Delta t^2 g'' ( \tau ), \quad \tau \in ( t, t + \Delta t ).\\
            \overset{\footnotemark}{\Leftrightarrow} g \underbrace{ ( t + \Delta t ) }_{\eqqcolon  \ \tilde{t}} - g(t) &= \Delta tg' ( t ) + \mathcal{O} ( \Delta t^2 ) \quad \text{für}\quad \Delta t \Rightarrow 0\\
            \Leftrightarrow \qquad g (\tilde{t}) - g (t) &= \Delta tg' (t) + \mathcal{O} ( ( \tilde{t} - t ) ^2 ) \quad \text{für}\quad \tilde{t} \rightarrow t.\\
            \Leftrightarrow \qquad g (\tilde{t}) - g (t) \, &\doteq \, \Delta tg' (t).
          \end{split}
        \end{align}

Answer 1

我不太確定第一行應該如何與其餘行對齊，我也不知道您到底想要方程式編號在哪裡。這是一種可能的實現。我修復了許多有爭議的間距選擇。

\documentclass{article}

\usepackage[utf8]{inputenc}
\usepackage{mathtools}

\begin{document}

\begin{gather}
g(t+\Delta t) = g(t) + \Delta t  \,g'(t) + \frac{1}{2} \, \Delta t^2 g''( \tau ), \quad \tau \in ( t, t + \Delta t ) \nonumber \\
\begin{aligned}
&\overset{\footnotemark}{\Leftrightarrow} %<-- ??
& g {\underbrace{(t+\Delta t)}_{\eqqcolon\tilde{t}}} - g(t) &= \Delta t \, g'(t) + \mathcal{O}(\Delta t^2) &&\text{für $\Delta t\to0$}\\
&\Leftrightarrow & g(\tilde{t}) - g (t) &= \Delta t \, g'(t) + \mathcal{O}\bigl((\tilde{t}-t)^2\bigr) &&\text{für $\tilde{t} \to t$}\\
&\Leftrightarrow & g(\tilde{t}) - g (t) &\doteq \Delta t \, g' (t).
\end{aligned}
\end{gather}

\end{document}

Answer 2

使用alignedat：

\documentclass{article}
\usepackage{mathtools}

\begin{document}

\begin{equation}
\begin{alignedat}{3}
&\quad&
g(t+\Delta t)
&= g(t) + \Delta t g'(t) + \frac{1}{2} \Delta t^2 g''(\tau),
  &\qquad& \tau \in (t,t+\Delta t) 
\\
\overset{\footnotemark}{\Leftrightarrow} &&
g(\,{\underbrace{t+\Delta t}_{\eqqcolon\tilde{t}}}\,) - g(t)
&= \Delta tg'(t) + \mathcal{O}(\Delta t^2)
  && \text{für $\Delta t \Rightarrow 0$}
\\
\Leftrightarrow &&
g(\tilde{t}) - g (t)
&= \Delta tg'(t) + \mathcal{O}((\tilde{t}-t)^2)
  && \text{für $\tilde{t} \rightarrow t$}
\\
\Leftrightarrow &&
g(\tilde{t}) - g (t) 
&\doteq \Delta tg' (t) 
\end{alignedat}
\end{equation}

\end{document}

我做了一些調整：例如\underbrace不應該跨越括號；為程式碼做好準備總是一個好主意\underbrace：

{\underbrace{something}_{tag}}

因為\underbrace可能會影響間距。我還刪除了標點符號，這是不一致的；如果需要，請重新插入。

Answer 3

幾乎相同的解決方案，還有另一個使用ArrowBetweenLines以下命令的解決方案mathtools：

\documentclass{article}
\usepackage{mathtools}
\usepackage{amssymb}

\begin{document}

\begin{align}
      \begin{alignedat}{2}
         & & g ( t + \Delta t ) &= g ( t ) + \Delta t g ' ( t ) + \frac{1}{2} \Delta t^2 g'' ( \tau ), \quad \tau \in ( t, t + \Delta t ).\\
         & \overset{\footnotemark}{\Leftrightarrow} &\qquad g \underbrace{ ( t + \Delta t ) }_{\eqqcolon \ \tilde{t}} - g(t) &= \Delta tg' ( t ) + \mathcal{O} ( \Delta t^2 ) \quad \text{für}\quad \Delta t \Rightarrow 0\\
         & \Leftrightarrow & g (\tilde{t}) - g (t) &= \Delta tg' (t) + \mathcal{O} ( ( \tilde{t} - t ) ^2 ) \quad \text{für}\quad \tilde{t} \rightarrow t.\\
        & \Leftrightarrow & g (\tilde{t}) - g (t) \, &\doteq \, \Delta tg' (t).
      \end{alignedat}
    \end{align}

 \begin{equation}
      \begin{alignedat}{2}
         & & g ( t + \Delta t ) &= g ( t ) + \Delta t g ' ( t ) + \frac{1}{2} \Delta t^2 g'' ( \tau ), \quad \tau \in ( t, t + \Delta t ).\\
          \ArrowBetweenLines
          & \qquad & g \underbrace{ ( t + \Delta t ) }_{\eqqcolon \ \tilde{t}} - g(t) &= \Delta tg' ( t ) + \mathcal{O} ( \Delta t^2 ) \quad \text{für}\quad \Delta t \Rightarrow 0\\
         \ArrowBetweenLines
         & & g (\tilde{t}) - g (t) &= \Delta tg' (t) + \mathcal{O} ( ( \tilde{t} - t ) ^2 ) \quad \text{für}\quad \tilde{t} \rightarrow t.\\
         \ArrowBetweenLines
         & & g (\tilde{t}) - g (t) \, &\doteq \, \Delta tg' (t).
      \end{alignedat}
    \end{equation}

\end{document}