让 2cell 图更美观（或不那么丑陋）

Question

我想用xypic画一个双单元格图，问题是bigone标签太长，请问如何画出下面的图呢：

看起来像这样：

仅使用 xypic 的双单元格功能，或者至少保留\uppertwocell和\lowertwocell命令并{=>}使用-|功能绘制箭头。

以下是代码：

\xymatrix{\star &  & \star\lltwocell_{g{}_{1}g{}_{2}}^{g''_{1}g''_{2}}<7>{^{(\alpha'\circ\beta')\bullet(\alpha\circ\beta)}}}

知道第二张图是使用\ar命令绘制的，但是在LyX环境中，由于窗口不能水平滚动，所以只使用\ar命令不是很舒服！

Answer 1

一种方法是tikz-cd：

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

\begin{document}
\begin{tikzcd}
\star 
  \arrow[from=rr,bend right,"g_1 g_2"{above,name=U}] 
  \arrow[from=rr,bend left,"g_1'' g_2''"{below,name=D}] & 
(\alpha' \circ \beta') \bullet (\alpha \circ \beta) 
  \arrow[equal,from=U,shorten <=0.3333em] % 0.3333em from default inner sep value
  \arrow[Rightarrow,to=D,shorten >=0.3333em] & 
\star
\end{tikzcd}
\end{document}