《史记·秦本纪》：“ 寧公 二年，公徙居 平阳 。遣兵伐 荡社 。三年，与 亳 战， 亳王 奔 戎 ，遂灭 荡社。”

司马贞 索隐：“ 西戎 之君号曰 亳王 ，盖 成汤 之胤。其邑曰 荡社。”