《三国志·魏志·高贵乡公髦传》：“ 洮西 之战，至取负败，将士死亡，计以千数……吾深痛愍，为之悼心。”