8.4 符号矩阵运算