我正在使用包\infer
中的命令proof
。我尝试做了几件事但没有成功:
我怎样才能在证明元素之间留出一些空间?例如在 x 和 y 之间留出空间
\infer{x y}{z}
。我可以使用\,
,但我认为应该有更好的方法来做到这一点。\begin{center}
对任何推理规则都没有影响,但我仍然希望能够将它们居中。如果不使用,我该如何在推理规则之间设置空间
vspace
?现在,它们看起来非常拥挤,一个在另一个下面。
答案1
我想你必须手动进行间距,就像
x y
文本中出现的任何间距一样。您可以使用
\[ ... \]
和 (已弃用)将规则居中$$...$$
。您可以调整长度
\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}