It would be nice to be able to generate LaTeX output. Would need to think about how to style them (similar to Joy of Cryptography?), whether to include type names, and more.