pl-syntax This is a LaTeX package for defining the abstract syntax of programming languages. See example.tex to learn how to use this package.