\colon 表示相反方向的地图

Question

使用为一个方向上的\colon映射提供正确的间距$F\colon C\to D$。但是，$L\colon C\rightleftarrows D\colon R$为两个方向上的映射（例如，对于附加项）编写时，在第一和第二个冒号附近会产生令人不安的不对称空间（就像 D 是来自 R 的映射，而不是相反的情况）。可能应该修复它（例如，应该使用其他命令）——但是如何修复？

Answer 1

amsmath定义\colon为\nobreak \muskip 2mu\mathpunct{}\nonscript\mkern-\thinmuskip{:}\mskip 6mu plus1mu\relax。那么下面的情况如何？

\newcommand*\cocolon{%
        \nobreak
        \mskip6mu plus1mu
        \mathpunct{}%
        \nonscript
        \mkern-\thinmuskip
        {:}%
        \mskip2mu
        \relax
}