矩阵分析一个竖线是什么数学符号?