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...