En tal forma desde el 25 de diciembre de l859, en todos los documentos oficiales, aparece este vecindario con la denominación antes indicada; que ocho años después cuando se bautizó el poblado se le asignó el nombre de San Antonio, cabecera del cantón de Belén.