6.13 定义新运算