明 蒋一葵 《长安客话·郊坰杂记·雅思山》：“山陷而为坎，有池焉，浚洌如露，是名 露池。”