Sharing some lecture notes created using TeXmacs :)

Hi all, I just wanted to share with you my first public work that was typeset using TeXmacs, some notes for a lecture I will be giving at Stockholm on Friday: https://www.jonmsterling.com/papers/sterling:2022:wg6.pdf

My sincere thanks to everyone in this forum who has helped me so far! Would not have been possible without your help.

6 Likes

That looks great! Thanks for sharing!

A minor comment: the bibliography doesn’t seem to be picking the “van der” in Joris’ name as part of the last name “van der Hoeven”.

1 Like

Seems like it’s defined like that in TeXmacs/misc/bib/texmacs.bib, so I guess it’s that way by design.

@Misc{TeXmacs:website,
  author = 	 {Hoeven, J. van der and others},
  title = 	 {{GNU} {TeXmacs}},
  howpublished = {\url{https://www.texmacs.org}},
  year = 	 {1998}
}