Estou compilando um arquivo LaTeX grande e gerado automaticamente que contém muitos arquivos LaTeX \[aninhados.
Isso dá o erro:
! TeX capacity exceeded, sorry [grouping levels=255].
<recently read> \bgroup
Não tenho como reduzir o nível de agrupamento. O arquivo gerado automaticamente depende deprovatree.sty por Paul Taylor--- é uma grande árvore de derivação de 355 níveis, e cada nível precisa do seu próprio \[. No nível mais alto, isso significa que você tem 355 \[s aninhados.
Existe uma maneira de aumentar o número máximo de níveis de agrupamento?
Estou usando o TeX Live 2015 no Debian. Eu ficaria bem em recompilar, se necessário.
Se houver alternativas para prooftree.styisso, não precisaria desses altos níveis de agrupamento, eu também estaria interessado nisso.