EDRISI, an eminent Arabian geographer. See SUPPLEMENT.