Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf](tug.org)

47 pointsby perihelionsil y a 8 mois4 comments

https://www.tug.org/TUGboat/tb36-3/tb114wermuth.pdf

8 comments

fjfaaseil y a 8 mois

Begriffsschift was the first formal notation for second order logic.

jgalt212il y a 8 mois

There should be a list of the most complicated docs ever typeset in LaTeX or TeX. I'm sure this one is up there.

sohkamyungil y a 8 mois

I wonder if Typst [1] can handle this.

[1] https://typst.app

[deleted]il y a 8 mois

jjgreenil y a 8 mois

Easier in LaTeX

David-Henrryil y a 8 mois

(2)