LaTeX Resources for Programming Language Researchers