Yes, but that doesn't contradict with what I said. AMD had pivoted to "AMD64" soon after and that was before Intel had released their own name: EM64T. Microsoft coined x64 around that time, probably found it more marketable than x86-64, becuase they had used it in commercial branding such as "Windows XP Professional x64 Edition" too. (They couldn't call Windows XP "64-bit edition" because that term was used for their Itanium-based (IA64) products).