☰

Capacidade TeX excedida + pacote semântica

tag-icon • tag-icon math-mode errors semantics
Capacidade TeX excedida + pacote semântica

Estou tendo o erro a seguir:

! TeX capacity exceeded, sorry [input stack size=5000].
\do #1#2#3->\mathcode `#1
                     ="8000
l.14 ..._{1}\; a_{2} -> v_{2}}{a_{1} - a_{2} -> v}

!  ==> Fatal error occurred, no output PDF file produced!
Transcript written on samlet.log.
libpng warning: iCCP: known incorrect sRGB profile

Aconteceu depois que comecei a usar o pacote semântico:http://get-software.net/macros/latex/contrib/semantic/semantic.pdf

O documento que faz com que ele não seja compilado pode ser visto aqui: http://pastebin.com/ycJ6taKw

Se eu compilar com apenas um dos blocos matemáticos, ele será compilado perfeitamente e, sim, o documento é a entrada para um arquivo .tex mestre.

Responder1

Isso dificilmente é mínimo, aqui está um exemplo mínimo mais relevante (e nem vou começar a reclamar da estrutura do original)

O problema parece vir do -segundo exemplo. Talvez um problema de ->sintaxe, mas (ainda) não encontrei nada sobre isso no manual.

\documentclass{report}
\usepackage{semantic}

\begin{document}

This works 
\[
\mathlig{-><-}{\rightarrow\leftarrow}
\inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2} }{a_{1}+a_{2} ->
  v} \; Where\; v = v_{1} + v_{2}
\]

this does not
\[
\mathlig{-><-}{\rightarrow\leftarrow}
 \inference[Plus]{
   a_{1} -> v_{1}\; 
   a_{2} -> v_{2}
 }{
   a_{1} - a_{2} -> v
 }
 \; 
 Where
 \; 
 v = v_{1} -  v_{2}
\]
\end{document}

Atualização: Na verdade, se você remover, \mathlig{-><-}{\rightarrow\leftarrow}ele compila perfeitamente e ->ainda dá a seta. Então, meu palpite é que há algo estranho acontecendo em \mathlig.

informação relacionada