井大淵

井大淵，字道泉。元朝至元年間人。賜號洞元純素致虛履常大師，教門高士，撰有《大元重修四真堂記》等。

參考資料

• 胡孚琛主編:《中華道教大辭典》（北京：中國社會科學出版社，1995年），頁173。