Pipe characters aren't present in the character set. I think ^ was the pipe char...

		stonogo on March 12, 2021 \| parent \| context \| favorite \| on: Aiju's Online PDP-11/Unix Emulator Pipe characters aren't present in the character set. I think ^ was the pipe character then.