О необходимости чтения корректур - 2
У каждого или почти у каждого математика есть излюбленный стандартный набор ТеХовских макроопределений, используемый во всех или почти во всех статьях. У меня, в число таких стандартных макроопределений входит

\renewcommand{\:}{\colon}

Даже удивительно, что впервые в жизни я сталкиваюсь с корректурой, в которой наборщики это макроопределение отменили. Соответственно, все обозначения типа f: A → B превратились в f A → B (где между f и A, вместо двоеточия, стоит пробел "средняя шпация", по дефолту обозначаемый макросом \: ).