我正在尝试排版描述群中可逆性公理的图表。这是我的代码:
\begin{equation}\label{diag:inv}
\begin{tikzcd}[column sep=large]
G\times G\arrow{rr}{\id\times\iota} %\id=\operatorname{id}
\arrow{dd}[swap]{\iota\times\id}\arrow{dr}{*}
&G\times G
\arrow{dd}{m}\arrow{dl}{*}\\
& &\{*\} \arrow{dr}{O}&\\ %THIS LINE DOESN'T WORK
G\times G
\arrow{rr}{m}\arrow{ur}{*}
&G
\end{tikzcd}
\end{equation}
我尝试在行中不加“&”符号进行排版,但无济于事。图表排版没有那行,并且在箭头方向参数中用“r”等替换“rr”等,但仍然正常。我收到以下错误:I can't find file 'tikzlibraryquotes.code.tex' \usetikzlibrary{matrix,quotes,arrows.meta}
。我已将 tikzlibrarycd.code.tex 的副本放在我的文档文件夹中(如 CTAN 上提供的用于“非正统”使用该包的文档中所述)。
有什么想法吗?谢谢伙伴们!
答案1
我得到了它!
问题是第一层和第三层没有与第二层相同的“窗户”数量。这是工作代码。它不需要tikzlibrarycd.code.tex
CWD 中的副本。
G\times G\arrow{dd}[swap]{\iota\times\id}\arrow{rr}{\id\times\iota}\arrow{dr}{*}
&\empty
&G\times G\arrow{dd}{m}\arrow{dl}{*}\\
\empty
&\{*\}\arrow{dr}{e}
&\empty\\
G\times G\arrow{rr}[swap]{m}\arrow{ur}{*}
&\empty
&G