☰

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

数学ブロックの 1 つだけを使用してコンパイルすると、問題なくコンパイルされます。また、ドキュメントはマスター .tex ファイルへの入力になります。

答え1

これは決して最小限とは言えません。こちらはより関連性の高い最小限の例です（元の構造については文句を言うつもりはありません）

問題は-2 番目の例から発生しているようです。おそらく構文の問題です->が、マニュアルには (まだ) 何も記載されていません。

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

関連情報