☰

TeX 容量超出 + 语义包

tag-icon • tag-icon math-mode errors semantics
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。

相关内容