堆叠数组

Question

我想重现一种叫做塔式符号的东西：

我发现我可以制作这样的表格：

\begin{array}{c|c}
S & S\\ 
S & S\\ \hline
\multicolumn{2}{c}{DP\bs S}\\
\end{array}

但是我在堆叠这些项目时遇到了麻烦，然后将所有内容包裹在随着内容增长的括号中。

我怎么做？

Answer 1

我构建了堆叠组件然后将它们组合起来。

\documentclass{article}
\usepackage[usestackEOL]{stackengine}
\def\bs{\textbackslash}
\def\Sm{S\textsuperscript{$-$}}
\tabcolsep 2pt
\begin{document}
\savestack\blockA{
\begin{tabular}{l|l}
S & \Sm\\ 
\hline
\Sm & \Sm\\ \hline
\multicolumn{2}{c}{DP}\\
\end{tabular}
}

\savestack\blockB{
\begin{tabular}{c}
$\forall x.[\,]x$\\
\hline
$[\,]$\\
\hline
$x$
\end{tabular}
}

\savestack\blockC{
\begin{tabular}{l|c}
\Sm & \Sm\\ 
\hline
\Sm & \Sm\\ \hline
\multicolumn{2}{c}{((DP\bs S)/DP)/DP}\\
\end{tabular}
}

\savestack\blockD{
\begin{tabular}{c}
$[\,]$\\
\hline
$[\,]$\\
\hline
\textbf{gave}
\end{tabular}
}

\savestack\blockE{
\begin{tabular}{l|l}
\Sm & \Sm\\ 
\hline
\Sm & S\\ \hline
\multicolumn{2}{c}{DP}\\
\end{tabular}
}

\savestack\blockF{
\begin{tabular}{c}
$[\,]$\\
\hline
$\exists y.[\,]$\\
\hline
$y$
\end{tabular}
}

\savestack\blockG{
\begin{tabular}{l|l}
\Sm & \Sm\\ 
\hline
S & S\\ \hline
\multicolumn{2}{c}{DP}\\
\end{tabular}
}

\savestack\blockH{
\begin{tabular}{c}
$\forall z.[\,]$\\
\hline
$[\,]$\\
\hline
$z$
\end{tabular}
}

\[
\vcenter{\hbox{\Shortstack{\blockA\\no one\\\blockB}}}
\left(\left(
\vcenter{\hbox{\Shortstack{\blockC\\gave\\\blockD}}}
\vcenter{\hbox{\Shortstack{\blockE\\anyone\\\blockF}}}
\right)
\vcenter{\hbox{\Shortstack{\blockG\\everything\\\blockH}}}
\right)
\]
\end{document}