创建多行分数

Question

如何创建如下图所示的方程式。我尝试使用\cfraq和，\hline但没有成功。我只要求布局，而不是公式。

Answer 1

像这样吗？

\documentclass{article}
\usepackage{amsmath,array,booktabs,collcell}

\newenvironment{productions}
 {\begin{equation*}
  \begin{array}{
    >{\collectcell\firstcolumn}c<{\endcollectcell}
    >{\displaystyle}l
  }
 }
 {\end{array}
  \global\firstcelltrue
  \end{equation*}}

\newif\iffirstcell
\firstcelltrue

\newcommand{\firstcolumn}[1]{%
  \begin{tabular}[b]{c}
  \iffirstcell
    \global\firstcellfalse
  \else
    \addlinespace[2ex]\midrule\addlinespace[2ex]
  \fi
  $\displaystyle#1$
  \end{tabular}
}

\begin{document}

\begin{productions}
b \xrightarrow{b} \surd &
  (\frac{}{v\xrightarrow{v}\surd},
   \quad v:=b) \\    
a+b \xrightarrow{b} \surd &
  (\frac{y\xrightarrow{v}\surd}{x+y\xrightarrow{v}\surd},
   \quad v:=b, x:=a, y:=b) \\
(a+b)\cdot c \xrightarrow{b} c &
  (\frac{x\rightarrow{v}\surd}{x\cdot y\xrightarrow{v}y},
   \quad v:=b, x:=a+b, y:=c) \\    
((a+b)\cdot c)\cdot d \xrightarrow{b} c\cdot d &
  (\frac{x\rightarrow{v}x'}{x\cdot y\xrightarrow{v}x'\cdot y},
   \quad \!
   \begin{aligned}[t]
   & v:=b, x:=(a+b)\cdot c, \\
   & x':=c, y:=d) \\
   \end{aligned}
\end{productions}
\end{document}