☰

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.

관련 정보