注zhù「丹dān陽yáng記jì」云yún云yún，唐táng本běn作zuò「丹dān陽yáng記jì⽈：西xī池chí者zhě，孫sūn登dēng所suǒ創chuàng，吳wú史shǐ所suǒ稱chēng

西xī苑yuàn宜yí是shì也yě。中zhōng時shí堙yīn廢fèi，晉jìn帝dì在zài東dōng，更gèng修xiū復fù之zhī，故gù俗sú稱chēng太tài⼦西xī池chí也yě。」