Most aircraft have a designation number and a name. Some just a designation number such as the F-111. Unofficially named Aardvark, the name became official upon retirement. Thus for 99% of its 30yr career, the F-111 was almost unique in having no official name.
So suppose in an alternative universe the F-111k enters service with the RAF. No doubt as per the Tornado, the F-111K may well have been given the designation GR.1 or possibly S.1 as with the Buccaneer. Or TSR.3 perhaps?
However, what of the name? Given that the F-111K was never officially christened by the USAF, what name would the RAF have given it?
Or would they not have bothered? Would it be simply F-111K all the way?