Teste formato código BNF (latex)