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

  • 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, 2021 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 Jun 11, 2021 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, 2021 at 11:48
  • 2
    I'm working on it to have somethings workable Jun 11, 2021 at 11:51

1 Answer 1


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

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


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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .