展开 三个竖条符号什么意思