Formica atra Zetterstedt, 1838: 450 (m.) SWEDEN. Palearctic.

Primary type information: Primary type material: holotype (?) male. Primary type locality: Sweden: Lapponia Tornensi, Junosuando, River Tornense, 9.vi. (J.W. Zetterstedt). Primary type depository: unknown (perhaps ZMLS). Type notes: No indication of number of specimens is given.