带有文字的不平等链 - 对齐

Question

如何在 TeX 中编写此代码？我尝试了基本的对齐技术，但还需要对齐右侧括号内的单词，而对我来说，它会产生奇怪的效果。

谢谢！

Answer 1

请原谅转录的不准确之处...

\documentclass{article}
\usepackage{amsmath,tabstackengine,mathrsfs}
\begin{document}
\[
\setstackgap{L}{.9\normalbaselineskip}
\begin{aligned}
2^d &\mathrel{\mathop{\le}\limits^{(1)}} \max\{...\}\\
 &\mathrel{\mathop{\le}\limits^{(2)}} \max\Biggl\{
\#S\Bigg|\Centerstack[l]{$S \subset \mathcal{R}^d$ such that...\\
there is a strip $\mathscr{S}(i,j)$ that\\
lying in the parallel boundary...}
\Biggr\}\\
 &\mathrel{\mathop{\le}\limits^{(3)}} \max\Biggl\{
\#S\Bigg|\Centerstack[l]{$S \subset \mathcal{R}^d$ such that...\\
the convex hull $P:= \mathrm{conv}(S)$...\\
point, but they only touch...}
\Biggr\}
\end{aligned}
\]
\end{document}

Answer 2

这个想法是使用\parbox，我用一个适合集合描述的定义来完成它。

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

\providecommand{\given}{}
\newcommand{\setseparator}{% used only in \Set
  \mathrel{}
  \mathclose{}
  \delimsize|
  \mathopen{}
  \mathrel{}
}
\DeclarePairedDelimiterX{\Set}[1]{\lbrace}{\rbrace}{%
  \renewcommand{\given}{\setseparator}%
  #1%
}

\newcommand{\longsetdescription}[2][.6\displaywidth]{\parbox{#1}{#2}}

\begin{document}

\begin{align}
2^d
& \le \max\Set{\#S\given a+b+c+d+e+f+g+h+i+j} \\
& \le \max\Set*{\#S\given\longsetdescription{
        blah blah blah blah blah blah blah
        blah blah blah blah blah blah blah
        blah blah blah blah blah blah blah
        blah blah blah blah blah blah blah
        blah blah blah blah blah blah blah
      }}
\end{align}

\end{document}

该命令\longsetdescription接受一个可选的尺寸参数，默认值为当前显示分配的宽度的 60％。