Atlacomulco (nombre propio): Nombre de la cabecera municipal del municipio homónimo.