# Is there a way to draw derivation trees with MathJax?

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

• 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
-----------
B


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?

• Bussproofs will be in MathJax v3. Sep 4 '19 at 19:03
• @PeterKrautzberger Thanks for the info! I confirmed that there is a merged pull request for that: github.com/mathjax/mathjax-v3/pull/331 Sep 4 '19 at 19:07
• – Raphael Mod
Sep 4 '19 at 20:42

## 1 Answer

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.

• 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. Sep 5 '19 at 1:07