Ask HN: Why is ⌥ the option key symbol?
https://news.ycombinator.com/item?id=5963472As far as I can tell, the last time Apple manufactured a keyboard with this symbol on it was 2007 with the A1243. Does anyone know why this is the symbol, and why Mac OSX consistently shows a symbol which appears nowhere on any of their (recent) keyboards?