1

I have the following inference rule

enter image description here

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

4
  • 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
  • 1
    @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
  • 2
    I'm working on it to have somethings workable – vincenzopalazzo Jun 11 at 11:51
2

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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.