선형의 선 사이 수직 화살표의 수평 위치 지정

Question

나는 같은 건설을 얻으려고 노력하고 있습니다

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

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

좋아 보이려고. 문제는 이 표지판 \Downarrow사이의 수평 중앙에 위치하지 않는다는 것입니다 =. 이런 일이 발생하는 이유와 도움이 되지 않는 이유를 이해하지만 \mathrel{\Downarrow}문제를 해결하는 방법을 모르겠습니다. 나는 \ArrowBetweenLines[\Downarrow]의 기능을 알고 있지만 mathtools그것은 정렬된 선의 왼쪽에 화살표를 두는 것입니다. 나는 이상적으로 \vdotswithin{=}(에서 ) 와 같은 방식으로 작동하는 것을 원할 것입니다 mathtools. 그게 어딘가에 존재하나요? 아니면 수동으로 "해당 상자를 만들고 그 안에 중앙 에 맞춰 {}={}조판"하는 것이 어려울까요 ?\Downarrow

Answer 1

\vdotswithinfrom 의 정의는 다음과 같습니다.mathtools:

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

이것을 다음과 같이 업데이트할 수 있습니다 \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

여기서는 등호 크기의 상자에 아래쪽 화살표를 넣었습니다.

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