mathpar 中的粗体或动词文本

Question

我正在使用 编写派生树，mathpar但不确定如何标记某些单词。派生树用于一种小型编程语言，因此前提和/或结论包含我想以粗体等宽字体或类似字体显示的单词（例如，succ 和 pred）。通常我会使用 来\verb+word+执行此操作，但我不确定如何在 中执行此操作inferrule。当我使用它时，latexmk给我带来了麻烦。例如，外部规则（if ..）的结论必须在内联数学模式下输入，才能使其不显示空格。我mathpar这里有手册，但里面没有关于inferrules 中的句子的内容。

我拥有的代码如下所示。

\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}

任何帮助是极大的赞赏。