![mathpar 中的粗体或动词文本](https://linux22.com/image/299737/mathpar%20%E4%B8%AD%E7%9A%84%E7%B2%97%E4%BD%93%E6%88%96%E5%8A%A8%E8%AF%8D%E6%96%87%E6%9C%AC.png)
我正在使用 编写派生树,mathpar
但不确定如何标记某些单词。派生树用于一种小型编程语言,因此前提和/或结论包含我想以粗体等宽字体或类似字体显示的单词(例如,succ 和 pred)。通常我会使用 来\verb+word+
执行此操作,但我不确定如何在 中执行此操作inferrule
。当我使用它时,latexmk
给我带来了麻烦。例如,外部规则(if ..
)的结论必须在内联数学模式下输入,才能使其不显示空格。我mathpar
这里有手册,但里面没有关于inferrule
s 中的句子的内容。
我拥有的代码如下所示。
\begin{mathpar}
\inferrule*[Right=T-If]
{\inferrule*[Right=T-False]
{ }
{false : Bool} \\
\qquad
\inferrule*[Right=T-Succ]
{\inferrule*[Right=T-Pred]
{\inferrule*[Right=T-Zero]{ }{0:Nat}}
{$pred 0 : Nat$}
}
{$succ(pred 0)$} \\
\qquad
\inferrule*[Right=T-Zero]
{ }
{0: Nat}
}
{$if false then succ (pred 0) else 0 : Nat$}
\end{mathpar}
任何帮助是极大的赞赏。