Tikz-cd：与 \arrow{r} 相比，\arrow{rr} 到底有什么作用，以及它与“&&”和“&”有何关系？

Question

TikZ-CD 使用 TikZ\matrix引擎盖下面是以某种方式设置这样每个单元格的内容就可以理解为单个节点的数学内容。

这使得人们可以使用非常相似的语法来tabular这样，我们就可以使用与s 或array来创建图表。与 s 或 s 一样&，分隔列，\\分隔行。

虽然与tabular或array环境中，&是其自己的 catcode 并表示实际的新列，但 TikZ 必须稍微作弊并使其处于&活动状态（类似于~，牢不可破的空间）。如果您需要使用 TikZ 矩阵或 TikZ-CD 环境作为宏或某些特殊环境的参数，则需要选项ampersand replacement。
通常，这意味着ampersand replacement = \&使用tikzcd使用并使用\&而不是&。

但从所有意图和目的来看，这&仅仅意味着：一个新的专栏。

（相比于 plainTeX 的$和，和$$之间没有区别。）&&& &

我猜测这所做的是“正确 | 正确”指令，而不是像我们期望的那样后者一次性“正确”。

正确，TikZ-CD 提供了一个简单的快捷语法来指定来自单元格的箭头的目标\arrow出现的单元格。\arrow[rr]只是指示 TikZ-CD 从这里移至右侧两列的单元格。

如果指定不存在的目标，PGF/TikZ（-CD）将会抱怨未知的节点名称。

看起来您使用的工具只会填充每隔一列，留下一个单元格为空。这不会破坏任何东西，只会增加两倍column sep内容之间的间距增加一倍。

在其他方面它们是等效的，但是请注意，当我删除一个时，使用 onlyr而不是：rr&

\begin{tikzcd}
   \rho_i
     \arrow[rr, "\mathcal{F}"]
 &
 & \mu_i
     \arrow[rr, "\digamma"]
 &
 & S_i
     \arrow[rr, "\mathscr{F}", "\mathfrak{A}"']
 &
 & \mathfrak{R}
\end{tikzcd}

\begin{tikzcd}
   \rho_i
     \arrow[r, "\mathcal{F}"]
 & \mu_i
     \arrow[r, "\digamma"]
 & S_i
     \arrow[r, "\mathscr{F}", "\mathfrak{A}"']
 & \mathfrak{R}
\end{tikzcd}

此外，命令如何swap“交换”显示文本的箭头一侧（箭头方向的左侧是放置箭头标签的默认位置）。我希望\mathfrak{A}直接位于标有的箭头下方\mathscr{F}。

让我引用我自己暂定如下：

标签的放置方式很巧妙，始终位于箭头的左侧。这是蒂克兹 auto选项安装者TikZ-CD。

它只left知道right，这意味着路径上的节点要么放在路径的左边，要么放在路径的右边。（swap（'）钥匙只是检查哪一个是活动的并安装另一个。）

因此swap，它的快捷方式'实际上只是交换了标签出现的一侧。

正如您所注意到的，"在选项中使用\arrow将把文本添加到"路径上的标签中（默认情况下使用auto = left选项和midway观点沿着它）。

您可以在同一个箭头上使用它两次，添加另一个标签，然后

"\mathfrak{A}"'
% or
"\mathfrak{A}" swap

你可以交换一边。查看前面的代码示例，我已经用过了。

生成的代码中的所有其他内容要么是某些包提供的数学宏，要么是来自 TikZ 或 TikZ-CD 的现有密钥：

\mathfrak以及\digamma来自amssymb
\mathscr从mathrsfs
bend left来自 TikZ
tail以及dashed来自 TikZ-CD

对于其他一切，我建议你TikZ-CD 手册，尽管TikZ 手册最终将会需要一些创造性的道路。

在下面的代码中，我重新组织了更大的图表，以便它只需要直箭头（一开始并不是真正必要的）并且占用更少的空间。

除非你需要绕开某些东西，否则我会避免使用弯曲的箭头。也许是倾斜正交路径的变体我的另一个答案可能会有用。

代码

\documentclass[varwidth]{standalone}
\usepackage{
  amssymb, % for \mathfrak, \digamma
  mathrsfs % for \mathscr
}
\usepackage{tikz-cd}
\tikzcdset{% https://tex.stackexchange.com/a/663065/16595
  -|/.style={to path={-|(\tikztotarget)\tikztonodes}},
  -| ysl/.style ={-|, yslant=#1}}
\begin{document}
\begin{tikzcd}
   \rho_i
     \arrow[rr, "\mathcal{F}"]
 &
 & \mu_i
     \arrow[rr, "\digamma"]
 &
 & S_i
     \arrow[rr, "\mathscr{F}", "\mathfrak{A}"']
 &
 & \mathfrak{R}
\end{tikzcd}

\begin{tikzcd}
   \rho_i
     \arrow[r, "\mathcal{F}"]
 & \mu_i
     \arrow[r, "\digamma"]
 & S_i
     \arrow[r, "\mathscr{F}", "\mathfrak{A}"']
 & \mathfrak{R}
\end{tikzcd}

\begin{tikzcd}
   A \arrow[d, tail]
     \arrow[rdd]
     \arrow[r, dashed]
 & B \arrow[r]
     \arrow[rd]
     \arrow[rdd]
 & A:B
     \arrow[d]
\\
   A'
     \arrow[rd]
     \arrow[rr]
 & & B^A \\
 & P[A||B] \arrow[r, dashed]
 & Q[A|A'] \arrow[u]
\end{tikzcd}

\begin{tikzcd}
   A \arrow[d, tail]
     \arrow[rdd, -| ysl=-.5]
     \arrow[r, dashed]
 & B \arrow[r]
     \arrow[rd]
     \arrow[rdd]
 & A:B
     \arrow[d]
\\
   A'
     \arrow[rd]
     \arrow[rr, crossing over]
 & & B^A \\
 & P[A||B] \arrow[r, dashed]
 & Q[A|A'] \arrow[u]
\end{tikzcd}
\end{document}

输出

Answer 1