我正在尝试为使用 bussproofs 生成的 prooftree 添加标题没有使用图形环境。我尝试这样做的原因是因为证明位于定理环境中,并且我读到这两者(图形和定理)不能很好地协同工作。有人可以建议一种解决这个问题的方法吗?
\documentclass[14pt]{extarticle}
\usepackage[english]{babel}
\usepackage[utf8x]{inputenc}
\usepackage{amsmath}
\usepackage{bussproofs}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
\begin{prooftree}
\AxiomC{foo}
\LeftLabel{bar}
\RightLabel{baz}
\UnaryInfC{Yo!}
\singleLine
\end{prooftree}
\end{theorem}
\end{document}