Mmm the map I have says Cartujo, which I believe it what some of others called it. I will add the info about the alternative names, but it does make life confusing! :)
is the one from Ed. Alpina (Sierra Nevada - La Alpujarra) 1:40.000 It says "Pico del Cartujo" (3.150 mtrs)...This is something typical from carthography...different names and heights