Note 12 — Chapter II
Reading edition
Tráblis, the Moorish name of the town, is not, however, properly a corruption of Tripolis; it is merely the same word articulated through the medium of Arab pronunciation.
Some authors have imagined an early African name Tarabilis, or Trebilis, from which the Roman name Tripolis was derived; but this is merely imaginary, since the meaning of Tripolis clearly points out its origin to be Greek.