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

Begriffsschift was the first formal notation for second order logic.

Easier in LaTeX

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

[flagged]

I wonder if Typst [1] can handle this.

[1] https://typst.app