符号 表示可以通过对称得到的矩阵。若未明确给出矩阵的维数，假定它们具有可计算的相容维数。