《淮南子・天文训》：「日出于阳谷，浴于咸池，拂于扶桑，是谓晨明……至于渊虞，是谓高舂。」
高诱注：「渊虞，地名。高舂，时加戌，民碓舂时也。」按，《楚辞・天问》「出自汤谷」
宋 洪兴祖补注引《淮南子》作「渊隅」。