为 prooftree 添加标题

为 prooftree 添加标题

我正在尝试为使用 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}

相关内容