لغتنامه دهخدا
جزیرةالخضراء. [ ج َ رَ تُل ْ خ َ ] (اِخ ) شهرکی است [ به اندلس ] بر کنار خلیج و اندر اول مسلمانها، اندلس را از این شهر بگشادند. (حدود العالم ). نام شهری در بر اندلس برابر بسته از برالعدوة. (ابن خلکان ).نام جاییست به اندلس مقابل جبل الطارق . و رجوع به جزیره ٔ خضراء والحلل