LaTeX

xy 是一个用于绘制图表的特殊包。要使用它，只需在文档的导言部分添加以下行：

\usepackage[all]{xy}
      

其中，“all”表示您想要加载来自 Xy-pic 的大量标准函数集，这些函数集适合开发本文讨论的图表类型。

主要的绘制 Xy-pic 图表的方式是通过一个矩阵导向的画布，在其中每个图表元素都被放置在矩阵的单元格中：

\xymatrix{A & B \\
                C & D }
      

\xymatrix 命令将其内容放置在数学模式下。在这里，我们指定了两行和两列。为了使这个矩阵成为一个图表，我们只需要使用 \ar 命令添加有向箭头。

\xymatrix{ A \ar[r] & B \ar[d] \\
                 D \ar[u] & C \ar[l] }
      

箭头命令被放置在箭头的起始单元格。参数表示箭头应该指向的方向（上、下、右、左）。

\xymatrix{
          A \ar[d] \ar[dr] \ar[r] & B \\
          D                       & C }
      

要绘制对角线，只需使用多个方向。您可以重复方向来绘制更大的箭头。

\xymatrix{
          A \ar[d] \ar[dr] \ar[drr] &   &   \\
          B                         & C & D }
      

通过在箭头上添加标签，我们可以绘制更有趣的图表。为此，我们使用常见的上标和下标运算符。

\xymatrix{
          A \ar[r]^f \ar[d]_g & B \ar[d]^{g'} \\
          D \ar[r]_{f'}       & C }
      

如上所示，您可以像在数学模式中一样使用这些运算符。唯一的区别是，上标表示“箭头的上方”，下标表示“箭头的下方”。还有第三种运算符，竖线 |，它使文本被放置在箭头上。

\xymatrix{
          A \ar[r]|f \ar[d]|g & B \ar[d]|{g'} \\
          D \ar[r]|{f'}       & C }
      

要绘制带有空洞的箭头，请使用 \ar[...]|\hole。在某些情况下，区分不同类型的箭头很重要。可以通过在箭头上放置标签或更改其外观来实现这一点。

\xymatrix{
          \bullet\ar@{->}[rr]     && \bullet\\
          \bullet\ar@{.<}[rr]     && \bullet\\
          \bullet\ar@{~)}[rr]     && \bullet\\
          \bullet\ar@{=(}[rr]     && \bullet\\
          \bullet\ar@{~/}[rr]     && \bullet\\
          \bullet\ar@{^{(}->}[rr] && \bullet\\
          \bullet\ar@2{->}[rr]    && \bullet\\
          \bullet\ar@3{->}[rr]    && \bullet\\
          \bullet\ar@{=+}[rr]     && \bullet }
      

注意以下两个图表之间的区别：

\xymatrix{ \bullet \ar[r] \ar@{.>}[r] & \bullet }
      

\xymatrix{
          \bullet \ar@/^/[r]
          \ar@/_/@{.>}[r] &
          \bullet }
      

斜线之间的修饰符定义了曲线的绘制方式。Xy-pic 提供了许多方法来影响曲线的绘制；有关更多信息，请查阅 Xy-pic 文档。

如果您有兴趣进行更深入的学习，可以访问 Xy-pic 官方主页，其中包含了多个教程链接以及参考文档。