集合定义的中心内容位于 | 左侧（一行），内容位于 | 右侧（多行），带有大写 |、{ 和 }

Question

基本上，我试图让我的设置定义看起来与图像完全一样。

但是当我执行 \Set{w \in { 0,1 } \mid (long definition) } 时，文本刚好超出页面的右边缘，并且括号和 | 都不会调整以适合长内容。

Answer 1

这是使用堆栈的一种方法。

\documentclass{article}
\usepackage{amsmath,stackengine}
\begin{document}
\[
\renewcommand\stackalignment{l}
\left\{
w \in \{0,1\}^* \,\middle|\,
\stackanchor{there is a way to insert the substring 011 (once) into $w$}
{so that the result is a multiple of 3 in binary}
\right\}
\]
\end{document}