名曰剑山鼎并小篆书皆武侯迹
诸葛武侯斩王双还定军山铸一鼎于汉川其文曰定军鼎又
作八阵鼎于永安皆大篆书 又于玄 武郡金山铸二鼎一大一
小武侯行军见此山势似有王者故镇之(梁虞荔古鼎录) (第 4p049b 页)