Fellow Scribble/Redex-ers! When discussing the redex-models in your paper, are you using render-term liberally throughout your prose? Or do you define TeX macros which generate identical (or close enough) renderings?

I started using render-term everywhere (consistency!) but I’m quickly getting a huge number of PDF images generated to be included, and when I want to add a little math/annotation that’s not explicitly in the redex model during a discussion it’s a little awkward

Well, I’m not sure what others do, but it’s just too darn convenient to be able to use latex to write arbitrary in-line math in the body of a paper and include things I’m modeling with redex, so I’m having redex use fonts and symbols that I can easily uniformly match with LaTeX macros. If someone has made a different choice that works well I’d love to hear!

I wrote a blog post on using #lang slideshow: https://www.asumu.xyz/blog/2018/03/31/making-the-most-of-lang-slideshow/