《中国神话人物辞典》

修炼于横山石穴中，白日飞升。后人因名此石穴为古仙洞。

事见《陕西通志•释道》引《韩城志》。