巴士门

这个 bussproofs extension implements the bussproofs style package from LaTeX. See the CTAN page 有关的更多信息和文档 bussproofs .

注意，在MathJax中使用的包与实际的LaTeX有几个重要的区别。首先，证据必须在 prooftree 环境，也就是说，只有当推理宏包含在 \begin{{prooftree}} 和 \end{{prooftree}} . 因此 \DisplayProof 不需要命令。

其次，与LaTeX包不同，缩写推理规则宏的选项不必手动设置。所有的缩略宏都可以直接使用。因此命令 \BinaryInfC 和 \BIC 可立即互换使用。

例如：

\begin{prooftree}
\AxiomC{}
\RightLabel{Hyp$^{1}$}
\UnaryInfC{$P$}
\AXC{$P\to Q$}
\RL{$\to_E$}
\BIC{$Q^2$}
\AXC{$Q\to R$}
\RL{$\to_E$}
\BIC{$R$}
\AXC{$Q$}
\RL{Rit$^2$}
\UIC{$Q$}
\RL{$\wedge_I$}
\BIC{$Q\wedge R$}
\RL{$\to_I$$^1$}
\UIC{$P\to Q\wedge R$}
\end{prooftree}

还要注意 bussproofs 用于后续演算派生的命令尚未完全实现。

当 autoload 使用分机。装入 bussproofs 显式扩展，添加 '[tex]/bussproofs' 到 load 数组 loader 块的mathjax配置，并添加 'bussproofs' 到 packages 数组 tex 块。

window.MathJax = {
  loader: {load: ['[tex]/bussproofs']},
  tex: {packages: {'[+]': ['bussproofs']}}
};

或者，使用 \require{{bussproofs}} 在tex表达式中，从页面上的数学中动态加载它，如果 require 已加载扩展名。

---

总线验证命令

这个 bussproofs 扩展实现以下宏： \alwaysDashedLine ， \alwaysNoLine ， \alwaysRootAtBottom ， \alwaysRootAtTop ， \alwaysSingleLine ， \alwaysSolidLine ， \AXC ， \Axiom ， \AxiomC ， \BIC ， \BinaryInf ， \BinaryInfC ， \dashedLine ， \fCenter ， \LeftLabel ， \LL ， \noLine ， \QuaternaryInf ， \QuaternaryInfC ， \QuinaryInf ， \QuinaryInfC ， \RightLabel ， \RL ， \rootAtBottom ， \rootAtTop ， \singleLine ， \solidLine ， \TIC ， \TrinaryInf ， \TrinaryInfC ， \UIC ， \UnaryInf ， \UnaryInfC

以及以下环境： prooftree

---