☰

Se superó la capacidad de TeX + paquete de semántica

tag-icon • tag-icon math-mode errors semantics
Se superó la capacidad de TeX + paquete de semántica

Obtuve el siguiente error:

! 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

Sucedió después de que comencé a usar el paquete de semántica:http://get-software.net/macros/latex/contrib/semantic/semantic.pdf

El documento que hace que no se compile lo puedes ver aquí: http://pastebin.com/ycJ6taKw

Si compilo solo con uno de los bloques matemáticos, se compilará bien y sí, el documento es la entrada a un archivo maestro .tex.

Respuesta1

Eso no es mínimo, aquí hay un ejemplo mínimo más relevante (y ni siquiera empezaré a quejarme de la estructura del original)

El problema parece provenir del -segundo ejemplo. Quizás sea un problema de ->sintaxis, aunque (todavía) no he encontrado nada al respecto en el 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}

Actualización: en realidad, si lo elimina, \mathlig{-><-}{\rightarrow\leftarrow}se compila bien y ->aún muestra la flecha. Así que supongo que algo extraño está sucediendo en \mathlig.

información relacionada