《史记・孝文本纪》「霸陵山川因其故」
唐 司马贞索隐：「霸是水名，水径於山，亦曰霸山，即芷阳地也。」
南朝 梁 江淹《哀千里赋》：「及年岁之未晏，愿匡坐於霸山。」
胡之骥注：「《後汉书》曰：梁鸿与其妻孟光，隐於霸陵山中，以耕织爲业，咏诗弹琴以自娱。淹尝慕鸿之爲人，故云。」