☰

bussproofs.sty 单行更长？

tag-icon • tag-icon logic proof-package bussproofs ebproof
bussproofs.sty 单行更长？

我该如何写出一行比公式更长的行，即使下一个公式的大小相同，以便行看起来更长。例如，我想写：

a
--
b
--
c
----
a
--
c

然而，我能做的最好的事情就是使用一个带有 3\quad的空公式并使用\vspace，但\vspace似乎没有效果，无论我把它放在证明树的哪个位置 - 在括号内还是在括号外。更改\vspace大小也无济于事。我写的代码是：

\begin{prooftree}
    \AXC{ $ A $ }
    \UIC{ $ B $ }
    \UIC{ $ C $ }
    \UIC{ $ \quad\quad\quad $ }
    \vspace{-1em} 
    \UIC{ $ A $ }
    \UIC{ $ C $ }
\end{prooftree}

答案1

不太清楚你想要什么格式或你的代码做什么。假设\AXC和分别\UIC定义为\AxiomC和\UnaryInfC，你可能会寻找类似这样的内容

可能的目标格式

\documentclass{article}
\usepackage{bussproofs}
\begin{document}
  \begin{prooftree}
    \AxiomC{ $ A $ }
    \UnaryInfC{ $ B $ }
    \UnaryInfC{ $ C $ }
    \AxiomC{  }
    \BinaryInfC{ $ A $ }
    \UnaryInfC{ $ C $ }
  \end{prooftree}
\end{document}

相关内容