类型:记号