Latex 重叠水平花括号

Question

我跟着这个答案创建这个：

但我最终得到这样的结论：

代码：

\documentclass{article}

\begin{document}

\[
\lefteqn{\underbrace{\phantom{S \rightarrow A}}_{n_0}} S \rightarrow
\lefteqn{\overbrace{\phantom{A \rightarrow A A}}^{n_1}} A \rightarrow A A
\lefteqn{\underbrace{\phantom{A A \rightarrow \epsilon A}_{n_2}}} A A \rightarrow \epsilon
\lefteqn{\overbrace{\phantom{A \rightarrow \epsilon}^{n_3}}} A \rightarrow \epsilon
\]

\end{document

Answer 1

您需要注意将上标和下标放在代码中的正确位置。由于从您手写的示例以及您提供的代码来看，我无法完全清楚后两个括号应如何放置：您是指以下内容吗？

\documentclass{article}

\begin{document}

\[
\lefteqn{\underbrace{\phantom{S \rightarrow A}}_{n_0}} S \rightarrow
\lefteqn{\overbrace{\phantom{A \rightarrow A A}}^{n_1}} A \rightarrow 
\lefteqn{\underbrace{\phantom{A A \rightarrow \epsilon A}}_{n_2}} A A \rightarrow \epsilon
\lefteqn{\overbrace{\phantom{A \rightarrow \epsilon}}^{n_3}} A \rightarrow \epsilon
\]

\end{document}

或许是这个？

\documentclass{article}

\begin{document}

\[
\lefteqn{\underbrace{\phantom{S \rightarrow A}}_{n_0}} S \rightarrow
\lefteqn{\overbrace{\phantom{A \rightarrow A A}}^{n_1}} A \rightarrow 
\lefteqn{\underbrace{\phantom{A A \rightarrow \epsilon}}_{n_2}} A A \rightarrow \epsilon
\lefteqn{\overbrace{A \rightarrow \epsilon}^{n_3}}
\]

\end{document}

Answer 2

您可以使用该oubraces包：

\documentclass{article}
\usepackage{oubraces}

\begin{document}

\[
\overunderbraces
  {&&\br{3}{n_1}&&\br{1}{n_3}}
  {&S\to & A & \to & AA & \to \epsilon & A \to \epsilon}
  {&\br{2}{n_0}&&\br{2}{n_2}}
\]

\end{document}