☰

数学等式中冒号的间距

tag-icon • tag-icon math-mode spacing
数学等式中冒号的间距

群 G 和群 H 的半直积的标准符号是$G \rtimes H$或，$G\ltimes H$取决于 H 作用于 G 还是 G 作用于 H。但是，有时人们会使用冒号来表示半直积。我一直将其排版为，$G:H$但我发现这会在冒号两侧产生太多空间。我尝试将其排版为，$G\text:H$但间距太紧。上标/下标的间距似乎更符合我的想法。例如，$\Phi^{G:H}$似乎可以产生更好的间距。

在数学环境中使用冒号还有其他选择吗？或者是否可以引入自己的冒号并自行控制间距？

我知道有，\colon但是这只能减少一侧的间距并且更适合函数定义，例如$f\colon G \to H$。

答案1

我认为，阅读您文档的读者不可能混淆以下三个潜在含义：:(a) 关系运算符、(b) \colon（具有不对称间距）和 (c) 表示“群的半直接”的符号。（如果有可能，您最好坚持使用\ltimesand/or\rtimes表示“群的半直接”，对吗？）

如果不存在这种混淆的可能性，您可能需要设置一个自定义宏，例如，\sd如下所示：

\newcommand\sd{\mkern1.5mu{:}\mkern1.5mu} % "semidirect"

1.5mu是薄空间的一半。如果这还不符合您的口味，请尝试1.5mu将的两个实例替换为1mu。

以下是各种可能的间距选择的比较：

在此处输入图片描述

\documentclass{article}
\usepackage{array}
\newcommand\sd{\mkern1.5mu{:}\mkern1.5mu} % "semidirect"

\begin{document}
\begin{tabular}{>{$}l<{$} >{\ttfamily}l}
G\mathrel{:}H  & \textbackslash mathrel  (5mu) (default)\\
G\mathbin{:}H  & \textbackslash mathbin  (4mu) \\
G\,{:}\,H      & 3mu symmetric \\
G\colon H      & \textbackslash colon, 0mu/3mu asymmetric) \\
G\sd H         & 1.5mu symmetric, \textbackslash sd\\ 
G\mathord{:}H  & \textbackslash mathord (0mu)\\
\end{tabular}

\end{document}

相关内容