Posicionamiento horizontal de flechas verticales entre líneas en una alineación

Question

Estoy tratando de conseguir una construcción como

\documentclass{article}
\usepackage{amsmath,mathtools}

\begin{document}
\begin{align*}
  a &= b \\
    &\Downarrow \\
  a &= c
\end{align*}
\end{document}

Para lucir bien. El problema es que \Downarrowno está centrado horizontalmente entre los =carteles. Si bien entiendo por qué sucede esto y por qué \mathrel{\Downarrow}no ayuda, no sé cómo solucionarlo. Conozco la \ArrowBetweenLines[\Downarrow]función en mathtools, pero es para tener la flecha a la izquierda de las líneas alineadas. Lo ideal sería algo que funcione de la misma manera \vdotswithin{=}(de mathtools). ¿Eso existe en alguna parte? ¿O sería difícil "crear manualmente un cuadro correspondiente {}={}y componer un" \Downarrow"centrado en su interior"?

Answer 1

Aquí está la definición de \vdotswithindesdemathtools:

\newcommand\vdotswithin[1]{%
  {\mathmakebox[\widthof{\ensuremath{{}#1{}}}][c]{{\vdots}}}}

Puede actualizar esto a algo llamado \symbolwithin{<symbol>}{<within symbol>}(digamos):

\documentclass{article}

\usepackage{mathtools}

\newcommand\symbolwithin[2]{%
  {\mathmakebox[\widthof{\ensuremath{{}#2{}}}][c]{{#1}}}}

\begin{document}

\begin{align*}
  a &= b \\
    &\symbolwithin{\Downarrow}{=} \\
  a &= c
\end{align*}

\end{document}

Answer 2

Aquí, puse la flecha hacia abajo en un cuadro del tamaño de un signo igual.

\documentclass{article}
\usepackage{amsmath,mathtools,calc}
\begin{document}
\begin{align*}
  a &= b \\
    &\makebox[\widthof{${}={}$}]{$\Downarrow$} \\
  a &= c
\end{align*}
\end{document}