带下标和上标的花括号

Question

我正在寻找一种方法来编写如下内容：

\lbrace A_i\rbrace _{i = 1}^{n}

我的目标是在右花括号附近放置一个下标和一个上标。我该怎么做？下标和上标应位于右花括号末端的下方和上方。

Answer 1

下标和上标应该位于右花括号末端的下方和上方。

像这样吗？

\documentclass{article}
\usepackage{amsmath} % for "\overunderset" macro
\begin{document}
$
\overunderset{n}{i=1}{\rbrace}     \quad
\overunderset{n}{i=1}{\big\rbrace} \quad
\overunderset{n}{i=1}{\Big\rbrace} \quad
\overunderset{n}{i=1}{\bigg\rbrace}\quad
\overunderset{n}{i=1}{\Bigg\rbrace}
$
\end{document}

Answer 2

使用另一种方法\mathop，

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath}
\begin{document}
$\mathop{\}}\limits_{i=1}^{n}$,
$\mathop{\bigr\}}\limits_{i=1}^{n}$,
$\mathop{\biggr\}}\limits_{i=1}^{n}$,
$\mathop{\Bigr\}}\limits_{i=1}^{n}$,
$\mathop{\Biggr\}}\limits_{i=1}^{n}$
\end{document}

Answer 3

需要将对象声明为结束分隔符。

\documentclass{article}
\usepackage{amsmath}

\NewDocumentCommand{\rbracex}{O{}e{^_}}{%
  \mathclose{%
    \IfNoValueTF{#2}{% #2 is the possible superscript
      \underset{#2}{#1\rbrace}%
    }{%
      \IfNoValueTF{#3}{% #3 is the possible subscript
        \overset{#2}{#1\rbrace}%
      }{%
        \overunderset{#2}{#3}{#1\rbrace}%
      }%
    }%
  }% matching \mathclose
}

\begin{document}

\[
\lbrace A\rbracex_{i=1}^n
\quad
\big\lbrace A\rbracex[\big]_{i=1}^n
\quad
\Big\lbrace A\rbracex[\Big]_{i=1}^n
\]

\end{document}

我会非常小心地避免使用这种符号。

芭芭拉·比顿 (barbara beeton) 的评论提出了一个可能的改进：

\documentclass{article}
\usepackage{amsmath}

\NewDocumentCommand{\rbracex}{O{}e{^_}}{%
  \mathclose{%
    % let's compute the amount of backing up
    \sbox0{\mathsurround=0pt$#1\rbrace$}%
    \sbox2{\mathsurround=0pt
      $\IfNoValueTF{#2}{% #2 is the possible superscript
        \underset{#2}{#1\rbrace}%
      }{%
        \IfNoValueTF{#3}{% #3 is the possible subscript
          \overset{#2}{#1\rbrace}%
        }{%
          \overunderset{#2}{#3}{#1\rbrace}%
        }%
      }$%
    }% end of \sbox2
   \ifdim\wd0>\wd2
     % do nothing
   \else
     \kern\dimexpr(\wd0-\wd2)/2\relax
   \fi
   \usebox{2}%
  }% matching \mathclose
}

\begin{document}

\[
\lbrace A_i\rbracex_{i=1}^n
\quad
\big\lbrace A_i\rbracex[\big]_{i=1}^n
\quad
\Big\lbrace A_i\rbracex[\Big]_{i=1}^n
\]

\end{document}

嗯，恐怕这并不是什么进步。