A的上面有一个横是表示A的补集。

A的上面有一个横或是表示命题A的对立命题（非命题）

A上一横应该是增广矩阵，这就意味着非齐方程组有解和A上一横的向量组中的常向量（b)可由A向量组（阿尔法1···阿尔法N）线性表示。

以上内容系网友提供。