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

47 pointsby perihelionsقبل 8 أشهر4 comments

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

8 comments

fjfaaseقبل 8 أشهر

Begriffsschift was the first formal notation for second order logic.

jgalt212قبل 8 أشهر

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

sohkamyungقبل 8 أشهر

I wonder if Typst [1] can handle this.

[1] https://typst.app

[deleted]قبل 8 أشهر

jjgreenقبل 8 أشهر

Easier in LaTeX

David-Henrryقبل 8 أشهر

(2)