《汉书·天文志》：“在酉曰作詻。八月出， 石氏 曰：名长壬。”

参见“ 长王 ”。