# 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?

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