![如何使用 busproofs 调整证明树?](https://linux22.com/image/463467/%E5%A6%82%E4%BD%95%E4%BD%BF%E7%94%A8%20busproofs%20%E8%B0%83%E6%95%B4%E8%AF%81%E6%98%8E%E6%A0%91%EF%BC%9F.png)
来源:
\documentclass{beamer}
\usepackage{bussproofs}
\begin{document}
\begin{frame}
\AxiomC{$A\vee B$}
\AxiomC{[$A$]}
%\vspace{-2em}
\noLine
\UnaryInfC{\vdots}
\noLine
\UnaryInfC{$C$}
\AxiomC{[$B$]}
\noLine
\UnaryInfC{$\vdots$}
\noLine
\UnaryInfC{$C$}
\RightLabel{$\vee$E}
\TrinaryInfC{$C$}
\DisplayProof
\end{frame}
\end{document}
如何才能使假设和垂直点之间的距离更小?我尝试\vspace
使用负距离,但它在另一个块上起作用。
答案1
您可以粉碎它们\vdots
并赋予它们与大写字母相同的高度。
\documentclass{beamer}
\usepackage{bussproofs}
\newcommand{\svdots}{\vphantom{\ensuremath{X}}\smash{\vdots}}
\begin{document}
\begin{frame}
\AxiomC{$A\vee B$}
\AxiomC{[$A$]}
\noLine
\UnaryInfC{\svdots}
\noLine
\UnaryInfC{$C$}
\AxiomC{[$B$]}
\noLine
\UnaryInfC{\svdots}
\noLine
\UnaryInfC{$C$}
\RightLabel{$\vee$E}
\TrinaryInfC{$C$}
\DisplayProof
\end{frame}
\end{document}
答案2
使用纯 TeX 有帮助:
\documentclass{beamer}
\usepackage{bussproofs}
\begin{document}
\begin{frame}
\AxiomC{$A\vee B$}
\AxiomC{[$A$]}
%\vspace{-2em}
\def\extraVskip{-2pt}
\noLine
\UnaryInfC{\vdots}
\def\extraVskip{2pt}
\noLine
\UnaryInfC{$C$}
\AxiomC{[$B$]}
\def\extraVskip{-2pt}
\noLine
\UnaryInfC{$\vdots$}
\def\extraVskip{2pt}
\noLine
\UnaryInfC{$C$}
\RightLabel{$\vee$E}
\TrinaryInfC{$C$}
\DisplayProof
\end{frame}
\end{document}