在数学和逻辑学中，“x上面一横”通常表示“非x”，也就是x的否定。

这是一个逻辑符号，用来表示某种命题或陈述的反面。

例如，如果P表示一个陈述，那么“非P”（或P上面一横）就表示这个陈述是假的或不成立。

具体语境和应用可能会有所不同，但在大多数逻辑运算和集合论的应用中，这一符号都有这样的含义。

在其他领域中也可能有其他特定的含义，因此需要根据具体的上下文来理解这个符号的含义。