《艺文类聚》卷九十七〈鳞介部下·虫豸部·蚁〉

桓谦字敬祖。太元（“元”原作“原”，据陈校本改。）中，忽有人皆长寸余，悉被铠持槊，乘具装马，从屺中出。精光耀日，游走宅上，数百为群。部阵指麾，更相撞刺，马既轻快，人亦便能。缘几登灶，寻饮食之所。或有切肉，辄来丛聚，力所能胜者，以槊刺取，径入穴中，寂不复出，出还入穴。蒋山道士朱应子令作沸汤，浇所入处。因掘之，有斛许大蚁死在穴中。谦后诛灭。（出《异苑》）