Iberellus (I.) companyonii (Companyo, 1837)

= Helix hispanica var. pyrenaica Rossmässler, 1839 (non H. pyrenaica Draparnaud, 1805)

= H. cantae Bourguignat in Servain, 1880

= H. chorista Bourguignat in Servain, 1880

= H. tiranoi Bourguignat in Servain, 1880

= H. (Iberus) oberndorferi Kobelt, 1882

= H. palmana Bourguignat in Pechaud, 1883

= I. campanyonii, I. companyoni, I. companyoi, I. compagnoi, I. compagnoni, I. compagnonii (misspellings)

Endemic to Mallorca (not in the Serra de Tramuntana) and adjacent islets. Locally introduced to the Catalan coast (and almost extinct there).