The genus Anthelephila Hope, 1833 and its type species, Anthelephila cyanea Hope, 1833, are redescribed. Based on examination of the type material, the following new synonymy is proposed, Anthelephila Hope, 1833 (= Formicoma Motschoulsky, 1845 syn. n.) and A. cyanea Hope, 1833 (= Notoxus caeruleus Thunberg, 1787 syn. n.). Five genus-group names are regarded as unjustified emendations and are placed as synonyms: Anthelephila Hope, 1833 (=Anthelephilus LaFerté-Sénectère, 1849; Formicosoma Motschoulsky, 1845; Myrmecosoma Mannerheim, 1846; Formicomus LaFerté-Sénectère, 1849; Orthauchen Krekich-Strassoldo, 1925 syn. n.). A lectotype is designated for Anthelephila cyanea Hope, 1833.