User blog comment:LittlePeng9/Random Turing machines/@comment-5029411-20130419184925/@comment-1605058-20130419192854

You can use my unrestricted arrow notation. But keep in mind that you have to use ^^^^ for tetration