I read that the arrow notation $x \rightarrow y$ was invented in the 20th century. Who introduced it?
Each map needs both an explicit domain and an explicit codomain (not just a domain, as in previous formulations of set theory, and not just a codomain, as in type theory). -- Lawvere and Rosebrugh Sets for Mathematics, 2003