In MI5 files the symbol @ is used to indicate an alias, and repetitions of @ indicate a variety of aliases or codenames. I have followed this practice in the text.