분할 환경에 대한 특별 정렬

분할 환경에 대한 특별 정렬

수식 형식을 지정하는 데 문제가 있어서 지금까지 다음과 같이 표시할 수 있습니다.

여기에 이미지 설명을 입력하세요

내가 원하는 것은 이것이다:

여기에 이미지 설명을 입력하세요

여기에 제가 사용하고 있는 MWE가 있습니다 . 수식을 더 작은 수식으로 나누기 때문에 split사용할 수 없을 것 같습니다 .align

\begingroup
\everymath{\scriptstyle}
\begin{equation}
\begin{split} 
&\forall \boldsymbol{value_{1}}, \boldsymbol{value_{2}}, \boldsymbol{value_{3}}     \textsf{Relationship(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)} \to \\
&    \textsf{Unary(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)} \vee \\
&    \textsf{Binary(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)} \vee \\
&    \textsf{Ternary(}\boldsymbol{value_{1}},\boldsymbol{value_{2}},\boldsymbol{value_{3}}\textsf{)}
\end{split} 
\end{equation}
\endgroup

답변1

\documentclass{article}
\usepackage{amsmath}
\newcommand{\val}[1]{\textbf{\textit{#1}}}
\newcommand{\func}[1]{\textsf{#1}}

\begin{document}

\begin{equation}
\begin{split}
&\forall \val{value}_{1}, \val{value}_{2}, \val{value}_{3}
  \quad
  \func{Relationship}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \to \\
&\qquad \func{Unary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
&\qquad \func{Binary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
&\qquad \func{Ternary}(\val{value}_{1},\val{value}_{2},\val{value}_{3})
\end{split}
\end{equation}

\end{document}

여기에 이미지 설명을 입력하세요

코멘트.

  1. 당신은 확실히 원하지 않습니다 \everymath{\scriptstyle}.

  2. \boldsymbol{value_1}틀렸다. 표시된 대로 텍스트 명령을 사용해야 하며 아래 첨자는 굵게 표시하면 안 됩니다.

  3. 괄호는 산세리프 글꼴이 아닌 수학 글꼴에서 가져와야 합니다.

  4. {}이후에 \vee올바른 간격을 만듭니다.

답변2

분할 환경을 사용하면 텍스트의 적절한 위치에 앰퍼샌드를 넣을 수 있으므로 제공된 솔루션을 egreg다음과 같이 다시 작성할 수도 있습니다.

    \documentclass{article}
\usepackage{amsmath}
\newcommand{\val}[1]{\textbf{\textit{#1}}}
\newcommand{\func}[1]{\textsf{#1}}

    \begin{document}
\begin{equation}
\begin{split}
\forall \val{valu}      % this value is split into two parts ...
    &\!                 %  by \! is reduced space before second par of splitted \val{...}
        \val{e}_{1},    % rest of first line of given expression
        \val{value}_{2}, \val{value}_{3}
        \quad\func{Relationship}(\val{value}_{1}, \val{value}_{2},\val{value}_{3}) to\\
    &   \func{Unary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
    &   \func{Binary}(\val{value}_{1},\val{value}_{2},\val{value}_{3}) \vee {}\\
    &   \func{Ternary}(\val{value}_{1},\val{value}_{2},\val{value}_{3})
\end{split}
\end{equation}
    \end{document}

최종 결과는 예시와 거의 동일합니다 egreg. 첫 번째 줄의 &를 이동하면 다른 줄의 시작을 조정할 수 있습니다.

관련 정보