《魏书·列传·卷八十三》
于是迁都到左国城，自称为汉王，设置文武百官，定年号为元熙，追加刘禅的尊号为孝怀皇帝。
乃迁左国城，自称汉王，置百官，年号元熙，追尊刘禅为孝怀皇帝。
So he moved the capital to Zuoguo City, called himself the King of Han, set up civil and military officials, named the reign as Yuanxi, and gave Liu Chan the posthumous title of Emperor Xiaohuai.