数学模式中的弯曲箭头

Question

我对 LaTeX 还很陌生，想看看能不能做一些事情没有使用像 tikzcd 这样的库。我有以下代码：

\begin{document}
\begin{center}
$\dashrightarrow 
\overbrace{Tr1_{P9} \mapsto \underbrace{enum(Tr2_{P9} 
\mapsto Tr3_{P9})}_{\alpha} \mapsto
\begin{pmatrix} Tr4_{P9} \\ Tr4_{I0} \end{pmatrix}}^{\beta}$
\end{center}
\end{document}

\

有没有办法让我用一个长弯曲箭头（最好是虚线 \mapsto 箭头）从第一个字母 Tr1_{P9} 连接到末尾的向量（在其余文本上方或下方），而无需在 tikzcd 中创建图表？如果需要，可以将上括号（带有 \beta 文本）更改为下括号。谢谢！

Answer 1

无需创建图表，您可以通过以下方式实现此目的pstricks：在方程中创建两个节点，并将它们与ncarc适当的参数连接起来：

\documentclass{article}

\usepackage{amsmath, amssymb}
\DeclareMathOperator{\enum}{enum}

\usepackage{pst-node}

\begin{document}

 \[ \dashrightarrow
\overbrace{\rnode{T}{Tr1}_{P9} \mapsto \underbrace{\enum(Tr2_{P9}
\mapsto Tr3_{P9})}_{\alpha} \mapsto
\begin{pmatrix} Tr4_{P9} \\Tr\rnode{M}{4_{I0}}\end{pmatrix}}^{\beta}
\ncarc[linestyle=dotted, dotsep=2pt, arrows=->, arrowinset=0.15, arcangle=-30, nodesep=6pt]{T}{ M}
\]

\end{document}