معنی عوق عوق نام پدر عوج است، و آنانکه آن را ’عنق’ گویند خطاست، (از منتهی الارب)، و رجوع به آنندراج و ناظم الاطباء و اقرب الموارد شود لغت نامه دهخدا
