我正在尝试为我正在上的一门课程创建一份公式 PDF。我有许多代码片段，如下所示，其中一个我已作为以下文档的子集呈现：
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{proof, environ, array}
\begin{document}
\section{Propositional Logic}
\subsection{Introduction of $\wedge$}
\begin{align*}
\infer[\rulename{\wedge_i}]
{\alpha \wedge \beta}
{\alpha && \beta}
\end{align*}
(If you have derived $\alpha$ and $\beta$, then you can conclude $\alpha \wedge \beta$.)
\end{document}
在每个按上述格式格式化的方程式实例中，我都会在行上收到错误\end{align*}。错误显示如下：
! Undefined control sequence.
<recently read> \rulename
l.21 \end{align*}
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.
在大多数情况下，每个小节都有一个方程，如上所述。如果每个小节有多个方程，则\end{align*}小节内的所有命令都会出现此错误。
在此先感谢您的帮助。
编辑：这似乎\rulename是我复制方程式的教授指定的规则，但它没有在我从中复制的源文件中定义。我试图实现的效果如下：
我将非常感谢任何有关如何实现这一目标的建议！
答案1
由于没有\rulename提供 的定义，因此很难猜测。但是，我可以用“虚拟”定义重现输出，因此它可能仅用于标记（并且适合可能的重新定义）。
\documentclass{article}
\usepackage{amsmath}
\usepackage{proof}
\newcommand{\rulename}[1]{#1}
\begin{document}
\section{Propositional Logic}
\subsection{Introduction of $\wedge$}
\begin{equation*}
\infer[\rulename{\wedge_i}]
{\alpha \wedge \beta}
{\alpha && \beta}
\end{equation*}
(If you have derived $\alpha$ and $\beta$, then
you can conclude $\alpha \wedge \beta$.)
\end{document}
我已经最小化了这个例子；当只有一行时不要用它align*作为替代品。equation*
