4
$\begingroup$

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

$\endgroup$
3
  • 1
    $\begingroup$ Bussproofs will be in MathJax v3. $\endgroup$
    – Peter Krautzberger
    Commented Sep 4, 2019 at 19:03
  • 1
    $\begingroup$ @PeterKrautzberger Thanks for the info! I confirmed that there is a merged pull request for that: github.com/mathjax/mathjax-v3/pull/331 $\endgroup$
    – nekketsuuu
    Commented Sep 4, 2019 at 19:07
  • $\begingroup$ Related. $\endgroup$
    – Raphael Mod
    Commented Sep 4, 2019 at 20:42

1 Answer 1

Reset to default
4
$\begingroup$

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.

$\endgroup$
1
  • 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
    Commented Sep 5, 2019 at 1:07

You must log in to answer this question.

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