分割线,竖线前面的是要表达的“主角”,竖线后面的是这个“主角”具备什么样的性质.
比如｛X丨5》X>0｝ 也就是说x的取值范围 大于0 ,小于5.