概率P(B)上有一横是什么意思