《徐霞客游记·滇游日记一》
州城西边有通玄洞，距离城二里，还有透石灵泉，都来不及游览。
城西有通玄洞，去城二里，又有透石灵泉，俱不及游。
To the west of the prefecture city, there was the Tongxuan Cave two li from the city, and the Lingquan Spring that gushed from under a rock; there was no time to visit them.