xy-pic：移动弯曲箭头的起点和终点

Question

我想通过将箭头的起点置于 $x$ 下方中心并将其终点置于 $f_u(x) u$ 下方中心来改进以下 Xy-pic 绘图：

\xymatrix@R=6pt{
    E \ar[r]^-{f_u} & \K \ar[r]^-{h_u} & E \\
    x \ar@{|->}[r] \ar@/_1.5pc/[rr]_-{\pi = h_u\circ f_u} & f_u(x) \ar@{|->}[r] & f_u(x)u
}

我读过这个答案：Xy-pic 移动箭头的位置但我不明白如何将它应用到我\ar@/_1.5pc/[rr]_-{\pi = h_u\circ f_u}代码部分的情况...

任何想法？

编辑：

提示前的 MWE：

\documentclass[francais,12pt]{article}

\usepackage[french]{babel}
\usepackage[ansinew]{inputenc} 
\usepackage[T1]{fontenc}
\usepackage{amsmath, amsthm, amssymb}
%\usepackage{graphicx}
\usepackage{pb-diagram}
\usepackage[all]{xy}

\begin{document}

Try...

\[
\shorthandoff{;:!?}
\xymatrix@R=6pt{
    E \ar[r]^-{f_u} & \mathbb{K} \ar[r]^-{h_u} & E \\
    x \ar@{|->}[r] \ar@(_,_)[rr]_-{\pi = h_u\circ f_u} & f_u(x) \ar@{|->}[r] & f_u(x)u
}
\]

\end{document}

Answer 1

您可以通过改变箭头上的箭头弯曲修改器来实现这一点[rr]。

（见第 42 页）参考手册）。

\documentclass[border=0.5]{standalone}
\usepackage[all]{xy}
\begin{document}
\xymatrix@R=6pt{
    E \ar[r]^-{f_u} & K \ar[r]^-{h_u} & E \\
    x \ar@{|->}[r] \ar@(_,_)[rr]_-{\pi = h_u\circ f_u} & f_u(x) \ar@{|->}[r] & f_u(x)u
}
\end{document} 

但我不确定它看起来是否更好：

如果你跟注\usepackage[all,cmtip]{xy}，图表将变成

Answer 2

另一种方法是tikz-cd：

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

\begin{document}

\begin{tikzcd}[row sep=6pt]
E \arrow[r,"f_u"] & K \arrow[r,"h_u"] & E \\
x \arrow[r,mapsto]
  \arrow[rr,swap,out=-45,in=-135,"\pi = h_u\circ f_u"] &
  f_u(x) \arrow[r,mapsto] & f_u(x)u
\end{tikzcd}

\end{document}