别称

【意思解释】1.正式名称以外的别名。