También recibe el nombre de «Alto del León» por la estatua de un león de piedra que hay en su cima desde el siglo XVIII.