I was curious how and why return annotations use the arrow `->` symbol, so I went spelunking into the depths of the Python-Ideas and Python-Dev mailing lists. Much to my surprise, I couldn't find any discussion or debate about it. Eventually I tracked the discussion back to a mailing list I didn't even know existed, Types-Sig, all the way back to 13th Dec 1999, where I found this email by Tim Hochberg: https://mail.python.org/pipermail/types-sig/1999-December/000281.html suggesting the arrow symbol for all type declarations. This appears to be the first suggestion of the arrow symbol for type annotations in Python. I am surprised that type checking was being discussed so long ago. Python was not even a decade old, and if my calculations are correct, the versions at the time would have been 1.5.2 and 1.6.0. But I am especially amazed that the choice of symbol seems to have been accepted with very little argument or debate about alternative colours for the bike-shed. I can't find any suggestions for alternative symbols such as `=>` `-->` `==>` `->>` etc, and very little for keywords such as `as`. The day after Tim posted, Tony Lownds suggested `as` and then immediately suggested using Tim's arrow symbol for the return type only: https://mail.python.org/pipermail/types-sig/1999-December/000335.html and then as far as I can tell, we've never looked back. If there is anyone whose memory reaches back that far, does that sound right? -- Steve