【道教辭典/丹元子】
《通志》隋之隱者丹元子，不知其名氏，著有步天歌七卷。
唐王希明纂漢晉志釋之。
引用：http://dictionary.theway.hk/%e4%b8%b9%e5%85%83%e5%ad%90/