名山閟灵府，隐士此寻真。
仙去空遗鼓，云扃不见人。
川源世上异，日月洞中春。
欲出虚无境，应修有待身。
（见《洞霄诗集》。
）（〖1〗邓牧《洞霄图志》卷二《山水门·大涤山》条：「大涤山，在宫〖指洞霄宫〗北，凡四峰，于九锁内最为巨山。
西洞据其领，石室出其半，天坛冠其颠，皆山中胜处也。
是山以洞名之。
旧志谓大可以洗涤尘心，故名大涤。
……元同先生剑履瘗山下。
」〖2〗又《洞霄图志》卷三《洞府门·大涤洞》条：「大涤洞在宫西北半里。
《茅君传》云第三十四洞天，名大涤元盖之天。
周围四百里，……相传元同先生入游，见龙麟异境，花木鲜繁，自华阳而归〖望按前文有云：与华阳林屋邃道通〗。
洞门石鼓，广可寻丈，扣之逄逄有声。
」）。
míng名shān山bì閟líng灵fǔ府 ，yǐn隐shì士cǐ此xún寻zhēn真 。
xiān仙qù去kōng空yí遗gǔ鼓 ，yún云jiōng扃bù不jiàn见rén人 。
chuān川yuán源shì世shàng上yì异 ，rì日yuè月dòng洞zhōng中chūn春 。
yù欲chū出xū虚wú无jìng境 ，yīng应xiū修yǒu有dài待shēn身 。
（jiàn见 《dòng洞xiāo霄shī诗jí集 》
） （ 〖 1 〗xiāo邓tú牧 《》洞juǎn霄èr图《志 》shuǐ卷mén二 《dà山dí水shān门 ·tiáo大：「涤dà山 》shān条 ： 「gōng大〖涤zhǐ山 ，xiāo在gōng宫 〖běi指，洞fán霄sì宫 〗，北 ，jiǔ凡suǒ四nèi峰 ，wèi于jù九shān锁。内
xī西dòng洞jù据qí其lǐng领 ，shí石shì室chū出qí其bàn半 ，tiān天tán坛guān冠qí其diān颠 ，jiē皆shān山zhōng中shèng胜chù处yě也 。
shì是shān山yǐ以dòng洞míng名zhī之 。
jiù旧zhì志wèi谓dà大kě可yǐ以xǐ洗dí涤chén尘xīn心 ，gù故míng名dà大dí涤 。
… …tóng元xiān同shēng先jiàn生lǚ剑yì履shān瘗xià山。下
」 〖 2 〗xiāo又 《zhì洞》霄juǎn图sān志 》dòng卷fǔ三 《·洞dà府dí门 ·》大tiáo涤：「洞 》dí条 ： 「gōng大xī涤běi洞bàn在lǐ宫。西
《máo茅jūn君chuán传 》yún云dì第sān三shí十sì四dòng洞tiān天 ，míng名dà大dí涤yuán元gài盖zhī之tiān天 。
zhōu周wéi围sì四bǎi百lǐ里 ， … …yuán相tóng传xiān元shēng同rù先yóu生，入jiàn游 ，lín见yì龙jìng麟，异huā境 ，xiān花fán木，鲜zì繁 ，yáng自ér华guī阳〖而wàng归 〖qián望wén按yǒu前yún文：有yǔ云 ：yáng与lín华wū阳suì林dào屋tōng邃〗。道
dòng洞mén门shí石gǔ鼓 ，guǎng广kě可xún寻zhàng丈 ，kòu扣zhī之páng逄páng逄yǒu有shēng声 。
」