/macros/latex/contrib/naive-ebnf/