《三國志．卷三三．蜀書．後主禪傳》「營沔北陽平石馬」句下裴松之注引《諸葛亮集》：「為笑千載，皆不以義，陵上虐下故也。」