展开 三个竖条是什么数字