数字上面加个横杠是什么意思