带下标参数的 \bigcup 分布在多行中

Question

我试图将此联合的某些限制定位在它下面的一行上，因为它在一行上占用了太多空间：

\bigcup_{\langle b, r'' \rangle \in 
\{\langle \eta_{sp} \eta_s  (a(\delta s)s), \; r\widehat{}(a(\delta' s)s) 
\rangle \mid man (a (\delta s) s) (\delta s) s \}} \{bla bla \} 

如何拆分\bigcup中的下标参数_{}，使其占据下面的几行？这是为了避免公式的不雅呈现（见下图）：

Answer 1

我会将包\substack{...}的宏amsmath和包\smashoperator[r]{...}的宏结合起来mathtools。\substack宏允许在“大”运算符（例如）的参数中引入换行符\bigcup。\smashoperator[r]宏允许将运算符连接到其右侧的材料。

\documentclass{article}
\usepackage{mathtools} % for '\smashoperator' macro

\begin{document}
\[
\smashoperator[r]{\bigcup_{
\substack{\langle b, r'' \rangle\in\{\langle\eta_{sp}\eta_s(a(\delta s)s), \\
r(a(\delta' s)s)  \rangle \mid \text{man} (a (\delta s) s) (\delta s) s \}}} }
\, \{bla bla\ bla bla\ bla bla\ bla bla \}
\]
\end{document}