МРА̀ВЕЙ, -еят, -ея, мн. -еи, м. Диал. Мравка; мрава, мравия, мравя, мравинка, мравунка, мравучка, мравяк, бробинец, бробиняк. Пред него [княза] излязъл един едър мравей, който бил цар на мравките. — Княже, — казал той, — ти ни направи голямо добро. Никога не ще го забравим. Н. Райнов, ИП.