元是双峰门下士，席间参请到源头。
鲁人知有乐正子，汉世曾称马少游。
白鹿洞宾儒领袖，紫阳教主道源流。
有儿曾斫月中桂，家学相传卒未休。