I believe there’s some missing context in the TIP examples — the “@“ sign is probably meant to represent the Ctrl key. So the first line in the example is CRLF, and the commands on the next lines are Ctrl-E and Ctrl-R.
I say this because I used a TIP (perhaps a newer model) as a high school student in 1981-82. I had no official access, but someone had told one of my classmates the dialup number for the Stanford TIP and the magic characters to type to connect to a host. (There was no welcome message or prompt of any kind. You just dialed, and after the modem synced you had to know what to type.)
I distinctly remember typing control characters, and then a 3-digit octal number. Different numbers led to different hosts, or nothing, and we had to experiment at random to find systems that would let remote users create guest or “tourist” accounts. We found a couple of MIT systems running ITS, and were able to run a LISP interpreter, bu I was heartbroken that none of them had access to Zork.