确实没有什么特别的意思,就是集合的格式规定.
不过竖线前面表示的是元素的类型,不是只未知量.{{a}|x∈{a},x