记号集合

记号集合类型。