名山閟灵府，隐士此寻真。
仙去空遗鼓，云扃不见人。
川源世上异，日月洞中春。
欲出虚无境，应修有待身。
（见《洞霄诗集》。
）（〖1〗邓牧《洞霄图志》卷二《山水门·大涤山》条：「大涤山，在宫〖指洞霄宫〗北，凡四峰，于九锁内最为巨山。
西洞据其领，石室出其半，天坛冠其颠，皆山中胜处也。
是山以洞名之。
旧志谓大可以洗涤尘心，故名大涤。
……元同先生剑履瘗山下。
」〖2〗又《洞霄图志》卷三《洞府门·大涤洞》条：「大涤洞在宫西北半里。
《茅君传》云第三十四洞天，名大涤元盖之天。
周围四百里，……相传元同先生入游，见龙麟异境，花木鲜繁，自华阳而归〖望按前文有云：与华阳林屋邃道通〗。
洞门石鼓，广可寻丈，扣之逄逄有声。
」）。
名山閟靈府，隱士此尋真。
仙去空遺鼓，雲扃不見人。
川源世上異，日月洞中春。
欲出虛無境，應修有待身。
（見《洞霄詩集》。
）（〖1〗鄧牧《洞霄圖志》卷二《山水門·大滌山》條：「大滌山，在宮〖指洞霄宮〗北，凡四峯，於九鎖內最爲巨山。
西洞據其領，石室出其半，天壇冠其顛，皆山中勝處也。
是山以洞名之。
舊志謂大可以洗滌塵心，故名大滌。
……元同先生劍履瘞山下。
」〖2〗又《洞霄圖志》卷三《洞府門·大滌洞》條：「大滌洞在宮西北半里。
《茅君傳》云第三十四洞天，名大滌元蓋之天。
周圍四百里，……相傳元同先生入游，見龍麟異境，花木鮮繁，自華陽而歸〖望按前文有云：與華陽林屋邃道通〗。
洞門石鼓，廣可尋丈，扣之逄逄有聲。
」）。