带有圆角箭头的图表

Question

我正在尝试制作一个类似这在 xy-pic 中。我可以绘制所有图表，除了 $\bar{\varphi}|_P\chi$ 的长箭头。有可能生成这样的箭头吗？此时我只有这部分代码：

\usepackage[all,cmtip]{xy}

\begin{document}
\[
\xymatrix{
& P\ar[ldd]^{\chi} \ar[rrrdd]^{\varphi^{-1}\circ\psi}  && \\
\\
P\ar[rr]^{\bar{\varphi}\vert_P}&& P'\ar[uul]_{\varphi} \ar[rr]^{\psi} && P' \\}
\]
\end{document}

Answer 1

使用 tikz 和 xy（不完全相同）：

\documentclass{article}
\usepackage[all,cmtip]{xy}
\usepackage{tikz}

\begin{document}
\[
\xymatrix{
& \tikz[overlay, remember picture] \node[name=pstart] {};P\ar[ldd]^{\chi} \ar[rrrdd]^{\varphi^{-1}\circ\psi}  && \\
\\
P\ar[rr]^{\bar{\varphi}\vert_P}&& \tikz[overlay, remember picture] \node[name=pend] {};P'\ar[uul]_{\varphi} \ar[rr]^{\psi} && P' \\}
\]

\tikz[overlay, remember picture] \draw[red,->] (pstart.west) to[out=180,in=90] (1.5,.5) to[out=-90,in=-90] (pend.south);


\[
  \xymatrix{
    & P\ar[ldd]^{\chi} \ar[rrrdd]^{\varphi^{-1}\circ\psi} \ar@/_8pc/[rdd] && \\
    \\
    P\ar[rr]^{\bar{\varphi}\vert_P}&& P'\ar[uul]_{\varphi} \ar[rr]^{\psi} && P' \\}
\]

\end{document}

Answer 2

还与 Ti钾Z （或者说tikz-cd），但这只需要一次编译：

% arara: pdflatex

\documentclass{article}
\usepackage{tikz-cd}

\begin{document}
\[
\begin{tikzcd}[row sep=huge]
& P\arrow{dl}{\chi}\arrow{drrr}{\varphi^{-1}\circ\psi}\arrow[out=180,in=225, looseness=4,red]{dr} & & & \\
P\arrow{rr}{\bar{\varphi}\vert_P} & & P'\arrow{ul}[swap]{\varphi}\arrow{rr}{\psi} & & P'
\end{tikzcd}
\]  
\end{document}