正宗文成武烈圣仁庄孝大王实录
总序
即位年

    ○大王讳算,字亨运。英宗大王之孙、庄献世子之子,母惠嫔洪氏。籍丰山领议政凤汉女。以英宗命为真宗大王之子,母妃孝纯王后赵氏。籍丰壤左议政丰陵府院君文命女。

    注释