User blog comment:LittlePeng9/Random Turing machines/@comment-5150073-20130329142334

Is this true that input xxx^^^^^xxx leaves tritri x's at the tape?