Estoy compilando un archivo LaTeX grande, generado automáticamente, que contiene muchos \[archivos anidados.
Esto da el error:
! TeX capacity exceeded, sorry [grouping levels=255].
<recently read> \bgroup
No tengo forma de reducir el nivel de agrupación. El archivo generado automáticamente se basa enProoftree.sty por Paul Taylor--- es un gran árbol de derivación de 355 niveles, y cada nivel necesita el suyo \[. En el nivel más alto, esto significa que tienes 355 \[mensajes anidados.
¿Hay alguna manera de aumentar el número máximo de niveles de agrupación?
Estoy usando TeX Live 2015 en Debian. Estaría bien con volver a compilar si fuera necesario.
Si hay alternativas prooftree.styque no necesiten estos altos niveles de agrupación, a mí también me interesaría.