如何将 nearrow 和 searrow 堆叠在一起？

Question

我想把这个等式转录一下：

我尝试同时使用\stackrel和\overset来获取堆叠的箭头。但输出看起来很奇怪，其中一个箭头明显小于另一个箭头：

\documentclass[10pt]{article}
\usepackage{amssymb,amsmath,amsfonts,mathrsfs}
\begin{document} 

\begin{align*}
&\qquad (b_1,b_2, \dots b_{l + 1}, \dots b_{\text{log}N}, l + 1) \\
(b_1,b_2, \dots b_{l + 1}, \dots b_{\text{log}N}, l + 1) \stackrel{\nearrow}{\searrow} & \\
&\qquad (b_1,b_2, \dots b_{l + 1}, \dots b_{\text{log}N}, l + 1) 
\end{align*}
\end{document}

Answer 1

这可以非常轻松地通过 来完成\stackanchor，可选参数提供所需的分离间隙（在箭头上显示为 8pt，在后续表达式上显示为 20pt）

\documentclass{article}
\usepackage{stackengine,amsmath}
\stackMath

\begin{document}
\[
(b_1,b_2, \dots b_{l + 1}, \dots b_{\text{log}N}, l + 1)
~\stackanchor[8pt]{\nearrow}{\searrow}~
\stackanchor[20pt]{(b_1,b_2, \dots b_{l + 1}, \dots b_{\text{log}N}, l + 1)}
  {(b_1,b_2, \dots b_{l + 1}, \dots b_{\text{log}N}, l + 1) }
\]
\end{document}

Answer 2

使用array。我将列间距设置为零，但用空子公式包围\nearrow和\searrow，因此使用“关系空间”。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{equation*}
\setlength{\arraycolsep}{0pt}
\begin{array}{rcl}
&& (b_1,b_2, \dots, b_{l + 1}, \dots, b_{\log N}, l + 1) \\
& {}\nearrow{} \\
(b_1,b_2, \dots, b_{l + 1}, \dots, b_{\log N}, l + 1) \\
& {}\searrow{} \\
&&(b_1,b_2, \dots, \overline{b_{l + 1}}, \dots, b_{\log N}, l + 1)
\end{array}
\end{equation*}

\end{document}

Answer 3

借用 henri menke 的想法，但重新排列元素：

\documentclass{article}
\usepackage{amsmath}
\begin{document} 
\begin{equation*}
(b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1)
\mkern 9mu \genfrac{}{}{0pt}{}{\nearrow}{\searrow}
 \begin{aligned}
  & \; (b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1)
  \\[.75\baselineskip]
  & \; (b_1,b_2, \dots \overline{b_{l + 1}}, \dots b_{\log N}, l + 1) 
 \end{aligned}
\end{equation*}
\end{document}

Answer 4

使用\genfrac

\documentclass{article}
\usepackage{amsmath}
\begin{document} 
\begin{align*}
&\; (b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1) \\
(b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1)
\; \genfrac{}{}{0pt}{}{\nearrow}{\searrow} & \\
&\; (b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1) 
\end{align*}
\end{document}

或使用tikz-cd

\documentclass{article}
\usepackage{tikz-cd}
\begin{document} 
\begin{tikzcd}
  & (b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1) \\
  (b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1) \ar[ru] \ar[rd] & \\
  & (b_1,b_2, \dots b_{l + 1}, \dots b_{\log N}, l + 1) \\
\end{tikzcd}
\end{document}