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