名山閟灵府，隐士此寻真。
|仙去空遗鼓，云扃不见人。
|川源世上异，日月洞中春。
|欲出虚无境，应修有-298-待身。
|（见《洞霄诗集》。
|）（〖1〗邓牧《洞霄图志》卷二《山水门·大涤山》条：「大涤山，在宫〖指洞霄宫〗北，凡四峯，于九锁内最爲巨山。
|西洞据其领，石室出其半，天坛冠其颠，皆山中胜处也。
|是山以洞名之。
|旧志谓大可以洗涤尘心，故名大涤。
|……元同先生剑履瘗山下。
|」〖2〗又《洞霄图志》卷三《洞府门·大涤洞》条：「大涤洞在宫西北半里。
|《茅君传》云第三十四洞天，名大涤元盖之天。
|周围四百里，……相传元同先生入游，见龙麟异境，花木鲜繁，自华阳而归〖望按前文有云：与华阳林屋邃道通〗。
|洞门石鼓，广可寻丈，扣之逄逄有声。
|」）。