道士楊谷字洞微,代州人,隱居華山,為人儀觀秀偉,道行卓絕,平生未嘗與物忤。通莊、易,世以莊子楊先生目之。明昌間,詔征高道隸天長觀,未幾還山。其將歸也,與知觀侯生食于市,書數火字于食案,又囑侯,言昨過沃州,聞君母病,可速歸。侯以假去。及至沃州,而母不病,侯生誶語曰︰“渠紿我邪?”及北還,天長已被焚矣。又嘗與客游嵩山白龜泉上,見一石蟹出,客曰︰“蟹橫行,殆天性乎”洞微曰︰“此物固橫行,恨不值正人耳。”隨以手指之,蟹即正行。晚愛中方,卜居之。中方舊無泉,苦于遠汲。洞微言山秀如此,不應無泉,乃齋沐致禱,筮之得吉征。是時十月,庵旁近葵花榮茂,洞微雲︰“于文章,癸為葵,此殆水征也。”與眾道士行尋之,見巽隅草樹間,隱隱有微潤,掘之果得泉,可供數百指。然東隔絕澗,南限群峰,石壁峻峭幾百步,不可越。洞微與弟子呂澤輩沿壁作棧道,以通往來,人以棧木易朽,慮有顛 齊之患,乃就壁取石,鑿竅嵌之,疊為石梁, 泉為池,自是中方得水甚易,至今人目為楊公泉。閑閑嘗為作文記之。又言吾友潘若淨,字清容,有道之士也,嘗從洞微游,甚嘆服之。雲楊洞微當求之古人中耳。閑閑後過華州,追懷洞微雲︰“前年曾就雲台宿,知有先生在華山。今日白雲峰頂起,卻疑騎鶴下人間。”其稱道如此。