25.2.1 符号定义