“使得”的符号（不在集合中）

Question

如果a是一个集合

a \leftarrow { b| b must satisfies property}

但如果a是一个元素

a \leftarrow b| b must satisfies property

这是常用符号吗？或者我应该用什么其他符号来表示“这样”（|）符号？