《文选・谢朓＜休沐重还道中＞诗》：「霸池不可别，伊川难重违。」
李善注：「潘岳《关中记》曰：『霸陵，文帝陵也。上有池，有四出道以写水。』」