/macros/latex/contrib/formal-grammar/