search

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.
0 stars 0 forks source link

Display LaTeX in node text #24

Closed seachel closed 6 years ago

seachel commented 6 years ago

Make the same modifications that were made to the regular nodes on the rule text nodes. Move the svg up a level to be a sibling of the text that used to contain the node content.