https://mathtod.online/@mathmathniconico/109907377312685431こんなにたくさんのコロンのパターンを網羅したのを見たのは初めてです。便利!わしの好みは$f\colon A\to B$ (\colonを使う)$B:=f(A)$ (:=を使う)です。