在 unicode-math 中使用 unicode 字符比率和冒号

Question

如何调整 unicode-math 使得 u+003A 冒号表现得像 AMS 的 \colon，并且 u+2236 表现得像关系符号（可能假设已加载 amsmath）？

Answer 1

更改\colon为使用 U+2236 并使 U+003A 数学活跃，定义为产生\colon。

\documentclass{article}
\usepackage{amsmath}
\usepackage{unicode-math}
\usepackage{etoolbox}

\ExplSyntaxOn
\AtBeginDocument
 {
  \char_set_active_eq:nN { `: } \colon
  \mathcode`:="8000
 }
\ExplSyntaxOff
\patchcmd{\colon}{:}{∶}{}{}% first is U+003A, second is U+2236

\begin{document}

$f:A\to B$ % U+003A

$f∶f$      % U+2236

\end{document}