写像しゃぞう記号きごう

$f$ が $X$ から $Y$ への 写像 であることを $f\colon X\to Y$ と書く。