![如何在 ebproof 的 prooftree 环境中输入分段函数?](https://linux22.com/image/343555/%E5%A6%82%E4%BD%95%E5%9C%A8%20ebproof%20%E7%9A%84%20prooftree%20%E7%8E%AF%E5%A2%83%E4%B8%AD%E8%BE%93%E5%85%A5%E5%88%86%E6%AE%B5%E5%87%BD%E6%95%B0%EF%BC%9F.png)
我想在 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 }
答案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}