十六砺 宋末元初 · 郑思肖
七言律诗
双眼荒荒不寐时，冥搜俊杰慕夷齐。
谶符铁券虏当灭，梦出玉清天亦低。
城里月明闻虎过，人间夜久望鸡啼。
深怜举国巅崖底，谁搆悬空万丈梯⑴。
⑴ 自注：先朝常于蜀中掘得武侯铁券，有胡灭汉，留一半；汉灭胡，一人无。及依旧朝钱塘之语。当应今日之事。