在等号上添加垂直箭头+数学公式

Question

我想知道是否有一种简单的方法可以在等号上添加垂直箭头和数学公式。箭头的高度也应该以舒适的方式改变。

在 Tex Stack Exchange 上我只找到了如何在等号上添加文本。

非常感谢您的意愿。

编辑：目标是在关系链中出现的每个等号上写出等式；a=b=c=d=e=f...

Answer 1

也许这是一个解决方案：

\documentclass{article}
\usepackage{graphicx,mathtools}
\newcommand{\equparrow}[1][1]{\stackrel{\text{\scalebox{1}[#1]{$\uparrow$}}}{=}}
\newcommand{\equparrowx}[2][1]{\stackrel{\mathclap{#2}}{\equparrow[#1]}}
\begin{document}
\begin{align*}
b&=a/c\\[-.5\baselineskip]
a&\equparrow b\\[-.5\baselineskip]
a&\equparrow[2] \frac12
\end{align*}
\[a\equparrowx{a=b/c}b\]
\[a\equparrowx[1.5]{a=b/c}b\]
\end{document}

Answer 2

另一个简单的解决方案：

\documentclass{article}
\usepackage{mathtools}
\usepackage{old-arrows}
\newcommand{\eqstackrel}[1]{\stackrel{\substack{\mathclap{#1}\\[0.5ex]\displaystyle\uparrow\\ ~}}{ = } }

\begin{document}

    \[ a\eqstackrel{b = a/c} b \]%

\end{document} 

Answer 3

对于那些不想使用数学工具的人（例如因为underbrace 看起来很奇怪），可以\mathclap通过进行交换\ensuremath。我也改成uparrow了downarrow：

\documentclass{article}
\usepackage{amsmath}
\newcommand{\eqstackrel}[1]{\stackrel{\substack{\ensuremath{#1} \\ [0.5ex] \displaystyle \downarrow \\ ~}}{ = } }

\begin{document}

    \[ a\eqstackrel{b = a/c} b \]%

\end{document}

（改编自@Bernard 的回答）

Answer 4

另一种解决方案可能是使用类似包的交换图xy：

\documentclass[a4paper,12pt]{article}
\usepackage[all,cmtip]{xy}
\begin{document}
\xymatrix@R=1.3pc{\scriptstyle{a=b/c}&\\
a=b \ar[u]&}
\end{document}

垂直箭头可以从参数增加或减少1.3。