earlier lunar cartographers had given the feature different names. pierre gassendi named it carthusia after the chartreuse mountains. michael van langren's 1645 map calls it "phillipi iv" after philip iv of spain. and johannes hevelius named it 'etna m.' after mount etna.