如何恢复 mathpartir 包上的默认分数样式？

Question

我想生成一个具有不同分数样式的证明树：

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathpartir}
\begin{document}
\begin{gather*}
  \mprset{fraction={===}}
  \inferrule*{
    H_1 \\
    \mprset{fraction={---}}
    \inferrule*{H_0}{H_2}
 }{C}
\end{gather*}
\end{document}

这里，\mprset{fraction={---}}生成一个与默认样式不同的样式。如何仅在内部校样树中恢复默认样式？

Answer 1

您可以使用defaultfraction。

\documentclass{article}
\usepackage{amsmath}
\usepackage{mathpartir}
\begin{document}
\begin{gather*}
  \mprset{fraction={===}}
  \inferrule*{
    H_1 \\
    \mprset{defaultfraction}
    \inferrule*{H_0}{H_2}
 }{C}
\end{gather*}
\end{document}

请注意，amsmath此代码会发出有关使用外部宏来处理分数的警告。