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

 (tug.org)

45 points | by perihelions 9 days ago

6 comments

  • fjfaase 9 days ago
    Begriffsschift was the first formal notation for second order logic.
  • sohkamyung 7 hours ago
    I wonder if Typst [1] can handle this.

    [1] https://typst.app

  • jgalt212 18 hours ago
    There should be a list of the most complicated docs ever typeset in LaTeX or TeX. I'm sure this one is up there.
  • jjgreen 20 hours ago
    Easier in LaTeX
  • David-Henrry 18 hours ago
    [flagged]
    [-]