Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf] (tug.org)
47 points by perihelions 20 days ago | hide | past | favorite | 4 comments


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.


I wonder if Typst [1] can handle this.

[1] https://typst.app


Easier in LaTeX




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: