معنی خیرالدین خیرالدین (خَ رُدْ دی) بتلیسی. از اوست: شرح ایساغوجی ابهری. (یادداشت مؤلف) لغت نامه دهخدا
