别称

基本解释：

---

1.正式名称以外的别名。