«لغت نامه دهخدا»
[اِ فَ] (اِخ) ابوالقاسم اسماعیل بن محمد افضل اصفهانی. او راست تصانیف مشهوری. (از تاریخ گزیده ص803). رجوع به اسماعیل شود.