Comment Comment by InInteraction Not from the source code, but JSXGraph (https://jsxgraph.uni-bayreuth.de/wp/index.html) is a great tool for this kind of diagrams. parent InInteraction 4 years ago