定理环境中内联数学中的良好换行

Question

这是我在这里的第一个问题，希望它不是太糟糕（如果不好的话请耐心等待）。

我有一个关于内联数学和定理环境的具体问题。一般来说，我想获得内联数学和定理环境中的行为\align（amsmath \multline我正在使用伦斯勒公司样式文件，因此它实际上是definition或\spnewtheorem）。

更具体地说：我有一个很长的逻辑公式，其中definition有一个正常的换行符，这使得公式不太清晰（见下图）。

\begin{definition}
$UNT_{2}(a,b) \equiv_{\text{df}}\exists t_1\exists t_3 > t_1[(a \in t_1) \land  (b \in t_3) \land (a \not\in t_3) \land \forall t_2( t_1<t_2<t_3 \to a \in t_2)]$
\end{definition}

我希望公式与“定义 3”在同一行开始，但是：

1. 在新行中，公式应该与符号对齐\equiv（我喜欢采用的方法这里但我不知道如何让它工作\equiv）
2. 我希望能够（至少在某种程度上）控制公式在哪个运算符上中断

我知道breqn包，但它实际上不适用于内联数学，也不适用于提供的方法amsmath。我尝试使用，description但没有帮助。
当然，我可以将表达式分解成几个表达式，并尝试使其与和一起工作\\，\,但这似乎很糟糕。

任何帮助都将非常感激。

Answer 1

你可以使用aligned。我曾经用来amsthm定义环境，你应该能够适应llncs。

\documentclass{article}
\usepackage{amsmath,amsthm}

\theoremstyle{definition}
\newtheorem{definition}{Definition}

\begin{document}

\begin{definition}
$\begin{aligned}[t]
 \mathit{UNT}_{2}(a,b) \equiv_{\mathrm{df}}{}
  & \exists t_1\exists t_3 > t_1[(a \in t_1)
    \land  (b \in t_3) \land (a \not\in t_3) \land {}\\
  & \forall t_2( t_1<t_2<t_3 \to a \in t_2)]
\end{aligned}$
\end{definition}

\end{document}

对齐点已设置在等价符号后；必须这样做{}才能确保正确的间距。