![数学等式中冒号的间距](https://linux22.com/image/351846/%E6%95%B0%E5%AD%A6%E7%AD%89%E5%BC%8F%E4%B8%AD%E5%86%92%E5%8F%B7%E7%9A%84%E9%97%B4%E8%B7%9D.png)
群 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) 表示“群的半直接”的符号。(如果有可能,您最好坚持使用\ltimes
and/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}