لغتنامه دهخدا
ارمائیل . [ اِ ] (اِخ ) اَرمایِل . نام پادشاه زاده ای است . آورده اند که دو پادشاه زاده بودند یکی ارمائیل و دیگری کرمائیل و ایشان بواسطه ٔ خیر خلق اﷲ، مطبخی ضحاک شدند و از آن دو تن آدمی که ضحاک میفرمود بکشند و مغز سر ایشان را بجهت مارانی که از کتف او برآمده بودند، حاضر سازند،