4.13 符号规则