\colon 中的间距

Question

下列的这个问题编写函数的一致方法是f\colon A\to B，但如果我想编写如下的 cospan

\documentclass[border=1mm]{standalone}
\usepackage{mathtools}

\begin{document}
\(0\colon 1\to I\leftarrow 1\colon 1\)
\end{document}

给出了这个结果 其中第二个\colon间距不正确。那么，有没有办法与文档保持一致并具有正确的间距？

Answer 1

您可以使用\noloc我定义的命令类似的目的

\newcommand\noloc{%
  \nobreak
  \mspace{6mu plus 1mu}
  {:}
  \nonscript\mkern-\thinmuskip
  \mathpunct{}
  \mspace{2mu}
}

完整示例：

\documentclass{article}
\usepackage{amsmath}

\newcommand\noloc{%
  \nobreak
  \mspace{6mu plus 1mu}
  {:}
  \nonscript\mkern-\thinmuskip
  \mathpunct{}
  \mspace{2mu}
}

\begin{document}

\(0\colon 1\to I\leftarrow 1\noloc 1\)

\end{document}