因此，很可能这个符号只是作为一个标签添加的。