Anthodromius piceus Majer, 1990
Anthodromius piceus Majer, 1990b: 176 [NMPC].
Distribution in Iran: Alborz (Gachsar), Tehran (Tochal) (Majer 1990b; Hájek & Švihla 2012). General distribution: Endemic to Iran.