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