Otra denominación es de Marmuré, o Gran Marmuré, que se ha traducido en abundante cartografía española como Pico de los Moros, nombre que no cuenta con tradición.