失控的争论？段落在 \split 完成之前结束

Question

请帮我解决我的 Latex 代码。我一直在尝试让它运行，但我不明白错误原因：

_Runaway argument?
 h \in ZWEI-PAAR \iff \exists k1,k2,k3,k4 \in h: (k1\neq k2 \\ \wedge \ETC.
Paragraph ended before \split was complete.
<to be read again> 
                   \par 
l.63_

这是代码片段。

\begin{equation*}
\begin{split}

 h \in ZWEI-PAAR \iff \exists k1,k2,k3,k4 \in  h: (k1\neq k2 \\
\wedge k1 \neq k3 
\wedge k3 \neq k4 
\wedge wert(k1)= wert(k2) \\
\wedge wert(k3) = wert(k4) \\    
\wedge \nexists k \in h \backslash \{k1,k2,k3,k4,k5\}:
  wert(k) = wert(k1) 
\wedge wert(k) = wert(k3) ) \\

\end{split}
\end{equation*} 

提前致谢。

编辑：我修复了新行。但是，现在我遇到了一个新问题：

*Undefined control sequence.
<argument> ...t {wert}(k_{4}) \\ {}\land \nexists 
                                                  k \in h \setminus \{\,k_{1...
l.64 \end{split}*

翻译的代码片段：

\documentclass{article}

\usepackage{amsmath}
\usepackage[ngerman]{babel}
\usepackage[utf8]{inputenc}

\begin{document}

\subsection{b)}
\begin{equation*}
 \begin{split}
    h \in \mathit{TWO} - \mathit{PAIR} \iff \exists k_{1}, k_{2},
    k_{3}, k_{4} \in  h : (k_{1} \neq k_{2} \\
    {}\land k_{1} \neq k_{3} \land k_{3} \neq k_{4}
    \land \mathit{value}(k_{1}) = \mathit{value}(k_{2}) \\
    {}\land \mathit{value}(k_{3}) = \mathit{value}(k_{4}) \\
    {}\land \nexists k \in h \setminus \{\,k_{1}, k_{2}, k_{3}, k_{4},
    k_{5}\,\} : \mathit{value}(k) =
    \mathit{value}(k_{1})
    \land \mathit{value}(k) = \mathit{value}(k_{3}))
\end{split}
\end{equation*} 


\subsection
\end{document}

Answer 1

您的环境中有空白行equation。这是不允许的，您必须删除它们。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\begin{equation*}
  \begin{split}
    h \in ZWEI-PAAR \iff \exists k1,k2,k3,k4 \in  h: (k1\neq k2 \\
    \wedge k1 \neq k3 \wedge k3 \neq k4
    \wedge wert(k1)= wert(k2) \\
    \wedge wert(k3) = wert(k4) \\
    \wedge \nexists k \in h \backslash \{k1,k2,k3,k4,k5\}: wert(k) =
    wert(k1)
    \wedge wert(k) = wert(k3) ) \\
  \end{split}
\end{equation*}

\end{document}

或者将其注释掉：

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\begin{equation*}
  \begin{split}
 %
    h \in ZWEI-PAAR \iff \exists k1,k2,k3,k4 \in  h: (k1\neq k2 \\
    \wedge k1 \neq k3 \wedge k3 \neq k4
    \wedge wert(k1)= wert(k2) \\
    \wedge wert(k3) = wert(k4) \\
    \wedge \nexists k \in h \backslash \{k1,k2,k3,k4,k5\}: wert(k) =
    wert(k1)
    \wedge wert(k) = wert(k3) ) \\
%
  \end{split}
\end{equation*}

\end{document}

下面我冒昧地提出一些一般性的改进建议。

• 我已经附上中卫和聚乙二醇在\mathit{}。我不知道这些是什么，也不知道它们是否应该直立，但如果你只是使用ZWEILaTeX 会将它们视为被乘以的变量，你会得到相当糟糕的间距

• 我已经在以下位置标注了你的号码钾但你也许并不想要这个。

• 我选择\wedge用\land(逻辑与) 来代替，因为我认为这在这里更合适。在相同情况下，您会看到我有，{}\land这将在符号后获得良好的二进制间距，我认为这应该在那里。

• 我已经替换\backslash为\setminus

• 我已经给了价值治疗\mathit{}也是如此，尽管这也许应该是一名操作员？

• 为了更好的间距，我添加\,了{ ... }

我认为这样看起来更好，但我实际上并不熟悉你在这里排版的内容，所以我的一些猜测可能是错误的，但你可能想考虑它们。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}

\begin{document}

\begin{equation*}
  \begin{split}
    h \in \mathit{ZWEI} - \mathit{PAAR} \iff \exists k_{1}, k_{2},
    k_{3}, k_{4} \in  h : (k_{1} \neq k_{2} \\
    {}\land k_{1} \neq k_{3} \land k_{3} \neq k_{4}
    \land \mathit{wert}(k_{1}) = \mathit{wert}(k_{2}) \\
    {}\land \mathit{wert}(k_{3}) = \mathit{wert}(k_{4}) \\
    {}\land \nexists k \in h \setminus \{\,k_{1}, k_{2}, k_{3}, k_{4},
    k_{5}\,\} : \mathit{wert}(k) =
    \mathit{wert}(k_{1})
    \land \mathit{wert}(k) = \mathit{wert}(k_{3})) \\
  \end{split}
\end{equation*}

\end{document}