Horizontale Positionierung vertikaler Pfeile zwischen Zeilen in einer Ausrichtung

Question

Ich versuche eine Konstruktion wie

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

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

um gut auszusehen. Das Problem ist, dass das \Downarrownicht horizontal zwischen den =Zeichen zentriert ist. Ich verstehe zwar, warum das passiert und warum ein \mathrel{\Downarrow}nicht hilft, aber ich weiß nicht, wie ich das beheben kann. Ich kenne die \ArrowBetweenLines[\Downarrow]Funktion in mathtools, aber die dient dazu, den Pfeil links von den ausgerichteten Linien zu platzieren. Idealerweise hätte ich gerne etwas, das genauso funktioniert \vdotswithin{=}wie (von mathtools). Gibt es das irgendwo? Oder wäre es schwierig, manuell „ein entsprechendes Feld zu erstellen und ein“ „zentriert darin“ {}={}zu setzen ?\Downarrow

Answer 1

Hier ist die Definition von \vdotswithinvonmathtools:

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

Sie können dies beispielsweise folgendermaßen aktualisieren \symbolwithin{<symbol>}{<within symbol>}:

\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

Hier habe ich den Abwärtspfeil in ein Kästchen in der Größe eines Gleichheitszeichens gesetzt

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