这是我的代码\usepackage{proof}
:
\begin{enumerate}[label=\alph*)]
\item\infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
{A}
{[A\land B]^1}
}
\item \infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
{A}
{[A\land B]^1}
}
\end{enumerate}
如您所见,输出不太美观。我希望自然推理树出现在字母 a、b、...等下。这可以做到吗?到目前为止,我尝试过的方法是使用\hbox{}
after \item
,然后在下一行显示树。提前致谢。
答案1
这是您要找的内容吗?请注意 a) 和 b) 的不同对齐样式。
\documentclass{article}
\usepackage{mathtools}
\usepackage{enumitem}
\usepackage{proof}
\begin{document}
\begin{enumerate}[label=\alph*)]
\item\raisebox{-\height}% align baseline to top
{\infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
{A}
{[A\land B]^1}
}}
\item\raisebox{\dimexpr\topskip-\height}% align top to top
{\infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
{A}
{[A\land B]^1}
}}
\end{enumerate}
\end{document}
[![demo][1]][1]