Is there a known way to draw derivation trees (proof trees, typing derivation trees, ...) with MathJax?

Currently, I embed trees by the following ways as workarounds:

  • Draw a tree using my PC with LaTeX, convert it to an image, and upload it, or

    a proof tree of modus ponens; (A \to B) and A are written above a horizontal line, and B is written below the line

  • Use \cfrac for a simple tree, or

    \[ \cfrac{A \to B \qquad A}{B} \]

      \cfrac{A \to B \qquad A}{B}
  • Write an ascii art in a code block

    A → B    A

I want to use bussproofs.sty or something to draw trees with LaTeX/MathJax, especially for complex trees. (But bussproofs.sty is not supported by MathJax.) Writing trees as text is useful for future edits. Is there a way to draw them?


I use \dfrac (or \cfrac). (Example.) And yes, it's painful.

Please don't post images of math. They're completly inaccessible to blind people, they can't be searched (not that math search works well on the web today, but it's more likely to improve than image content search), they can't be edited.

  • 2
    $\begingroup$ We can write alt-text of images for accessibility issues. Even so, yes, images can't be edited both by blind people and by non-blind people. $\endgroup$
    – nekketsuuu
    Sep 5 '19 at 1:07

You must log in to answer this question.

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