☰

關於分割環境的特殊對齊

tag-icon • tag-icon horizontal-alignment equations
關於分割環境的特殊對齊

我在格式化公式時遇到了一些麻煩，到目前為止我可以讓它看起來像這樣：

在此輸入影像描述

我想要的是這樣的：

在此輸入影像描述

這是我正在使用的 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範例所示。透過在第一行中移動&，您可以調整其他行的開頭。

相關內容