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