交运算是扩充运算，可以用（）推导出。