如何在方程环境中旋转符号？

Question

我想在方程环境中创建以下方程

但是，我不知道如何插入连接两条线的等号。这可以在方程环境中完成吗？如果不行，我们应该继续吗？

提前感谢您的关注。

Answer 1

很可能某个地方存在一些非常相似的答案，但我无法找到它。

\documentclass{article}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{eqparbox}
\begin{document}
\begin{align*}
 \eqmakebox[pft]{$\widetilde{h\circ\partial+\partial\circ h}$}&=
 \widetilde{h\circ\partial}+\widetilde{\partial\circ h}=
 \widetilde{h}\circ\widetilde{\partial}+\widetilde{\partial}\circ\widetilde{h}\\
 \eqmakebox[pft][c]{\rotatebox[origin=c]{90}{$=$}}&\\
 \widetilde{(\bar\ell_1)_{\#}+(\bar\ell_1)_{\#}}&=
 \widetilde{(\bar\ell_1)_{\#}}+\widetilde{(\bar\ell_1)_{\#}}
 =(\bar\ell_1)^{\#}+(\bar\ell_1)^{\#}
\end{align*}
\end{document}

或者用很宽的波浪线这个答案。

\documentclass{article}
\usepackage{mathtools}
\usepackage{scalerel}
\usepackage{stackengine,wasysym}

\newcommand\reallywidetilde[1]{\ThisStyle{%
  \setbox0=\hbox{$\SavedStyle#1$}%
  \stackengine{-.1\LMpt}{$\SavedStyle#1$}{%
    \stretchto{\scaleto{\SavedStyle\mkern.2mu\AC}{.5150\wd0}}{.6\ht0}%
  }{O}{c}{F}{T}{S}%
}}
\usepackage{eqparbox}
\begin{document}
\begin{align*}
 \eqmakebox[pft]{$\reallywidetilde{h\circ\partial+\partial\circ h}$}&=
 \reallywidetilde{h\circ\partial}+\reallywidetilde{\partial\circ h}=
 \widetilde{h}\circ\widetilde{\partial}+\widetilde{\partial}\circ\widetilde{h}\\
 \eqmakebox[pft][c]{\rotatebox[origin=c]{90}{$=$}}&\\
 \reallywidetilde{(\bar\ell_1)_{\#}+(\bar\ell_1)_{\#}}&=
 \reallywidetilde{(\bar\ell_1)_{\#}}+\reallywidetilde{(\bar\ell_1)_{\#}}
 =(\bar\ell_1)^{\#}+(\bar\ell_1)^{\#}
\end{align*}
\end{document}

对于未来，我希望您展示您所尝试过的方法，以便其他人不必从屏幕截图中输入公式。

Answer 2

eqparbox以下是使用和yhmath（对于）的方法\widetilde：

\documentclass{article}
\usepackage{mathtools}
\usepackage{yhmath}
\usepackage{eqparbox, graphicx} 

\newcommand*{\eqmathbox}[2][M]{\eqmakebox[#1]{$\displaystyle#2$}}

\begin{document}

  \begin{align*}
  \eqmathbox{ \widetilde{h\circ \partial + \partial\circ h}} & = \widetilde{h\circ \partial} +\widetilde{ \partial\circ h} =\bar{\partial}\circ \widetilde{h}+ \widetilde{h}\circ\bar{\partial} \\[-1ex]
\eqmathbox{\rotatebox[origin=c]{90}{$ = $}} \\[-0.5ex]
    \eqmathbox{\widetilde{(u_{1})_{\sharp}-(u_{0})_{\sharp}}} & = \widetilde{(u_{1})}_{\sharp}- \widetilde{(u_{0})}_{\sharp} = (i_{1})^{\sharp}- (i_{0})^{\sharp}
  \end{align*}

\end{document}