Se sabe que Jorge Robledo bautizó con dicho nombre a la ciudad que fundó en el valle de Ebéjico, y que tiempo después lo adquirió toda la provincia.