The peak itself has no name on official maps. But it is the highest point of the whole Ma’an Shan range, which includes three or four small peaks.