☰

내부 정렬된 추론 사용

tag-icon • tag-icon math-mode align
내부 정렬된 추론 사용

저는 추론 규칙을 작성하고 있는데, 긴 수식을 여러 줄로 나누고 싶습니다. 추론 규칙을 작성하기 위해 패키지 inferrule의 매크로를 사용하고 있습니다 . mathpartir그리고 내 공식은 다음과 같습니다

\documentclass{article}
\usepackage{mathpartir}
\begin{document}
$$
    \inferrule*{
        \psi(aaa)
    }{
        \psi(xxx\land yyy\land zzz)
    }
$$
\end{document}

하지만 실제 수식은 더 길기 때문에 여러 줄로 나누고 싶고 aligned환경을 사용하고 있습니다.

\documentclass{article}
\usepackage{mathpartir}
\begin{document}
$$
    \inferrule*{
        \psi(aaa)
    }{
        \psi(\begin{aligned}xxx\\\land yyy\\\land zzz\end{aligned})
    }
$$
\end{document}

그런 다음 컴파일이 실패합니다. 문제는 inferrule재정의되어 작동한다는 \\것 입니다. aligned어떻게 작동하게 할 수 있나요?

답변1

나는 mathpartir이전에 들어본 적이 없어서 여기서 무슨 일이 일어나고 있는지 정확히 말할 수 없습니다. 내가 확신하는 유일한 것은 그것이 amsmath(실제로 내 첫 번째 추측이었습니다)와 아무 관련이 없다는 것입니다.

% FAILS TOO
\newenvironment{foo}{}{}
\[
\inferrule*{
        \psi(aaa)
    }{
    \psi(\begin{foo}xxx\\\land yyy\\\land zzz\end{foo})
}
\]

실패합니다. 나는 그것이 \inferrule인수를 찾고 처리하는 방법과 관련이 있다고 생각합니다 . 지금은 해당 코드를 살펴볼 시간이 없지만 유사한 많은 경우 중괄호로 묶어 내부 환경을 "보호"하는 데 도움이 됩니다. 귀하의 경우 코드

\documentclass{article}
\usepackage{amsmath,mathpartir}
\begin{document}
\[
    \inferrule*{
        \psi(aaa)
    }{
        \psi({\begin{aligned}xxx\\\land yyy\\\land zzz\end{aligned}})
    }
\]
\end{document}

문제없이 실행됩니다. LaTeX에서는 피해야 합니다 $$.왜 \[ … \]선호 됩니까 $$ … $$?.

관련 정보