=> also comes straight from math learned in school. There it's written → (for function signatures), and (the more rare) ↦ for function definitions.