En muchas publicaciones la ciudad es llamada simplemente "Tenochtitlan", en otras "Gran Tenochtitlan", algunas acentúan este topónimo ("Tenochtitlán").