![为 bussproofs 的防护树添加遮荫?](https://linux22.com/image/383837/%E4%B8%BA%20bussproofs%20%E7%9A%84%E9%98%B2%E6%8A%A4%E6%A0%91%E6%B7%BB%E5%8A%A0%E9%81%AE%E8%8D%AB%EF%BC%9F.png)
我想知道 prooftree 如何与 colorbox 配合使用?我见过有人为他们的证明树添加阴影,但我不确定他们使用什么包。就我而言,我使用 bussproofs,它似乎与 colorbox 配合得不好:
\documentclass{article}
\usepackage{bussproofs}
\usepackage{xcolor}
\begin{document}
\colorbox{gray}{
\begin{prooftree}
\AxiomC{some law...}
\end{prooftree}
}
\end{document}
上面的代码失败了。我搜索了一番,但答案要么是添加颜色,要么是使用总线证明,但不能同时使用两者。我应该如何在一个盒子里给整个证明树着色?
带有标签:
\documentclass{article}
\usepackage{bussproofs}
\usepackage{tcolorbox}
\usepackage{framed}
\usepackage{multicol}
\begin{document}
\begin{multicols}{3}
\begin{tcolorbox}
\begin{prooftree}
\AxiomC{some law...}
\RightLabel{Label}
\UnaryInfC{Some Conclusion}
\end{prooftree}
\end{tcolorbox}
\end{multicols}
\end{document}
盒子里严格来说不包含标签。