\documentclass{jarticle}
\usepackage{amsmath}
\usepackage{array,graphicx}

\newcommand{\req}{\rotatebox{90}{$=$}} 

\begin{document}

\begin{equation}\label{eq:eq1}
a=b
\end{equation}

\begin{equation}
\setlength{\arraycolsep}{0pt}
\jot=-3pt
\begin{array}{*{3}{c>{{}}c<{{}}}cl}
a & = & b & + & c & + & d \\
\req &&&&&& \req \\
ef &&&&&& g \\
&&&&&& \req &{}\leftarrow\mbox{\eqref{eq:eq1}から}\\
&&&&&& h
\end{array} 
\end{equation}

$$
\setlength{\arraycolsep}{0pt}
\begin{array}{*{3}{c>{{}}c<{{}}}cl}
a & = & b & + & c & + & d \\
\req &&&&&& \req \\
ef &&&&&& g \\
&&&&&& \req &{}\leftarrow\mbox{\eqref{eq:eq1}から}\\
&&&&&& h
\end{array} 
$$

\begin{align}
a=b+c+&d&\\
\req\hphantom{=b+c+}&\req& \notag\\
ef\hphantom{=b+c+}&g& \notag\\
   &\req \qquad\leftarrow\mbox{\eqref{eq:eq1}から} \notag\\
&h& \notag
\end{align}

\jot=3pt
\begin{align*}
a=b+c+&d&\\
\req\hphantom{=b+c+}&\req&\\
ef\hphantom{=b+c+}&g&\\
   &\req \qquad\leftarrow\mbox{\eqref{eq:eq1}から}\\
&h&
\end{align*}

\end{document}
