TeX 容量超出 + 語意包

TeX 容量超出 + 語意包

我收到以下錯誤:

! 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

它發生在我開始使用語義包之後:http://get-software.net/macros/latex/contrib/semantic/semantic.pdf

導致它無法編譯的文檔可以在這裡看到: http://pastebin.com/ycJ6taKw

如果我只使用其中一個數學區塊進行編譯,它將編譯得很好,是的,該文件是主 .tex 檔案的輸入。

答案1

這並不是最小的,這是一個更相關的最小範例(我什至不會開始抱怨原始結構)

問題似乎來自-第二個例子。也許是文法問題->,但我(還)在手冊中沒有找到任何有關它的內容。

\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}

更新:實際上,如果你刪除它,\mathlig{-><-}{\rightarrow\leftarrow}它編譯得很好,並且->仍然給出箭頭。所以我的猜測是發生了一些奇怪的事情\mathlig

相關內容