交换图中的标点符号

交换图中的标点符号

我在笔记中使用了很多交换图,并尝试为它们加标点,就像其他数学对象一样。现在我有两个问题,关于如何正确加标点。

如果句号写得不仔细,有些图表看起来就不对。例如,在下图中

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A\ar{r}\ar{d} & B\ar{d}\\
C\ar{r} & D,
\end{tikzcd}
\end{document}

在此处输入图片描述

逗号产生了更宽的节点,右箭头看起来不再居中。就此而言,我正在\phantom{,}向节点添加B,但这似乎不太实用。因此,第一个问题是,是否有一种好方法可以修复上图中的间距。

第二个问题是关于样式。在下图中

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A\ar{r}\ar{d} & B\\
C\ar{ur}
\end{tikzcd}
\end{document}

在此处输入图片描述

我应该在哪里添加标点符号?在 C、B 还是图表后面?我在AMS 风格指南


编辑 我参考了 Mac Lane 的两本书,工作数学家的类别几何和逻辑中的层,其中图表中有标点符号。

现在,我更详细地查看了这些图表,我发现他避免使用像上面的三角形这样的图表(如 egreg 所建议的那样),并且当无法避免时,它们不会被标点符号所标记(如 daleif 所建议的那样)。

答案1

您可以使用\mathrlap来自mathtools(的超集amsmath)的命令:

\documentclass{article}
\usepackage{mathtools}
\usepackage{tikz-cd}

\begin{document}

\begin{tikzcd}
A\ar{r}\ar{d} & B\ar{d}\\
C\ar{r} & D\mathrlap{,}
\end{tikzcd}

\end{document} 

在此处输入图片描述

答案2

标准做法似乎是不要在交换图后加标点符号,即使句号或逗号本来应该位于句子的该位置。我刚才看了几篇论文,它们似乎都是这样做的。

但是,如果你不能没有标点符号,另一个选择就是将标点符号放在 tikzcd 环境之后,如下所示:

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}

\begin{document}

\begin{equation*}
    \begin{tikzcd}
        A\ar{r}\ar{d} & B\ar{d}\\
        C\ar{r} & D
    \end{tikzcd},
\end{equation*}

\end{document}

在此处输入图片描述

这确实有点丑陋,但它的优点是它对于三角图也符合逻辑。

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz-cd}

\begin{document}

\begin{equation*}
    \begin{tikzcd}
        A\ar{r}\ar{d} & B\\
        C\ar{ur}
    \end{tikzcd},
\end{equation*}

\end{document}

在此处输入图片描述

相关内容