別名マーカー

正式名称が別に登録されていることを示すための記号のこと。