由三根横线组成的数学符号叫什么