top | item 45893696 Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf] 47 points| perihelions | 3 months ago |tug.org 4 comments order hn newest [+] [-] fjfaase|3 months ago|reply Begriffsschift was the first formal notation for second order logic. [+] [-] jgalt212|3 months ago|reply 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|3 months ago|reply I wonder if Typst [1] can handle this.[1] https://typst.app [+] [-] unknown|3 months ago|reply [deleted] [+] [-] jjgreen|3 months ago|reply Easier in LaTeX [+] [-] David-Henrry|3 months ago|reply [deleted] [+] [-] unknown|3 months ago|reply [deleted] [+] [-] unknown|3 months ago|reply [deleted]
[+] [-] fjfaase|3 months ago|reply Begriffsschift was the first formal notation for second order logic.
[+] [-] jgalt212|3 months ago|reply There should be a list of the most complicated docs ever typeset in LaTeX or TeX. I'm sure this one is up there.
[+] [-] David-Henrry|3 months ago|reply [deleted] [+] [-] unknown|3 months ago|reply [deleted] [+] [-] unknown|3 months ago|reply [deleted]
[+] [-] fjfaase|3 months ago|reply
[+] [-] jgalt212|3 months ago|reply
[+] [-] sohkamyung|3 months ago|reply
[1] https://typst.app
[+] [-] unknown|3 months ago|reply
[deleted]
[+] [-] jjgreen|3 months ago|reply
[+] [-] David-Henrry|3 months ago|reply
[deleted]
[+] [-] unknown|3 months ago|reply
[deleted]
[+] [-] unknown|3 months ago|reply
[deleted]