Yacc-to-Latex pretty printer/convertor