使用证明包中的推断？

Question

我正在使用包\infer中的命令proof。我尝试做了几件事但没有成功：

1. 我怎样才能在证明元素之间留出一些空间？例如在 x 和 y 之间留出空间 \infer{x y}{z}。我可以使用\,，但我认为应该有更好的方法来做到这一点。

2. \begin{center}对任何推理规则都没有影响，但我仍然希望能够将它们居中。

3. 如果不使用，我该如何在推理规则之间设置空间vspace？现在，它们看起来非常拥挤，一个在另一个下面。

Answer 1

1. 我想你必须手动进行间距，就像x y文本中出现的任何间距一样。

2. 您可以使用\[ ... \]和 （已弃用）将规则居中$$...$$。

3. 您可以调整长度\inferLineSkip。

下面是一个展示上述提示的简单示例：

\documentclass{article}
\usepackage{proof}
\setlength{\inferLineSkip}{4pt}
\begin{document}
\infer{B}{A & (A \rightarrow B)}
\[\infer{xy}{z}\]
\infer{C}{D & (D \leftarrow B)}
\end{document}