«لغت نامه دهخدا»
[اَ] (اِخ) کوهی است به عرفات. ابن درید گوید کوه ریگی است به عرفات و گفته اند جبل عرفه است و به کسر اول نیز روایت شده است. (معجم البلدان). کوهی است به مکه. (مهذب الاسماء). و رجوع به عیون الاخبار ج 3 ص266 شود.