# Compact way to write inference rule with bussproofs

I have the following inference rule

That I need to write with the package bussproofs and use it in the mathjax.

Mathjax support the bussproofs

I have no idea how to reproduce the following inference rule with the same form, like <A, []> -> []

To write these rules I used the proof but it is not available on mathjax

• I highly doubt that it can be read by MathJaX which is not LaTeX. In my opinion, this is not possible with bussproofs but with other methods. – Sebastiano Jun 11 at 11:44
• @Sebastiano there is the support for bussproofs docs.mathjax.org/en/latest/input/tex/extensions/bussproofs.html but maybe I'm missing somethings – vincenzopalazzo Jun 11 at 11:46
• I didn't know that and I apologize, but have you tried anything? +1 for the question. Also post the link to the question maybe it's helpful for everyone. Greetings. – Sebastiano Jun 11 at 11:48
• I'm working on it to have somethings workable – vincenzopalazzo Jun 11 at 11:51

The following should set your proof in bussproofs and work in MathJax:

\newcommand\inf[2]{$\langle#1,[]\rangle\rightarrow #2$}

\begin{prooftree}
\AXC{}\RL{num}
\UIC{\inf{1}{1}}
\AXC{}\RL{var}
\UIC{\inf{x}{0}}\RL{gt}
\BIC{\inf{x>1}{false}}
\AXC{}\RL{skip}
\UIC{\inf{skip()}{[]}}\RL{if}
\BIC{\inf{if(x>1)then(x:=10)else(skip())}{[]}}
\end{prooftree}


Note, that the \inf macro sets your inference rules.

New contributor
zorkow is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.