{x∈R|x²+1=0}中的R后的竖线是什么意思?