rename symbols #23

Closed guo-yong-zhi closed 1 year ago