FRESH
Hacker News
Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]
47 points by perihelions
- Begriffsschift was the first formal notation for second order logic.
- There should be a list of the most complicated docs ever typeset in LaTeX or TeX. I'm sure this one is up there.
by sohkamyung
0 subcomment
- I wonder if Typst [1] can handle this.
[1] https://typst.app
- Easier in LaTeX
by David-Henrry
2 subcomments
- [flagged]