矩阵上方加一横线是什么