下垣一宫名天市，两扇垣墙二十二。
当门六角黑市楼，门左两星是车肆。
两个宗正四宗人，宗星一䨥亦依次。
帛度两星屠肆前，候星还在帝坐边。
帝坐一星常光明，四个微茫宦者星。
以次两星名列肆，斗斛帝前依其次，斗是五星斛是四。
垣北九个贯索星，索口横者七公成。
天纪恰似七公形，数着分明多两星。
纪北三星名女床，此坐还依织女傍。
三元之象无相侵，二十八宿随其阴。
水火土木并与金，以次别有五行分。
（以上三首录《通志》卷三九《天文略》第二）（按：〖1〗《崇文总目》辑本卷四《天文占书类》有「《丹元子步天歌》一卷，王希明撰」。
〖2〗《新唐书·艺文志》「天文类」云：「王希明《丹元步天歌》一卷。
」）（〖3〗黄伯思《东观余论》卷下《校正〈崇文总目〉十七条》云：「《丹元子步天歌》，此但记列星所在，并其象数，使人易识耳，非占说也。
」〖4〗郑樵《通志·天文略》云：「隋有丹元子者，隐者之流也。
不知名氏，作《步天歌》，见者可以观象焉。
王希明纂汉晋志以释之，《唐书》误以为王希明也。
……此本只传灵台，不传人间，术家秘之，名曰《鬼料窍》。
世有数本，不胜其讹，今则取之，仰观以从稽定。
」〖5〗晁公武《郡斋读书志》〖袁本〗卷三上录《步天歌》一卷：「右未详撰人。
二十八宿地歌也。
三垣颂、五星凌犯赋于后。
或云唐王希明，自号丹元子。
」〖6〗王应麟《困学纪闻》卷九《天道》云：「《步天歌》，《唐志》谓王希明丹元子。
今本司天右拾遗内供奉王希明撰，乔令来注。