El nombre oficial del municipio es Texcoco y su cabecera municipal Texcoco de Mora en honor del Dr.