1.正式名稱以外的別名。