Myrmica everesti Donisthorpe, 1929 junior synonym of current valid taxon Myrmica rupestris Forel, 1902
Myrmica everesti Donisthorpe, 1929a: 445 (w.) CHINA (Tibet). Palearctic.
Primary type information: Primary type material: holotype worker. Primary type locality: China: Tibet, Jelap La, 12000 ft, 1.iv.1924 (R.W.G. Hingston). Primary type depository: BMNH. Secondary type information: Secondary type material: 4 paratype workers. Secondary type locality: same as for holotype. Secondary type depositories: BMNH, ZMUM.
Citations