用途：在 LaTeX 中用 XY-pic 排版交换图、范畴构造和自动机（DFA/NFA）图形，并可在 Emacs 中通过 AUCTeX 进行内联预览。
用法：导言区加载 \usepackage[all,cmtip]{xy}。Emacs 中可在 init.el 加入 (eval-after-load "preview" '(add-to-list 'preview-default-preamble "\PreviewEnvironment{xymatrix}" t)) 以预览 xymatrix 环境，并用 C-c C-t C-p 确认 PDF 模式。
主要能力：图以矩阵形式书写，& 分列、\ 分行，箭头用 \ar[方向]（方向字符 u/d/l/r 可组合）。箭头标签用 ^（上/右）或 （下/左）。支持多种箭头样式（如 \ar@{->}[r]、\ar@{.>}[r]、\ar@{=>}[r]、\ar@{-->}[r]、\ar@{~>}[r]、\ar@{->>}[r]、\ar@{^{(}->}[r]、\ar@{=}[r]）和曲线箭头（\ar@/^/[r]、\ar@//[r]、指定半径的 \ar@/^1pc/[r]、\ar@(ur,dr)[r] 等），以及间距控制 \xymatrix@R= @C=、@C-1pc、@1 等。可用于拉回、短正合列、伴随、自然变换（2-cell，需 \usepackage[all,2cell]{xy} 和 \UseTwocells）、长正合列、立方体图、自动机等。还可使用幻影箭头 \ar@{}[r]|{符号} 放置符号。
提示与限制：初次编译箭头位置异常时可编译两次；调试可用 \entrymodifiers={+!!<0pt,\fontdimen22\textfont2>} 基线对齐条目。替代方案 tikz-cd 语法更简单但后端为 TikZ，两者均包含在 texliveFull 中。离线文档可用 texdoc xypic 查看。