刘玄英，宋代。刘玄英，字宗成，号海蟾子，初名操，字昭远，入道后改名，燕地广陵（今山西广灵）人。事见《道藏·历世真仙体道通鉴》卷四九。

https://www.gudaiwenxue.com/shiren/13140.html