I'm not sure which notation Turing used in his original papers, but I would expect he'd keep using it While I can agree that using such notation is not really very useful when working on real machines ...