如何格式化旋转栅门以扩展到多行？

Question

我在书中看到一个例子forallx 形式逻辑，其中它通过将旋转栅门扩展到几行来格式化演绎证明，同时在其“臂”的上方和下方有方程式。我想知道在乳胶中如何做到这一点。

Answer 1

这可以通过嵌套表格简单地模拟：

\documentclass[12pt]{article}
\usepackage{multirow}
\usepackage{amssymb}
%\setlength{\extrarowheight}{0.5cm}
\begin{document}
\begin{tabular}{c|l}
    1 & $\exists x.x \ni A $ \\\cline{2-2}\\[-10pt]
    2 & \multirow{3}{*}{%
\begin{tabular}{|l}
    $A=\varnothing $ \\\cline{1-1}
    ... \\
    ... \\
\end{tabular}}
 \\
    3 &  \\
    4 &  \\
    5 & $A\neq\varnothing $   \\
\end{tabular}
\end{document}