凿铁移精舍，启宇山门麓。

先生名教宗，不是神仙族。

世人多耳食，幻词相竞逐。

指彼洞中迹，咏作丹邱录。

岂知造化奇，开辟此岩谷。

先生独探幽，杖履时往复。

淡志尘轩冕，扫云赋薖轴。

时有跋扈臣，国事可痛哭。

入山恐不深，姓名今匿伏。

再三不能起，写心返华毂。

鸿渐非冲举，龙潜岂辟谷。

西山怀采薇，位置可伯叔。

贤宰推马公，潜德发芳馥。

凿铁移精舍，启宇山门麓。

俎豆示楷模，岁时瞻拜肃。

不狃时俗见，千载知心独。