Każdy (przynajmniej – każdy matematyk
) widzi, że dwukropek w napisach:
oraz
oznacza co innego. Ale po bliższym przyjrzeniu się widać, że również wygląda inaczej. Otóż w drugim przypadku przed dwukropkiem mamy węższy odstęp. Stąd poprawny sposób wpisania drugiej formuły to
$f\colon X\to Y$