معنی کلمه : گرزالدین خیل
لغت نامه دهخدا
گرزالدین خیل. [ گ ُ زِدْ دی خ ِ ] ( اِخ ) دهی است از دهستان راستویی بخش سوادکوه شهرستان شاهی واقعدر 22 هزارگزی جنوب پل سفید و سه هزارگزی ایستگاه سرخ آباد. منطقه ای است کوهستانی و سردسیر. دارای 180 تن سکنه است. آب آنجا از چشمه تأمین می شود و محصول آن غلات ، صیفی و لبنیات و شغل اهالی زراعت و گله داری و راه آن مالرو است. ( از فرهنگ جغرافیایی ایران ج 3 ).