定义新运算是用某些特殊的符号