МРАВЍНКА ж. Диал. Мравка; мрава, мравия, мравя, мравей, мравунка, мравучка, мравяк, бробинец, бробиняк. За внутрешността на нашата земля ние знаем толкова, колкото някоя мравинка знае за дълбочината на дъба, на когото по корена она пълзи. А. Хилендарец, ВВИ (превод), 95.