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