如何在 xymatrix 中排版漂亮的波浪箭头

Question

我正在用 LaTeX 编写重写理论中的一些图表，其中规则是模一组方程。通常，~使用 -like 符号来表示等价。我一直在使用\ar@{~}。这是一个例子

$\xymatrix@C=10pt{
 & & \cdot \ar[drr]^{*} \ar[dll]_{*} & & \\
 \cdot \ar@{.>}[dr]_{*} & & & & \cdot \ar@{.>}[dl]^{*}\\
 & \cdot \ar@{~}[rr] & & \cdot &
}$

如果将上述内容编译成文字，那么看起来，嗯，在审美上令人不悦。我无法确切指出它是什么，但它看起来是弯曲的。我认为这与曲线的起点和终点在不同的高度有关。有人能建议如何解决此类问题吗？

Answer 1

您可以通过跟随跳跃（此处为 ）对“箭头”（此处为波浪线）的长度进行一些微调，[rr]使用形式为 的表达式-<7pt,0pt>{X}，将线延伸到目标节点的中心减给定的向量，并将符号放在{X}那里。 在您的例子中，您可以通过 指定一个空符号{}，并使用 获得下面的修改-<3pt,0pt>{}。 调整参数以获得您想要的外观。

\documentclass{article}

\usepackage[all]{xy}

\begin{document}
$\xymatrix@C=10pt{
 & & \cdot \ar[drr]^{*} \ar[dll]_{*} & & \\
 \cdot \ar@{.>}[dr]_{*} & & & & \cdot \ar@{.>}[dl]^{*}\\
 & \cdot \ar@{~}[rr]-<3pt,0pt>{} & & \cdot &
}$ 
\end{document}

类似地，\save[]+<vector>{} \ar... \restore构造将允许您调整起点。