答案1
虽然不是对你问题的直接回答,但是tikz-cd
但是很多比Xy-pic更好。
借助手册的帮助以及一点点运气……
\documentclass{article}
\usepackage{amsmath,amssymb,tikz-cd,eucal}
\DeclareMathOperator{\ind}{ind}
\begin{document}
\[
\begin{tikzcd}[column sep=large]
V_m \arrow[r,"\iota"]
\arrow[rr,"{\phi_{m+b,m}}",
to path = { -- ++(0,-2em) -| (\tikztotarget)[near start]\tikztonodes },
]
&
\ind_{\mathcal{S}_m\times\mathcal{S}_b}^{\mathcal{S}_{m+b}}(V_m\boxtimes\mathcal{A}_b)
\arrow[r,"{\Phi_{m+b,m}}"] &
V_{m+b}
\end{tikzcd}
\]
\end{document}
答案2
我找到了弯曲角度的解决方案:
\ar `d[d] `[rr]^-{\phi_{m+b,m}} [rr]
有人可以解释一下它是如何工作的吗?
d
为什么括号外面有一个,括号里面也有一个?
r
为什么第二段的括号外面没有?
如果没有第三段,xy 如何知道以什么角度完成箭头?
有没有具有锐角的解决方案?
答案3
xy
当然,构建打包图像需要做很多工作...事实上我已经用了将近一个小时的时间:-(...我并不像光那样...而且我认为那个xy
包没有方形的而是弯曲的箭头连接矩阵的两个元素。
\documentclass[a4paper,12pt]{article}
\usepackage[all,cmtip]{xy}
\usepackage{mathtools,amssymb,eucal}
\usepackage{scalerel}
\begin{document}
$\xymatrix@C=4pc{%
V_m \vphantom{\scaleobj{2.5}{\frac AB}}\ar[r]^{\mkern-80mu\iota} \ar@<-1pt> `d/5pt[r] `[rr]^{\phi_{m+b,m}} [rr] &
\text{Ind}^{\mathcal{S}_{m+b}}_{\mathcal{S}_{m}\times \mathcal{S}_{b}}(V_m \boxtimes \mathcal{A}_b) \ar[r]^{\mkern50mu\mathit{\Phi}_{m+b,m}}
&
V_{m+b}
}$
\end{document}