I have been perusing some beautifully typeset notes for three lectures on logic that @consequently shared recently: https://consequently.org/handouts/whl-l.pdf (sample pages attached)
The document has a very elegant combination of fonts (all freely available under the Open Font Licence):
• Alegraya ht for the body text [https://huertatipografica.com/en/fonts/alegreya-ht-pro];
• Alegraya Sans ht for the sidenotes and headings [https://huertatipografica.com/en/fonts/alegreya-sans-ht];
• AMS Euler for mathematics [exists in various versions, e.g. https://ctan.org/pkg/euler-math].
The layout is compact without being overly dense and the sidenotes are cleanly separated from the main text by colour and font.
I *think* the "ebproof" package [https://ctan.org/pkg/ebproof] was used for the proof trees. (Please correct me if I am wrong, @consequently)
I understand that my own package "marginalia" [https://ctan.org/pkg/marginalia] was used to create the sidenotes — and seeing it contribute in a small way to beautiful results like this is part of what makes package creation worthwhile. :-)
#typography #TeXLaTeX #LuaLaTeX #logic #OFL