如何使方程式居中对齐以及使蕴涵箭头左对齐

Question

我正在尝试在一个证明中对齐多个方程，并使用蕴涵箭头来表示下一步。

我希望方程式像平常一样居中align，但我也希望蕴涵箭头左对齐。

我想象箭头看起来像，\tag*{$\implies$}但在左侧。

我尝试过对对齐环境进行不同的操作，但无法实现我想要的效果。

\begin{align*}
    a &= b \\
    \implies 2a &= 2b \\
    \implies f(2a) &= f(2b) \\
\end{align*}

\begin{align*}
    && a &= b \\
    \implies&& 2a &= 2b \\
    \implies&& f(2a) &= f(2b) \\
\end{align*}

\begin{align*}
    & a &&= b \\
    \implies& 2a &&= 2b \\
    \implies& f(2a) &&= f(2b) \\
\end{align*}

Answer 1

像这样？

（红色留白表示文本区域边框）

\documentclass{article}
\usepackage{amsmath}

\begin{document}
\begin{alignat*}{3}
&               &\quad       a & = b \\
&   \implies    &\quad      2a & = 2b \\
&   \implies    &\quad   f(2a) & = f(2b)
\end{alignat*}
\end{document}

\documentclass{article}
\usepackage{amsmath}

\begin{document}
\begin{flalign*}
&               &       a & = b     &   \\
&   \implies    &      2a & = 2b    &   \\
&   \implies    &   f(2a) & = f(2b) &
\end{flalign*}
\end{document}

编辑： 或者您正在寻找以下内容：

\documentclass{article}
\usepackage{amsmath}

\begin{document}
\begin{flalign*}
&               &       a & = b     &   \\
&   \implies    &      2a & = 2b    &   \\
&   \implies    &   f(2a) & = f(2b) &
\end{flalign*}
\end{document}

Answer 2

ArrowBetweenLines来自的命令怎么样mathtools？

\documentclass{article}
\usepackage{mathtools}

\begin{document}

\begin{alignat*}{2}
 & & a &= b \\
\ArrowBetweenLines [\implies] & & 2a &= 2b \\
\ArrowBetweenLines [\implies] & & f(2a) &= f(2b) \\
\end{alignat*}

\end{document} 

Answer 3

您可以尝试手动完成（但这不是一个很好的例子），而且这是您所需要的还是我理解您的意思？

\documentclass[a4paper,14pt]{extreport}
\usepackage{amssymb}
\usepackage{amsmath}
\begin{document}

\begin{align*}
a &= b \\
\implies  \quad\hspace{0.7cm}  2a &= 2b \\
\implies \quad f(2a) &= f(2b) \\
\end{align*}

\end{document}