![创建多行分数](https://linux22.com/image/274670/%E5%88%9B%E5%BB%BA%E5%A4%9A%E8%A1%8C%E5%88%86%E6%95%B0.png)
如何创建如下图所示的方程式。我尝试使用\cfraq
和,\hline
但没有成功。我只要求布局,而不是公式。
答案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}