《步天歌》，《唐志》謂王希明、丹元子。今本司天右拾遺內供奉王希明撰，喬令來注。《二十八舍歌》、《三垣頌》、《五行吟》總爲一卷。鄭漁仲曰：隋有丹元子，隱者之流也。不知名氏，作《步天歌》。句中有圗，言下見象。王希明纂漢晉志釋之。然則，王希明、丹元子蓋二人也。