三横是恒等于的符号,表示在一定范围内等式必定成立