The terminal he was using had arrows printed on those keys because it didn’t have dedicated arrow keys.

That terminal was also responsible for ~ used as home dir in path and ^ as beginning of string in regex.