我正在尝试排版帽子产品的自然性属性,我希望实现这样的效果:
但我能做的最好的事情是这样的:
\begin{equation*}
\begin{tikzcd}
H_j(X,A\cup B; W) \arrow[d] &\otimes_\mathbb{Z} &H^i(X,A;V) \arrow[r]
& H_{j-i}(X,B;\overline{V} \otimes_\mathbb{Z} W) \arrow[d] \\
H_j(X,A\cup B; W) &\otimes_\mathbb{Z} &H^i(X,A;V) \arrow[u] \arrow[r]
& H_{j-i}(X,B;\overline{V} \otimes_\mathbb{Z} W)
\end{tikzcd}
\end{equation*}
我想将张量积两侧的两个条目组合成一个条目,但这样我就无法单独获得每个条目的箭头。我也不想改变一般的列间距,只是让它们表现为一个条目,但每个条目都有箭头。非常感谢您的任何建议!
答案1
您可以使用选项减少列间距column sep
。在这种情况下,您还可以假装\otimes
字符就像两个单元格之间的箭头一样,这样您就可以删除第二列,如下所示:
\begin{tikzcd}[column sep=small]
H_j(X,A\cup B; W) \arrow[d] \arrow[r,phantom,"\otimes_\mathbb{Z}" description] &H^i(X,A;V) \arrow[r]
& H_{j-i}(X,B;\overline{V} \otimes_\mathbb{Z} W) \arrow[d] \\
H_j(X,A\cup B; W) \arrow[r,phantom,"\otimes_\mathbb{Z}" description] &H^i(X,A;V) \arrow[u] \arrow[r]
& H_{j-i}(X,B;\overline{V} \otimes_\mathbb{Z} W)
\end{tikzcd}
如你所见,我将其替换FIRST CELL & op & SECOND CELL
为
FIRST CELL \arrow[r,phantom,"op" description] & SECOND CELL
该phantom
选项避免箭头被排版,并description
确保操作符放在正确的位置。
答案2
这需要一些手动调整,但箭头是标准的,因此它们可以轻松地接收标签:
\documentclass{article}
\usepackage{amsmath,amssymb,tikz-cd}
\begin{document}
\begin{equation*}
\begin{tikzcd}
H_j(X,A\cup B; W) \otimes_\mathbb{Z} H^i(X,A;V) \arrow[r] \arrow[d,shift right=3em]
& H_{j-i}(X,B;\overline{V} \otimes_\mathbb{Z} W) \arrow[d] \\
H_j(X,A\cup B; W) \otimes_\mathbb{Z} H^i(X,A;V)
\arrow[u,shift right=5em] \arrow[r]
& H_{j-i}(X,B;\overline{V} \otimes_\mathbb{Z} W)
\end{tikzcd}
\end{equation*}
\end{document}