我笑羊叔子，岘首矜一生。
又怪谢阿客，伐山觅峥嵘。
岂如铜梁守，出门便赤城⑴。
⑴ 《舆地纪胜》卷一五一《成都府路·永康军》