Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf]

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