3 ms·

Μy favorite example of mathematical typesetting on the web. I sent them some emails asking for directions to mimic their design for my personal webpage, but di

Μy favorite example of mathematical typesetting on the web. I sent them some emails asking for directions to mimic their design for my personal webpage, but did not get any replies. My crude attempt at web mathematics in that style is here: https://ykonstant1.github.io/power-draft.html https://ykonstant1.github.io/power-draft.html But I would love if they made a tutorial or blog post describing in simple terms how to get a design like that going; many many professors could incorporate that and make mathematical resources much easier to access for students. I always have an online Class Diary for my classes, and my students would love to have rendered equations directly in the webpage.

bonefolder 3y ago
Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documentation/make-project https://github.com/stacks/stacks-project/blob/master/documen... At a high level they use plastex https://github.com/plastex/plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML https://github.com/brucemiller/LaTeXML My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.html https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/ https://texviz.arsricharan.in/ghrss24/
- dginev 3y ago
  If you are already using LaTeXML, it is also easy to get the ar5iv rendering (example article: https://ar5iv.labs.arxiv.org/html/1910.06709 https://ar5iv.labs.arxiv.org/html/1910.06709) You can either copy the CSS asset from: https://github.com/dginev/ar5iv-css https://github.com/dginev/ar5iv-css and add "--css=ar5iv.css --nodefaultresources" to the command line options for latexmlpost (or latexmlc). Or alternatively, for people not interested in learning how to install and configure latexml, they can try the self-contained Dockerfile at: https://github.com/dginev/ar5ivist/ https://github.com/dginev/ar5ivist/

bonefolder 3y ago

Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documentation/make-project https://github.com/stacks/stacks-project/blob/master/documen... At a high level they use plastex https://github.com/plastex/plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML https://github.com/brucemiller/LaTeXML My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.html https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/ https://texviz.arsricharan.in/ghrss24/

dginev 3y ago
If you are already using LaTeXML, it is also easy to get the ar5iv rendering (example article: https://ar5iv.labs.arxiv.org/html/1910.06709 https://ar5iv.labs.arxiv.org/html/1910.06709) You can either copy the CSS asset from: https://github.com/dginev/ar5iv-css https://github.com/dginev/ar5iv-css and add "--css=ar5iv.css --nodefaultresources" to the command line options for latexmlpost (or latexmlc). Or alternatively, for people not interested in learning how to install and configure latexml, they can try the self-contained Dockerfile at: https://github.com/dginev/ar5ivist/ https://github.com/dginev/ar5ivist/