如何在 ebproof 的 prooftree 环境中输入分段函数？

Question

我想在 a 中输入一个分段函数，prooftree如上所示。我试过了\begin{cases}...。但是它不起作用。以下是代码：

\documentclass[11pt]{article}
\usepackage{amsmath}
\usepackage{ebproof}

\begin{document}
      \begin{prooftree}
        \Hypo{T' =
          \begin{cases} 
            \text{SELF\_TYPE}_{C} & \text{if}\ T = \text{SELF\_TYPE} \\
            \mbox{T} & otherwise
          \end{cases}
        }
        \Infer1{O, M, C \vdash \text{new}\ T : T'}
      \end{prooftree}
\end{document}

当我使用pdflatex它来处理它时，它会产生以下错误：

! Missing \cr inserted.
<inserted text> 
                \cr 
l.12         }

Answer 1

只需支撑cases环境。我修复了几件事：\mbox{T}例如，看起来不合适。

\documentclass[11pt]{article}

\usepackage{amsmath}
\usepackage{ebproof}

\begin{document}

\begin{prooftree}
\Hypo{
  T' =
  {\begin{cases}
    \text{SELF\_TYPE}_{C} & \text{if } T = \text{SELF\_TYPE} \\
    T & \text{otherwise}
  \end{cases}}
}
\Infer1{O, M, C \vdash \text{new}\ T : T'}
\end{prooftree}

\end{document}