De acuerdo a la tradición, la Peña Oroel deriva su nombre de este personaje.