Yacc to LaTeX translator
