El topónimo Gibraltar deriva del árabe Ẏabal Tāriq (جبل طارق), antropónimo del general que dirigió el desembarco en este lugar de las fuerzas omeyas de Walid I en 711.