符号的竖线怎么打