元 黄文仲 《大都赋》：“子岂出蛙坎而望沧 渤 ，脱蚁封而覩瑶 崑 者耶？” 元 黄溍 《登云黄山》诗：“行行恣芑屩，往往得蛙坎。”