El nombre oficial del pueblo es San Antonio del Dorado, pero por brevedad sólo se menciona “El Dorado”.