《三国志·魏志·孙资传》“进 放 爵 西乡侯 ， 资乐阳亭侯 ” 裴松之 注引《孙资别传》：“昔 武皇帝 征 南郑 ，取 张鲁 ， 阳平 之役，危而后济。又自往拔出 夏侯渊 军，数言‘ 南郑 直为天狱。’” 唐 元结 《闵荒诗》：“四海非天狱，何为非天囚。”

《晋书·天文志上》：“参十星……又为天狱，主杀伐。”