no other system that uses ^^ for escaping; maybe that was normal 25
years ago
No. I always figured it came from the convention of writing "^A" for
Control-A, etc. Except of course he wanted ^ for superscript, so he had
to use ^^. Just a random idiosyncrasy, in other words.