一个圈带一个竖是什么符号