@user41805 hm, if the source can't have ⎕, is there any way to ever print a ⎕? (of course, this does not impact turing completeness, but still is an interesting question)
(a more general question being, is there any way to get a character that's not in the original source)
(related - a previous discussion, but just about golfing the challenge)