lisp实心圆点怎么画_LaTeX系列笔记(11)-画交换图

在数学学习中，我们常常需要画交换图 (commutative diagram)。这篇文章是介绍一种画交换图的新方法。

四种画交换图的主流方式对比，图片来自 CoDi 的手册

CoDi 包是前天（2020 年 6 月 6 日）新上线的包，可以在命令行下输入

tlmgr install commutative-diagrams --with-doc

通过 tlmgr 下载安装最新版。^[1]

在 CoDi 里面，你只需要写出对象间的态射，它自动帮你连箭头！

tlmgr 更详细的使用方法见下文（texlive 使用手册简体中文版）第五章

texlive-zh-cn.pdf​www.tug.org

CoDi 的使用手册见（清华镜像站）

commutative-diagrams-doc.pdf​mirrors.tuna.tsinghua.edu.cn

CoDi 包的手动下载地址（清华镜像站）

Package commutative-diagrams​mirrors.tuna.tsinghua.edu.cn

---

我们先来介绍四种方式的优缺点。

1. 利用 xy-pic 包，典型代码如下

xymatrix{
    
 U ar@/_/[ddr]_y ar[dr] ar@/^/[drr]^x 
  & X times_Z Y ar[d]^q ar[r]_p  & X ar[d]_f            
  & Y ar[r]^g & Z                       }

图片来自 CoDi 的手册

缺点：比如右箭头上方的那个

，位置已经不在箭头的中心（不过可以调整），箭头形状也有点奇怪。

优点：？

代码特点：就是写出一个方阵，然后方阵里面加一些“ar”表示箭头。

2. pst-node，典型代码如下

$ psset{colsep=2.5em, rowsep=2em}
begin{psmatrix}
  U 
 & Xtimes_Z Y & X 
 & Y & Z
 psset{arrows=->, nodesep=3pt}
 everypsbox{
    scr